Suchen und Finden

Titel

Autor

Inhaltsverzeichnis

Nur ebooks mit Firmenlizenz anzeigen:

 

Diagonalization in Formal Mathematics

Diagonalization in Formal Mathematics

Paulo Guilherme Santos

 

Verlag Springer Spektrum, 2020

ISBN 9783658291112 , 89 Seiten

Format PDF

Kopierschutz Wasserzeichen

Geräte

53,49 EUR

Mehr zum Inhalt

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, 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 Tùˆbingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.