Diagonalization in Formal Mathematics
€59.90
Shipping in 4/5 days
Product Information
| ISBN | 9783658291105 |
|---|---|
| Publisher | Springer Fachmedien Wiesbaden |
| Price (excl. tax) | €56.51 |
| Tax | €3.39 |
| Price (incl. tax) | €59.90 |
| Availability | 1 unit in external warehouse |
Product Description
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.