An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und FinitismusSpringer-Verlag, 20 de març 2013 - 376 pàgines 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. |
Altres edicions - Mostra-ho tot
An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus ... Christian Tapp Previsualització no disponible - 2013 |
Frases i termes més freqüents
ableitbar Abschn Ackermann Ansatz Argument Arithmetik Ausdruck Aussagenlogik Axiomatik Axiome Axiomensystem Bedeutung Begriff Bereich Bernays bestimmten Beweis beweisbar Beweistheorie Briefwechsel 1976 Brouwer Cantor Dedekind definiert Definition Detlefsen Eigenschaft eigentlich Endformel endlich entsprechenden ersten euklidischen explizit finiten Aussagen finiten Mathematik Finitismus folgenden formalen Systemen formalisierten Formalismus formalistische Formeln Frage Frege Funktionen geht Gentzen Geometrie gibt Gleichungen Gödel Gödelsätze Hilbert Hilbertprogramm Hilbertschen idealen Elemente inhaltlichen Intuitionismus intuitionistische Kalkül klassischen konkreten könnte Konsistenz Konzeption Logik logischen Grundlagen 1923 Logizismus logizistische Menge Mengenlehre Metamathematik Methoden möglich muß natürlichen Zahlen Neubegründung 1922 nichteuklidischen Geometrien numerische Objekte Ordinalzahlen Paradoxien Paul Bernays philosophischen Position Problem Probleme Programm Quantoren realen Reduziervorschrift reellen Zahlen rekursiv Resultate richtig Russell Schlüsse Schlußregel Schlußregeln Schlußweisen Schritt Sequenz Sinne soll syntaktische System Teil Terme Tertium non datur Theorie Transfiniten Induktion Unendliche 1926 unserer Unterschied Variablen verschiedenen verwendet Vorlesung Wahrheit Weyl Widerspruch Widerspruchsfreiheit Widerspruchsfreiheitsbeweis Wintersemester Zahlentheorie Zahlzeichen Zeichen zwei zweiten