暂时中止 发表于 2025-3-25 05:20:38

http://reply.papertrans.cn/28/2709/270815/270815_21.png

光明正大 发表于 2025-3-25 09:57:51

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.

现实 发表于 2025-3-25 15:28:24

Paulo Guilherme SantosPublication in the field of natural sciences

FLAGR 发表于 2025-3-25 19:41:54

http://reply.papertrans.cn/28/2709/270815/270815_24.png

粗俗人 发表于 2025-3-25 22:06:25

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 发表于 2025-3-26 03:14:56

http://reply.papertrans.cn/28/2709/270815/270815_26.png

改变 发表于 2025-3-26 06:46:11

http://reply.papertrans.cn/28/2709/270815/270815_27.png

清楚说话 发表于 2025-3-26 08:27:33

http://reply.papertrans.cn/28/2709/270815/270815_28.png

bizarre 发表于 2025-3-26 13:59:27

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

分散 发表于 2025-3-26 18:33:18

http://reply.papertrans.cn/28/2709/270815/270815_30.png
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Diagonalization in Formal Mathematics; Paulo Guilherme Santos Book 2020 The Editor(s) (if applicable) and The Author(s), under exclusive l