Diagonalization in Formal Mathematics. 1st ed. 2020
- 種類:
- 電子ブック
- 責任表示:
- by Paulo Guilherme Santos
- 出版情報:
- Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum, 2020
- 著者名:
- シリーズ名:
- BestMasters ;
- ISBN:
- 9783658291112 [3658291117]
- 注記:
- Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.
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. Contents Diagonalization in Mathematics Diagonalization Lemma Fixed Point Theorems Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox Target Groups Researchers and students in the fields of mathematics and philosophy The Author Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Netherlands : Imprint: Springer |
Springer Netherlands : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer Science+Business Media, Inc. |
Springer International Publishing : Imprint: Springer |
Springer International Publishing : Imprint: Birkhäuser |
Springer International Publishing : Imprint: Springer |
Springer Netherlands |
Springer International Publishing : Imprint: Springer |
Springer New York : Imprint: Birkhäuser |
Springer Basel : Imprint: Birkhäuser |
Springer Science+Business Media B.V. |