A note on applicability of the incompleteness theorem to human mind

DOI10.1016/S0168-0072(98)00044-XzbMath0923.03013OpenAlexW2080448143MaRDI QIDQ1295425

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

consistencyartificial intelligencereflection principlestransfinite recursionincompleteness theoremsordinal logics

Mathematics Subject Classification ID

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

Related Items (1)

Logic and Complexity in Cognitive Science

Cites Work

• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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