Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
An den Grenzen des Endlichen
Das Hilbertprogramm im Kontext von Formalismus und Finitismus
Taschenbuch von Christian Tapp
Sprache: Deutsch

69,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
¿David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und intuitionistische Momente ein ¿ und sicher keinen Spielformalismus. Der zweite Teil des Buches macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler im Rahmen der formallogischen Durchführung und Weiterentwicklung des Programms entwickelt haben, um die Widerspruchsfreiheit mathematischer Axiomensysteme mit mathematischen Mitteln zu zeigen. Der dritte Teil widmet sich recht anspruchsvollen philosophischen ¿Überhangfragen¿: Ist das Programm nicht letztlich zirkulär? Ist es nicht mit den Gödelsätzen zum Scheitern verurteilt? Und wie können in einem finitistischen Rahmen transfinite Ordinalzahlen auftreten? Hilbert hat der Philosophie ein spannendes und herausforderndes Aufgabenfeld hinterlassen.¿
¿David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und intuitionistische Momente ein ¿ und sicher keinen Spielformalismus. Der zweite Teil des Buches macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler im Rahmen der formallogischen Durchführung und Weiterentwicklung des Programms entwickelt haben, um die Widerspruchsfreiheit mathematischer Axiomensysteme mit mathematischen Mitteln zu zeigen. Der dritte Teil widmet sich recht anspruchsvollen philosophischen ¿Überhangfragen¿: Ist das Programm nicht letztlich zirkulär? Ist es nicht mit den Gödelsätzen zum Scheitern verurteilt? Und wie können in einem finitistischen Rahmen transfinite Ordinalzahlen auftreten? Hilbert hat der Philosophie ein spannendes und herausforderndes Aufgabenfeld hinterlassen.¿
Über den Autor
Prof. Dr. Dr. Christian Tapp, Ruhr-Universität Bochum, Katholisch-Theologische Fakultät
Zusammenfassung

Bietet neue und aus den historischen Quellen erhobene Deutung des Hilbertprogramms (HP)

Hat neben dem philosophisch-programmatischen Teil auch einen Teil, in dem die konkrete Durchführung der Programmatik des HP dargestellt und untersucht wird

Ist die erste deutschsprachige Monographie zum Hilbertprogramm selbst

Geht auf nahezu die gesamte englischsprachige Standardliteratur zum Thema ein (George-Velleman, Detlefsen, Sieg)

Räumt mit einer Reihe gravierender Fehlinterpretationen des HP auf??

Inhaltsverzeichnis
Erster Teil: Zur Konzeption des Hilbertprogramms. Das Hilbertprogramm und seine Ziele.- Wurzeln: Axiomatik.- Kontext: Logizismus und Intutitionismus.- Fromalismus.- Finitsmus.- Die Methode der idealen Elemente.- Instrumentalismus.- Zweiter Teil: Zur Durchführung des Hilbertprogramms. Hilberts Widerspruchsfreiheitsbeweise.- Hilbertschule I: Wilhelm Ackermann.- Intuitionistische und Klassische Zahlentheorie: HA und PA.- Hilbertschule II: Gerhard Gentzen.- Dritter Teil: Zur Reflexion des Hilbertprogramms. Der Problemkreis "Poincaré".- Der Problemkreis "Gödel".- Der Problemkreis "Kreisel".- Resümee.
Details
Genre: Medizin, Naturwissenschaften, Technik
Medium: Taschenbuch
Reihe: Mathematik im Kontext
Inhalt: xiii
376 S.
1 s/w Illustr.
376 S. 1 Abb.
ISBN-13: 9783642296536
ISBN-10: 364229653X
Sprache: Deutsch
Herstellernummer: 86084958
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Tapp, Christian
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Mathematik im Kontext
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 240 x 168 x 22 mm
Von/Mit: Christian Tapp
Erscheinungsdatum: 04.04.2013
Gewicht: 0,656 kg
Artikel-ID: 106434221
Über den Autor
Prof. Dr. Dr. Christian Tapp, Ruhr-Universität Bochum, Katholisch-Theologische Fakultät
Zusammenfassung

Bietet neue und aus den historischen Quellen erhobene Deutung des Hilbertprogramms (HP)

Hat neben dem philosophisch-programmatischen Teil auch einen Teil, in dem die konkrete Durchführung der Programmatik des HP dargestellt und untersucht wird

Ist die erste deutschsprachige Monographie zum Hilbertprogramm selbst

Geht auf nahezu die gesamte englischsprachige Standardliteratur zum Thema ein (George-Velleman, Detlefsen, Sieg)

Räumt mit einer Reihe gravierender Fehlinterpretationen des HP auf??

Inhaltsverzeichnis
Erster Teil: Zur Konzeption des Hilbertprogramms. Das Hilbertprogramm und seine Ziele.- Wurzeln: Axiomatik.- Kontext: Logizismus und Intutitionismus.- Fromalismus.- Finitsmus.- Die Methode der idealen Elemente.- Instrumentalismus.- Zweiter Teil: Zur Durchführung des Hilbertprogramms. Hilberts Widerspruchsfreiheitsbeweise.- Hilbertschule I: Wilhelm Ackermann.- Intuitionistische und Klassische Zahlentheorie: HA und PA.- Hilbertschule II: Gerhard Gentzen.- Dritter Teil: Zur Reflexion des Hilbertprogramms. Der Problemkreis "Poincaré".- Der Problemkreis "Gödel".- Der Problemkreis "Kreisel".- Resümee.
Details
Genre: Medizin, Naturwissenschaften, Technik
Medium: Taschenbuch
Reihe: Mathematik im Kontext
Inhalt: xiii
376 S.
1 s/w Illustr.
376 S. 1 Abb.
ISBN-13: 9783642296536
ISBN-10: 364229653X
Sprache: Deutsch
Herstellernummer: 86084958
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Tapp, Christian
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Mathematik im Kontext
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 240 x 168 x 22 mm
Von/Mit: Christian Tapp
Erscheinungsdatum: 04.04.2013
Gewicht: 0,656 kg
Artikel-ID: 106434221
Sicherheitshinweis