Diagonalization in Formal Mathematics
| Author | : Paulo Guilherme Santos |
| Publisher | : Springer Nature |
| Total Pages | : 94 |
| Release | : 2020-01-04 |
| ISBN-10 | : 9783658291112 |
| ISBN-13 | : 3658291117 |
| Rating | : 4/5 (117 Downloads) |
Download or read book Diagonalization in Formal Mathematics written by Paulo Guilherme Santos and published by Springer Nature. This book was released on 2020-01-04 with total page 94 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.