| Entdeckbarkeitstheorie. Eine Theorie über die Frage, ob mathematische Objekte von Menschenhand geschaffen sind Contributor(s): Janocha, Daniel (Author) |
|
 |
ISBN: 3656889155 ISBN-13: 9783656889151 Publisher: Grin Verlag OUR PRICE: $34.68 Product Type: Paperback Language: German Published: February 2015 |
| Additional Information |
| BISAC Categories: - Mathematics |
| Physical Information: 0.06" H x 5.83" W x 8.27" (0.10 lbs) 26 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Wissenschaftlicher Aufsatz aus dem Jahr 2014 im Fachbereich Mathematik - Sonstiges, Note: 1,0, Technische Universit t Darmstadt, Sprache: Deutsch, Abstract: Die Entdeckbarkeitstheorie ist eine Theorie der philosophischen Mathematik, die sich mit der Existenz derjenigen Objekte besch ftigt, mit denen Mathematik gemacht wird. In den "Grundlagen der Arithmetik" fasst Gottlob Frege kurz und pr gnant den philosophischen Kerngedanken der Entdeckbarkeitstheorie zusammen: Mathematische Objekte sind nicht von Menschenhand geschaffen, sie existieren unabh ngig von menschlichem Denken. Der Mensch benennt mathematische Objekte, um mit ihnen arbeiten zu k nnen. Das Definieren ist dabei aber kein existenzschaffender Prozess, es ist lediglich eine Taufe, eine Namensgebung f r bereits Existierendes. Grundlegend f r die Definition aller mathematischen Objekte ist die Definition des Begriffs Menge. Georg Cantor definierte 1895 eine Menge als "jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die "Elemente" von M genannt werden) zu einem Ganzen." John von Neumann lieferte ein mengentheoretisches Modell zur Definition der nat rlichen Zahlen, also f r die elementarsten mathematischen Objekte. Die Entdeckbarkeitstheorie basiert auf von Neumanns Definition der nat rlichen Zahlen und muss daher nicht auf die Peano-Axiome eingehen. Die von Neumann'sche Definition der nat rlichen Zahlen motiviert das Axiomensystem der Entdeckbarkeitstheorie, aus dem die zwei Kernresultate der Entdeckbarkeitstheorie folgen: Alle mathematischen Objekte sind entdeckbar (Entdeckbarkeitscharakteristik). Aus entdeckbaren mathematischen Objekten k nnen nur entdeckbare mathematische Objekte konstruiert werden (Hauptsatz der Entdeckbarkeitstheorie). Aus der Entdeckbarkeitscharakteristik und dem Hauptsatz der Entdeckbarkeitstheorie folgt, dass der Mensch keine mathematischen Objekte schafft, sondern mit a priori existenten Objekten arbeitet. Das Ziel |