Saxo Access
Indkøbskurv
  3. Diagonalization in Formal Mathematics
Diagonalization in Formal Mathematics (e-bog) af Santos, Paulo Guilherme
Santos, Paulo Guilherme (forfatter)

Diagonalization in Formal Mathematics e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 prese...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Santos, Paulo Guilherme (forfatter)
Forlag Springer Spektrum
Udgivet 4 januar 2020
Genrer PBC
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783658291112

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. 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.