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.
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
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Hoffmann, D.W. (2018). Beweistheorie. In: Grenzen der Mathematik. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56617-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-56617-6_4
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-56616-9
Online ISBN: 978-3-662-56617-6
eBook Packages: Life Science and Basic Disciplines (German Language)