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 dieser Arbeit ist es, ausgehend von der Entdeckbarkeit der natürlichen Zahlen, die unmittelbar aus dem Axiomensystem folgt, die Entdeckbarkeitscharakteristik und den Hauptsatz der Entdeckbarkeitstheorie zu beweisen. Außerdem soll auf die philosophische Bedeutung der Entdeckbarkeitstheorie eingegangen werden.
Kaufen Sie hier:
Horizontale Tabs
Weitere E-Books zum Thema: Mathematik - Algorithmik - Arithmetik
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Differenzialgleichungen in Theorie und Praxis Format: PDF
Im Anschluss an Vorlesungen in Analysis und Linearer Algebra folgen an nahezu allen technischen und wirtschaftswissenschaftlich orientierten Studiengängen an Hochschulen und Universitäten als eine…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Das arznei-telegramm® informiert bereits im 53. Jahrgang Ärzte, Apotheker und andere Heilberufe über Nutzen und Risiken von Arzneimitteln. Das arznei-telegramm® ist neutral und ...
Die Zeitschrift mit den guten Nachrichten
"Augenblick mal" ist eine Zeitschrift, die in aktuellen Berichten, Interviews und Reportagen die biblische Botschaft und den christlichen Glauben ...
Auszüge aller europäischen Patentanmeldungen in sechs Teilausgaben. Bibliographie, Hauptanspruch, wichtigste Zeichnung. Dokumentation des Hauptanspruchs in der Amtssprache der jeweiligen Anmeldung. ...
Offenlegungsschriften der Patentanmeldungen beim Deutschen Patent- und Markenamt in drei Teilausgaben. Bibliographie, Hauptanspruch und wichtigste Zeichnung. Auszüge aus den Patentschriften ohne ...
The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...
Lesen Sie aktuelle Reportagen und Hintergrundberichte über das weltweite Engagement von Christinnen und Christen. Erhalten Sie kompakte Informationen zu den Themen Mission, Kirchen und Christen in ...
Das Grundeigentum - Zeitschrift für die gesamte Grundstücks-, Haus- und Wohnungswirtschaft. Für jeden, der sich gründlich und aktuell informieren will. Zu allen Fragen rund um die Immobilie. Mit ...
Behandlung versicherungsrelevanter Themen. Erfahren Sie mehr über den DVS. Der DVS Deutscher Versicherungs-Schutzverband e.V, Bonn, ist der Interessenvertreter der versicherungsnehmenden Wirtschaft. ...
Über »Evangelische Theologie«
In interdisziplinären Themenheften gibt die Evangelische Theologie entscheidende Impulse, die komplexe Einheit der Theologie wahrzunehmen. Neben den Themenheften ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...