Diagonalization in Formal Mathematics
Published on 5. January 2020
Book
Paperback/Softback
X, 89 pages
978-3-658-29110-5 (ISBN)
Description
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.
More details
Series
Edition
2020 ed.
Language
English
Place of publication
Wiesbaden
Germany
Publishing group
Springer Fachmedien Wiesbaden GmbH
Target group
Professional and scholarly
Illustrations
1 s/w Abbildung
X, 89 p. 1 illus.
Dimensions
Height: 210 mm
Width: 148 mm
Thickness: 6 mm
Weight
142 gr
ISBN-13
978-3-658-29110-5 (9783658291105)
DOI
10.1007/978-3-658-29111-2
Schweitzer Classification
Other editions
Additional editions
Paulo Guilherme Santos
Diagonalization in Formal Mathematics
E-Book
01/2020
1st Edition
Springer Spektrum
€53.49
Available for download
Person
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.
Content
Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo's Paradox, Curry's Paradox.