An den Grenzen des Endlichen (eBook)

Das Hilbertprogramm im Kontext von Formalismus und Finitismus

(Autor)

eBook Download: PDF
2013 | 2013
XIII, 376 Seiten
Springer Berlin (Verlag)
978-3-642-29654-3 (ISBN)

Lese- und Medienproben

An den Grenzen des Endlichen - Christian Tapp
Systemvoraussetzungen
54,99 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler formulierten, diskutiert anspruchsvolle philosophische Implikationen und räumt mit einer Reihe von Fehlinterpretationen auf.

Prof. Dr. Dr. Christian Tapp, Ruhr-Universität Bochum, Katholisch-Theologische Fakultät

Prof. Dr. Dr. Christian Tapp, Ruhr-Universität Bochum, Katholisch-Theologische Fakultät

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.

Erscheint lt. Verlag 20.3.2013
Reihe/Serie Mathematik im Kontext
Mathematik im Kontext
Zusatzinfo XIII, 376 S. 1 Abb.
Verlagsort Berlin
Sprache deutsch
Themenwelt Geisteswissenschaften Philosophie Erkenntnistheorie / Wissenschaftstheorie
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Mathematik Allgemeines / Lexika
Technik
Schlagworte Finitismus • Gödelsätze • Hilbert-Programm • Intuitionismus • Mathematische Logik
ISBN-10 3-642-29654-8 / 3642296548
ISBN-13 978-3-642-29654-3 / 9783642296543
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 3,6 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich

von Thomas Bedürftig; Roman Murawski; Karl Kuhlemann

eBook Download (2024)
Walter de Gruyter GmbH & Co.KG (Verlag)
59,95