Diagonalization in Formal Mathematics

Paulo Guilherme Santos (Autor)

Buch | Softcover

X, 89 Seiten

2020 | 1st ed. 2020
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-29110-5 (ISBN)

Artikel merken

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.

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.

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

Erscheinungsdatum	10.01.2020
Reihe/Serie	BestMasters
Zusatzinfo	X, 89 p. 1 illus.
Verlagsort	Wiesbaden
Sprache	englisch
Maße	148 x 210 mm
Gewicht	145 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Banach theorem • Curry's paradox • Curry’s paradox • Diagonalization • Diagonalization lemma • fixed points • Knaster-Tarski theorem • Knaster–Tarski theorem • Lawvere's diagonal argument • Lawvere’s diagonal argument • paradoxes • Russell's paradox • Russell’s paradox • Self-reference • Smullyan's theorem • Smullyan’s theorem • Yablo's paradox • Yablo’s paradox
ISBN-10	3-658-29110-9 / 3658291109
ISBN-13	978-3-658-29110-5 / 9783658291105
Zustand	Neuware