Buy this book
- About this book
-
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.
- About the authors
-
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.
- Table of contents (8 chapters)
-
-
Preliminaries
Pages 11-18
-
Introduction
Pages 19-24
-
Two uses of the Diagonalization Lemma
Pages 25-39
-
Yablo’s Paradox and Self-Reference
Pages 41-51
-
Smullyan’s Theorem, Löb’s Theorem, and a General Approach to Paradoxes
Pages 53-70
-
Table of contents (8 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Diagonalization in Formal Mathematics
- Authors
-
- Paulo G. Santos
- Series Title
- BestMasters
- Copyright
- 2020
- Publisher
- Springer Spektrum
- Copyright Holder
- Springer Fachmedien Wiesbaden GmbH, part of Springer Nature
- eBook ISBN
- 978-3-658-29111-2
- DOI
- 10.1007/978-3-658-29111-2
- Softcover ISBN
- 978-3-658-29110-5
- Series ISSN
- 2625-3577
- Edition Number
- 1
- Number of Pages
- X, 89
- Number of Illustrations
- 1 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
