Zusammenfassung
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hoffmann, D. (2013). Beweistheorie. In: Grenzen der Mathematik. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34720-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-34720-7_4
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-642-34719-1
Online ISBN: 978-3-642-34720-7
eBook Packages: Life Science and Basic Disciplines (German Language)