2020 | OriginalPaper | Buchkapitel
Two uses of the Diagonalization Lemma
verfasst von : Paulo Guilherme Santos
Erschienen in: Diagonalization in Formal Mathematics
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter, we will use the Diagonalization Lemma for two purposes: to present natural properties related to self-reference that are not decidable, and to argue that one cannot prove the Strong Diagonalization Lemma using the Diagonalization Lemma, i.e., that diagonalization of term is substantially different from diagonalization of formulas.