Diagonalization in Formal Mathematics - Couverture souple

Livre 85 sur 91: BestMasters

Santos, Paulo Guilherme

 
9783658291105: Diagonalization in Formal Mathematics
Couverture souple
ISBN 10 : 3658291109 ISBN 13 : 9783658291105
Editeur : Springer Spektrum, 2020

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Spektrum
Date d'édition
2020
Langue
anglais
ISBN 10 
3658291109
ISBN 13 
9783658291105
Reliure
Broché
Nombre de pages
100
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne