| 书目名称 | Diagonalization in Formal Mathematics | | 编辑 | Paulo Guilherme Santos | | 视频video | | | 概述 | Publication in the field of natural sciences | | 丛书名称 | BestMasters | | 图书封面 |  | | 描述 | In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo’s paradox is examined, and a self-referential interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics. | | 出版日期 | Book 2020 | | 关键词 | Diagonalization; Self-reference; Paradoxes; Fixed points; Yablo’s paradox; Smullyan’s theorem; Curry’s par | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-658-29111-2 | | isbn_softcover | 978-3-658-29110-5 | | isbn_ebook | 978-3-658-29111-2Series ISSN 2625-3577 Series E-ISSN 2625-3615 | | issn_series | 2625-3577 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Fachmedien Wies |
The information of publication is updating
|
|
发表于 2025-3-21 18:01:45
