A note on applicability of the incompleteness theorem to human mind

Annals of Pure and Applied Logic

Volumn 96, Issue 1-3, 1999, Pages 335-342

  Pudlák, Pavel ^a  

^a NONE

Author keywords

Human mind; Incompleteness theorem; Machine

Indexed keywords

EID: 0033095431     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(98)00044-X     Document Type: Article

References (13)

1. S. Feferman, Transfinite recursive progressions of axiomatic theories, J. Symbolic Logic 27 (1962) 259-316.
2. S. Feferman, Theories of finite type related to mathematical practice, in: J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 913-971.
3. S. Feferman, Gödel's program for new axioms: why, where, how and what? in: P. Hájek (Ed.), Gödel'96, Springer, Berlin, 1996, pp. 3-22.
4. D. Hilbert, P. Bernays, Grundlagen der Mathematik I, Springer, Berlin, 1970.
5. D.G. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1979.
6. G. Kreisel, Ordinal logics and the characterization of informal concepts of proof, in: J.A. Todd (Ed.), Proc. Internat. Congress of Mathematicians, Cambridge Univ. Press, Cambridge, 1960, pp. 289-299.
7. G. Kreisel, A. Lévy, Reflection principles and their use for establishing the complexity of axiomatic systems, Z. Math. Logik 14 (1968) 97-142.
8. J.R. Lucas, Minds, machines and Gödel, Philosophy 36 (1961) 112-127.
9. R. Penrose, The Emperor's New Mind, Concerning Computers, Minds, and the Laws of Physics, Oxford Univ. Press, Oxford, 1989.
10. R. Penrose, Shadows of the Mind, A Search for the Missing Science of Consciousness, Oxford Univ. Press, Oxford, 1994.
11. R. Penrose, The Large, the Small and the Human Mind, Cambridge Univ. Press, Cambridge, 1997.
12. H. Putnam, A review of [10] in Bull. AMS 32(3) (1995) 370-373.
13. C. Smorynski, The incompleteness theorems, in: J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 821-865.