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, Yablos 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 ma…
Read More ↓Title Statements
- Full title :Diagonalization in Formal Mathematics / by Paulo Guilherme Santos.
Summary
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, Yablos 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, Yablos Paradox, Currys 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.
Read More ↓Edition Statements
- Publication Date:2020 :
- Edition:1st ed. 2020
Publication Statements
- Publisher(s):Imprint: Springer Spektrum, Springer Fachmedien Wiesbaden
- Place of Publication:Wiesbaden
- Language:eng
- Publication Date:2020 :
The Physical Object
- Description:1 online resource (x, 89 pages 1 illustration) : : online resource
Edition Identifiers
- ISBN:9783658291112, 3658291117, 9783658291105, 3658291109
- oclc:on1137806677
- LC Classification:QA8.9-10.3
- Dewey Decimal:511.3
Table of Contents
Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablos Paradox, Currys Paradox.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Thinking about logic: an introduction to the philosophy of lo…
Read, Stephen, philosophe
Knowledge contributors
Die erfundene Wirklichkeit: wie wissen wir, was wir zu wissen glaub…
Watzlawick, Paul
Rate & Review