Abstract
It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new argument intended to avoid this objection. In the paper I try to show that Penrose's new argument is inconclusive.
Similar content being viewed by others
REFERENCES
Boolos, G., Introductory note to [4], 1995.
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).
Feferman, S., Transfinite recursive progressions of axiomatic theories, J. Symbolic Logic 27 (1962).
Gödel, K., Some Basic Theorems on the Foundations of Mathematics, 1951, Collected Works III, Oxford University Press, 1995.
Penrose, R., The Emperor's New Mind, Oxford University Press, 1989.
Penrose, R., Shadows of the Mind, Oxford University Press, 1994.
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).
Shapiro, S., Incompleteness, mechanism, and optimism, BSL 4 (1998).
Wang, H., From Mathematics to Philosophy, Routledge & Kegan Paul, 1974.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lindström, P. Penrose's New Argument. Journal of Philosophical Logic 30, 241–250 (2001). https://doi.org/10.1023/A:1017595530503
Issue Date:
DOI: https://doi.org/10.1023/A:1017595530503