The Limits of Human Mathematics (2001)

Nathan Salmon

in Metaphysics, Mathematics, and Meaning

Published in print November 2005 | ISBN: 9780199284719
Published online February 2006 | e-ISBN: 9780191603235 | DOI:
 The Limits of Human Mathematics (2001)

Show Summary Details


Gödel’s claim is defended that his famous incompleteness theorems yield the result, as a mathematically established fact, that the mathematical problem-solving capacity of the human mind either exceeds that of any finite machine or is incapable of solving all of mathematics’ mysteries. The issue turns on the nature of mathematical proof by the human mind. Of particular relevance is the question of whether the deductive basis of human mathematics is decidable.

Keywords: decidability; Gödel; incompleteness; machine; mathematics; mind

Chapter.  13287 words. 

Subjects: Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.