Titlebook: Diagonalization in Formal Mathematics; Paulo Guilherme Santos Book 2020 The Editor(s) (if applicable) and The Author(s), under exclusive l

暂时中止

光明正大

Mathematical Examples,In this chapter we will study several examples of diagonalization from Mathematics and we will show that all of them are a particular case of the reasoning of the GDT.

现实

Paulo Guilherme SantosPublication in the field of natural sciences

FLAGR

粗俗人

https://doi.org/10.1007/978-3-658-29111-2Diagonalization; Self-reference; Paradoxes; Fixed points; Yablo’s paradox; Smullyan’s theorem; Curry’s par

Ingrained

改变

清楚说话

bizarre

https://doi.org/10.1007/978-1-4614-4863-1n be applied to everyday Mathematics. We started to study in detail the Diagonalization Lemma in Chapter 3, then we moved to argue that Yablo’s Paradox is self-referential in Chapter 4. After that, in Chapter 5, we presented a common origin of several paradoxes and Löb’s Theorem; furthermore, we pre

分散