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 (12 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.