Diagonalization in Formal Mathematics
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Diagonalization in Formal Mathematics “
Klappentext zu „Diagonalization in Formal Mathematics “
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.
Inhaltsverzeichnis zu „Diagonalization in Formal Mathematics “
Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo's Paradox, Curry's Paradox.
Autoren-Porträt von Paulo Guilherme Santos
Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.Bibliographische Angaben
- Autor: Paulo Guilherme Santos
- 2020, 1st ed. 2020, X, 89 Seiten, Maße: 14,8 x 21 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3658291109
- ISBN-13: 9783658291105
- Erscheinungsdatum: 28.12.2019
Sprache:
Englisch
Kommentar zu "Diagonalization in Formal Mathematics"
Schreiben Sie einen Kommentar zu "Diagonalization in Formal Mathematics".
Kommentar verfassen