Notes
- Feferman , S. 1996 . Penrose's Gödelian argument . Psyche , 2 (1)
- Gentzen , G. 1936 . Die Widerspruchsfreiheit der reinen Zahlentheorie . Matematisce Annalen , 112 : 493 – 565 .
References
- Chalmers , D.J. 1996 . The Conscious Mind: In Search of a Fundamental Theory , Oxford : Oxford University Press .
- Goodstein , R.L. 1944 . On the restricted ordinal theorem . Journal of Symbolic Logic , 9 : 33 – 41 .
- Hofstadter , D.R. 1979 . Gödel, Escher, Bach: An Eternal Golden Braid , Sussex : The Harvester Press .
- Kirby , L.A.S. and Paris , J.B. 1982 . Accessible independence results for Peano arithmetic . Bulletin of the London Mathematical Society , 14 : 285 – 293 .
- Kleene , S.C. 1952 . Introduction to Metamathematics , Amsterdam : North Holland .
- Lucas , J.R. 1961 . Minds, machines and Gödel . Philosophy , 36 : 120 – 124 .
- Anderson , A.R. , ed. 1964 . Minds and Machines , Englewood Cliffs : Prentice Hall .
- Lucas , J.R. 1970 . The Freedom of Will , Oxford : Oxford University Press .
- Penrose , R. 1989 . The Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics , Oxford : Oxford University Press .
- Penrose , R. 1994 . Shadows of the Mind: An Approach to the Missing Science of Consciousness , Oxford : Oxford University Press .
- Penrose , R. 1996 . Beyond the doubting of a shadow . Psyche , 2 (1) : 89 – 129 .
- Skolem , T.A. 1934 . Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzeählbar unendlich violen Ausagen mut asschliesslich Zahlvareablen . Fundamanta Mathematicae , 23 : 150 – 161 .