Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

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.
Documents
pdf-Datei
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 documentMaps
LanguageEnglish
Terms of use/Rights Nutzungsbedingungen
Created at2009-10-22 : 11:48:17
Last changed2014-01-23 : 04:21:35
 
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000004017
Statistics
 

LOADING...