2013 | OriginalPaper | Buchkapitel
Beweistheorie
verfasst von : Prof. Dr. Dirk W. Hoffmann
Erschienen in: Grenzen der Mathematik
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In diesem Kapitel werden wir uns ausführlich mit der Beweistheorie, einer der tragenden Säulen der mathematischen Logik, beschäftigen. In ihrem Kern steht der Gedanke, Beweise als mathematische Objekte zu interpretieren und auf dieseWeise einer präzisen Analyse zugänglich zu machen. Zur vollen Blüte ist die Beweistheorie in der ersten Hälfte des zwanzigsten Jahrhundert gereift. Sie hat verblüffende Erkenntnisse hervorgebracht, die einen tiefen Einblick in dasWesen des mathematischen Schließens gewähren und uns zugleich die Grenzen der Mathematik in aller Klarheit vor Augen führen. Um welche Erkenntnisse es sich hierbei im Detail handelt, ist Gegenstand dieses Kapitels.