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. Les mer
817,-
Paperback
Sendes innen 21 dager
Logg inn for å se din bonus
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.
Detaljer
- Forlag
- Springer Spektrum
- Innbinding
- Paperback
- Språk
- Engelsk
- Sider
- 89
- ISBN
- 9783658291105
- Utgivelsesår
- 2020
- Format
- 21 x 15 cm