Main Data
Author: Paulo Guilherme Santos
Title: Diagonalization in Formal Mathematics
Publisher: Springer Spektrum
ISBN/ISSN: 9783658291112
Edition: 1
Price: CHF 53.50
Publication date: 01/01/2020
Category: Mathematics
Language: English
Technical Data
Pages: 89
Kopierschutz: DRM
Geräte: PC/MAC/eReader/Tablet
Formate: PDF
Table of contents
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 Tubingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.