Diagonalization in Formal Mathematics
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.
| Autor: | Santos, Paulo Guilherme |
|---|---|
| ISBN: | 9783658291105 |
| Sprache: | Englisch |
| Seitenzahl: | 89 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Fachmedien Wiesbaden GmbH |
| Veröffentlicht: | 05.01.2020 |
| Schlagworte: | Curry’s paradox Diagonalization Diagonalization lemma Fixed points Lawvere’s diagonal argument Paradoxes Russell’s paradox Self-reference Smullyan’s theorem Yablo’s paradox |
Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tu¨bingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.