Diagonalization in Formal Mathematics
Santos, Paulo Guilherme
Produktnummer:
18084db0a0362a40588f5aa4440840d642
| Autor: | Santos, Paulo Guilherme |
|---|---|
| Themengebiete: | Curry’s paradox Diagonalization Diagonalization lemma Fixed points Lawvere’s diagonal argument Paradoxes Russell’s paradox Self-reference Smullyan’s theorem Yablo’s paradox |
| Veröffentlichungsdatum: | 05.01.2020 |
| EAN: | 9783658291105 |
| Sprache: | Englisch |
| Seitenzahl: | 89 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Fachmedien Wiesbaden GmbH |
Produktinformationen "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. 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen