Diagonalization in Formal Mathematics

1. Auflage 2020
ISBN: 978-3-658-29110-5
Verlag: Springer

Buch, Englisch, 89 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 142 g

Reihe: BestMasters

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.

Zielgruppe

Research

Autoren/Hrsg.

Santos, Paulo Guilherme

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.

Über Autor(innen)

Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tu¨bingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.