Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918151755661312 |
|---|---|
| author | Cheng, Yong |
| author_facet | Cheng, Yong |
| contents | This is a paper for a special issue of the journal "Studia Semiotyczne" devoted to Stanislaw Krajewski's paper [30]. This paper gives some supplementary notes to Krajewski's [30] on the Anti-Mechanist Arguments based on Gödel's incompleteness theorem. In Section 3, we give some additional explanations to Section 4-6 in Krajewski's [30] and classify some misunderstandings of Gödel's incompleteness theorem related to Anti-Mechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Gödel's Disjunctive Thesis, Gödel's Undemonstrability of Consistency Thesis and the definability of natural numbers as in Section 7-8 in Krajewski's [30], describing how recent advances bear on these issues. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1902_05902 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited Cheng, Yong Logic 03F40, 03A05, 00A30 This is a paper for a special issue of the journal "Studia Semiotyczne" devoted to Stanislaw Krajewski's paper [30]. This paper gives some supplementary notes to Krajewski's [30] on the Anti-Mechanist Arguments based on Gödel's incompleteness theorem. In Section 3, we give some additional explanations to Section 4-6 in Krajewski's [30] and classify some misunderstandings of Gödel's incompleteness theorem related to Anti-Mechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Gödel's Disjunctive Thesis, Gödel's Undemonstrability of Consistency Thesis and the definability of natural numbers as in Section 7-8 in Krajewski's [30], describing how recent advances bear on these issues. |
| title | Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited |
| topic | Logic 03F40, 03A05, 00A30 |
| url | https://arxiv.org/abs/1902.05902 |