A note on applicability of the incompleteness theorem to human mind

DOI10.1016/S0168-0072(98)00044-XMaRDI QIDQ1295425zbMATH OpenOpenAlexFDO

Authors Pavel Pudlák

Publication date 24 June 1999

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(98)00044-x

zbMATH Keywords

artificial intelligenceconsistencyincompleteness theoremsordinal logicsreflection principlestransfinite recursion

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General topics in artificial intelligence (68T01)

Review text

The author reviews Lucas' argument on an application of incompleteness theorems to show that machines can never think (of course, there are numerous counterarguments, too) and Penrose's neoclassical extension of Lucas' thesis (with its numerous countercounter arguments). Recall that many logicians hold that Gödel's theorems are not relevant to the question of the realization of intelligent machines, anymore than mathematics is relevant to the physical world! He states that in mathematics, people make ``a lot of mistakes, but these are correctable, in principle. The author's basic approach is to present relations between reflection principles (in the sense of G. Kreisel and A. Levy) and consistency.

Recommendations

• Use and Misuse of G^|^ouml;del's Theorem
• Gödel's incompleteness theorems and computer science
• On Gödel's theorem and mechanism: inconsistency or unsoundness is unavoidable in any attempt to `out-Gödel' the mechanist
• Incompleteness, Mechanism, and Optimism

Cites work

• scientific article; zbMATH DE number 1209146 (Why is no real title available?)
• scientific article; zbMATH DE number 1865733 (Why is no real title available?)
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3334141 (Why is no real title available?)
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories

Cited in

(4)

• Gödel's incompleteness theorems and computer science
• scientific article; zbMATH DE number 4091458 (Why is no real title available?)
• Use and Misuse of G^|^ouml;del's Theorem
• Logic and complexity in cognitive science

This page was built for publication: A note on applicability of the incompleteness theorem to human mind

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295425)