Umfang:
1 Online-Ressource(X, 89 p. 1 illus.)
ISBN:
9783658291112
Serie:
BestMasters
Inhalt:
Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox
Inhalt:
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. Contents Diagonalization in Mathematics Diagonalization Lemma Fixed Point Theorems Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox Target Groups Researchers and students in the fields of mathematics and philosophy The Author 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.
Anmerkung:
The work of this thesis was presented at FCT-UNL for the Master’s Degree in Pure Mathematics. It was funded by the FCT project: PTDC/MHC-FIL/2583/2014
,
Masterarbeit FCT-UNL
Weitere Ausg.:
ISBN 9783658291105
Weitere Ausg.:
ISBN 9783658291129
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783658291105
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9783658291129
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Santos, Paulo Guilherme Diagonalization in formal mathematics Wiesbaden : Springer Spektrum, 2020 ISBN 9783658291105
Weitere Ausg.:
ISBN 3658291109
Sprache:
Englisch
Schlagwort(e):
Diagonalisierung
;
Mathematische Logik
;
Hochschulschrift
DOI:
10.1007/978-3-658-29111-2
Mehr zum Autor:
Santos, Paulo Guilherme