Diagonalization in Formal Mathematics
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Fachmedien Wiesbaden
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783658291105
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Fachmedien Wiesbaden |
| Forfatter | Paulo Guilherme Santos |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2020 ed. |
| Udgivelsesdato | 05-01-2020 |
| Første udgivelsesår | 2020 |
| Serie | BestMasters |
| Illustrationer | 1 Illustrations, black and white; X, 89 p. 1 illus. |
| Originalsprog | Germany |
| Sideantal | 89 |
| Indbinding | Paperback / softback |
| Forlag | Springer Fachmedien Wiesbaden |
| Sideoplysninger | 89 pages, 1 Illustrations, black and white; X, 89 p. 1 illus. |
| Mål | 147 x 211 x 8 |
| ISBN-13 / EAN-13 | 9783658291105 |