GODEL'S INCOMPLETENESS THEOREM AND THE ANTI-MECHANIST ARGUMENT: REVISITED

This is a paper for a special issue of Semiotic Studies devoted to Stanislaw Krajewski's paper (2020). This paper gives some supplementary notes to Krajewski's (2020) on the Anti-Mechanist Arguments based on Godel's incompleteness theorem. In Section 3, we give some additional explanations to Section 4-6 in Krajewski's (2020) and classify some misunderstandings of Godel's incompleteness theorem related to Anti-Mechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Godel's Disjunctive Thesis, Grodel's Undemonstrability of Consistency Thesis and the definability of natural numbers as in Section 7-8 in Krajewski's (2020), describing how recent advances bear on these issues.