<p>Isaacson’s thesis claims that Peano arithmetic is complete with respect to arithmetical truth as defined by Isaacson. According to this thesis, the incompleteness phenomenon revealed in Gödel’s incompleteness theorems does not pertain to arithmetical incompleteness. In our analysis, we discuss both the advantages and disadvantages of Isaacson’s thesis. Additionally, we propose seven case examples that may pose potential challenges to Isaacson’s thesis. To effectively defend Isaacson’s thesis, one must address these case examples. We conclude that either Isaacson’s notion of arithmetical truth is not right, or that it is difficult to defend Isaacson’s thesis.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Isaacson’s thesis on arithmetical truth

  • Yong Cheng

摘要

Isaacson’s thesis claims that Peano arithmetic is complete with respect to arithmetical truth as defined by Isaacson. According to this thesis, the incompleteness phenomenon revealed in Gödel’s incompleteness theorems does not pertain to arithmetical incompleteness. In our analysis, we discuss both the advantages and disadvantages of Isaacson’s thesis. Additionally, we propose seven case examples that may pose potential challenges to Isaacson’s thesis. To effectively defend Isaacson’s thesis, one must address these case examples. We conclude that either Isaacson’s notion of arithmetical truth is not right, or that it is difficult to defend Isaacson’s thesis.