论文信息 - A Note on Applicability of the Incompleteness Theorem to Human Mind - 字舞流文

A Note on Applicability of the Incompleteness Theorem to Human Mind

Abstract We shall present some relations between consistency and reflection principles which explain why is Godel's incompleteness theorem wrongly used to argue that thinking machines are impossible.

Pavel Pudlák | P. Pudlák

[1] Solomon Feferman,et al. Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.

[2] H. Keisler,et al. Handbook of mathematical logic , 1977 .

[3] R. Penrose,et al. The Large, the Small and the Human Mind by Roger Penrose. Cambridge University Press, 1997, xviii + 185 pp. £14.95 , 1998, Philosophy.

[4] F. H. George. Minds, Machines and Godel: , 1962 .

[5] D. Hofstadter,et al. Godel, Escher, Bach: An Eternal Golden Braid , 1979 .

[6] Georg Kreisel,et al. Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems , 1968 .

[7] C. Smorynski. The Incompleteness Theorems , 1977 .

[8] J. Lucas. Minds, Machines and Gödel , 1961, Philosophy.

[9] Solomon Feferman,et al. Theories of Finite Type Related to Mathematical Practice , 1977 .

[10] L. M. Milne-Thomson,et al. Grundlagen der Mathematik , 1935, Nature.

[11] Roger Penrose,et al. Précis of The Emperor's New Mind: Concerning computers, minds, and the laws of physics , 1990, Behavioral and Brain Sciences.

[12] D. Scott. Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof , 1962 .

[13] P. Bernays,et al. Grundlagen der Mathematik , 1934 .

[14] Solomon Feferman,et al. Gödel's program for new axioms: why, where, how and what? , 1996 .

[15] William G. Faris. Shadows of the Mind: A Search for the Missing Science of Consciousness , 1997 .