Must all mathematicians be platonists?
Eichhoff, Matthias ;  Weber, Gerald ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleMust all mathematicians be platonists?
Subtitlea case on Penrose's use of Gödel
AuthorEichhoff, Matthias
AuthorWeber, Gerald
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages6 S.
Series [Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 1998,03]
Classification (DDC)100 Philosophy
510 Mathematics
AbstractRoger Penrose has received broad attention for his arguments with the conclusion “the human mind is nonalgorithmic”. From this position he concludes that a Quantum Gravitational Theory must be nonalgorithmic. In his writings Penrose discusses Gödel's famous incompleteness sentence and his epistemological position he calls Mathematical Platonism. In our article we reconstruct the implicit logical structure of Penrose's
argumentation with the following results:
First, we show that his conclusion “the human mind is nonalgorithmic” can be obtained if both Gödel's sentence and Mathematical Platonism are taken as premises.
Second, we show that Penrose originally derives his conclusion solely from Gödel's sentence, using a certain interpretation that differs from Gödel's own.
Third, it is shown that in both cases the practice of mathematics would prescribe a certain epistemology, namely Mathematical Platonism.
We argue that Penrose did not recognize the constitutional, indispensable function of Mathematical Platonism for his considerations and the ensuing consequences for the epistemological state of his whole argument.
If your browser can't open the file, please download the file first and then open it
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1998
Type of documentWorking paper
Terms of use/Rights Nutzungsbedingungen
Created at2009-10-22 : 11:48:17
Last changed2015-03-06 : 10:32:46
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000004017