Diagonalization in Formal Mathematics
Paulo Guilherme Santos
Springer Fachmedien Wiesbaden, 2020
66,50 €On orderDelivery: 2-3 weeks
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. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.
- ISBN-13
- 9783658291105
- ISBN-10
- 3658291109
- Publisher
- Springer Fachmedien Wiesbaden
- Year
- 2020
- Publication date
- 2020-01-05
- Pages
- 89
- Dimensions
- 147x211x8
- Weight
- 144