• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Diagonalization in Formal Mathematics

Diagonalization in Formal Mathematics

Paperback

Series: Bestmasters

FictionLogic

ISBN10: 3658291109
ISBN13: 9783658291105
Publisher: Springer Spektrum
Published: Jan 5 2020
Pages: 89
Weight: 0.28
Height: 0.21 Width: 5.83 Depth: 8.27
Language: English
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.

Also in

Fiction