Penrose's new argument

Journal of Philosophical Logic

Volumn 30, Issue 3, 2001, Pages 241-250

  Lindström, Per ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

Formal system; G del's proof; Human mathematical reasoning

Indexed keywords

EID: 33745584224     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1017595530503     Document Type: Article

References (9)

1. Boolos, G., Introductory note to [4], 1995.
2. Chalmers, D. J., Minds, machines, and mathematics. A review of Shadows of the Mind by Roger Penrose, Psyche 2 (1995) (http://psyche.cs.monash.edu.au).
3. Feferman, S., Transfinite recursive progressions of axiomatic theories, J. Symbolic Logic 27 (1962).
4. Gödel, K., Some Basic Theorems on the Foundations of Mathematics, 1951, Collected Works III, Oxford University Press, 1995.
5. Penrose, R., The Emperor's New Mind, Oxford University Press, 1989.
6. Penrose, R., Shadows of the Mind, Oxford University Press, 1994.
7. Penrose, R., Beyond the doubting of a shadow. A reply to commentaries on Shadows of the Mind, Psyche 2 (1995) (http://psyche.cs.monash.edu.au).
8. Shapiro, S., Incompleteness, mechanism, and optimism, BSL 4 (1998).
9. Wang, H., From Mathematics to Philosophy, Routledge & Kegan Paul, 1974.