Diagonalization in Formal Mathematics

By Paulo Guilherme Santos

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.

• Format: Paperback
• Language: English
• ISBN: 3658291109
• ISBN13: 9783658291105
• Release Date: January 2020
• Publisher: Springer Spektrum
• Length: 89 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 5.8" x 8.3"