Diagonalization in formal mathematics
著者
書誌事項
Diagonalization in formal mathematics
（BestMasters）
Springer Spektrum, c2020
大学図書館所蔵 全1件
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo's Paradox, Curry's Paradox.
「Nielsen BookData」 より