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. Los geht es mit der Definition des formalen Systems P, das als Grundlage für den Beweis der Unvollständigkeitssätze dient.
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.W. (2013). Das System P. In: Die Gödel’schen Unvollständigkeitssätze. Spektrum Akademischer Verlag, Heidelberg. https://doi.org/10.1007/978-3-8274-3000-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-8274-3000-7_4
Publisher Name: Spektrum Akademischer Verlag, Heidelberg
Print ISBN: 978-3-8274-2999-5
Online ISBN: 978-3-8274-3000-7
eBook Packages: Life Science and Basic Disciplines (German Language)