Zusammenfassung
Der erste Teil der Gödel’schen Arbeit liegt hinter uns. Wir haben die Beweisskizze vollständig durchgearbeitet und wissen nun, auf welchem Weg Gödel den ersten Unvollständigkeitssatz beweisen wird. In diesem Kapitel wenden wir uns dem zweiten Teil der Arbeit zu, der sich mit der Präzisierung der skizzierten Beweisschritte beschäftigt.
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
© 2017 Springer-Verlag GmbH Deutschland
About this chapter
Cite this chapter
Hoffmann, D.W. (2017). Das System P. In: Die Gödel'schen Unvollständigkeitssätze. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-54300-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-54300-9_4
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-54299-6
Online ISBN: 978-3-662-54300-9
eBook Packages: Life Science and Basic Disciplines (German Language)