A note on applicability of the incompleteness theorem to human mind
Download:
|
|
unknown authors
http://www.math.cas.cz/~pudlak/gthm.ps
Add To MetaCart
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. 1
Citations
| 60 | Shadows of the mind, A search for the missing science of consciousness – Penrose - 1994 |
| 58 | The emperor’s new mind: Concerning computers, minds, and the laws of physics – Penrose - 1989 |
| 41 | Transfinite Recursive Progressions of Axiomatic Theories – Feferman - 1962 |
| 40 | G"odel's incompleteness theorems – Smorynski - 1977 |
| 36 | Grundlagen der Mathematik I – Hilbert, Bernays - 1934 |
| 34 | Theories of finite type related to mathematical practice – Feferman - 1977 |
| 19 | Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift f. math. Logik und Grundlagen d – Kreisel, L'evy - 1968 |
| 16 | Bach: an Eternal Golden Braid. Basic – Hofstadter - 1979 |
| 8 | The Large, the Small and the Human Mind – Penrose - 1997 |
| 3 | Godel's program for new axioms – Feferman - 1996 |
| 3 | Ordinal logics and the characterization of informal concepts of proof – Kreisel - 1958 |
| 1 | a review of [10 – Putnam - 1995 |
