Navigation/Menü: Links auf weitere Seiten dieser Website
Objekt-Metadaten
| Must all mathematicians be platonists? Eichhoff, Matthias |
| Haupttitel | Must all mathematicians be platonists? |
| Titelzusatz | a case on Penrose's use of Gödel |
| Autor | Eichhoff, Matthias; Weber, Gerald |
| Seitenzahl | 6 S. |
| Schriftenreihe | [Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 1998,03] |
| Fachbereich/Einrichtung | FB Mathematik und Informatik |
| Arbeitsbereich/Institut | Institut für Informatik |
| Erscheinungsjahr | 1998 |
| Dokumente | pdf-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
|
| DDC | 100 Philosophie 510 Mathematik |
| Dokumententyp/-Sammlungen | Report |
| Medientyp/Format | Text |
| Abstract | Roger 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. |
| Sprache | Englisch |
| Rechte | Nutzungsbedingungen |
| Zugriffstatistik | |
| Statische URL | http://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000004017 |
| Erstellt am | 22.10.2009 - 13:48:17 |
| Letzte Änderung | 04.04.2013 - 09:33:27 |
