Knygos.lt nariams
Knygos.lt nariams
- Išsiųsime per 12–18 d.d.
/images/books/13226448/9783658291105.jpg)
- Autorius: Paulo Guilherme Santos
- Leidėjas: Springer Spektrum
- ISBN-10: 3658291109
- ISBN-13: 9783658291105
- Formatas: 14.8 x 21 x 0.5 cm, minkšti viršeliai
- Kalba: Anglų
Diagonalization in Formal Mathematics (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Aprašymas
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.
- Autorius: Paulo Guilherme Santos
- Leidėjas: Springer Spektrum
- ISBN-10: 3658291109
- ISBN-13: 9783658291105
- Formatas: 14.8 x 21 x 0.5 cm, minkšti viršeliai
- Kalba: Anglų
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.
Atsiliepimai