Zusammenfassung
In diesem Kapitel will ich das Vorliegen einer Universalfunktion U in PRF verwenden, um gewisse negative oder Unentscheidbarkeitsaussagen herzuleiten, welche sich einer gewissen Popularität erfreuen. Während die ersten dieser Herleitungen allein die Universalität von U benutzen, werde ich vom Theorem 4 an auch noch die SMN-Eigenschaft von U verwenden, die ich aus systematischen Gründen erst im folgenden Kapitel beweisen werde.
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
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Felscher, W. (1993). Unentscheidbarkeiten. In: Berechenbarkeit. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78019-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-78019-6_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56354-9
Online ISBN: 978-3-642-78019-6
eBook Packages: Springer Book Archive