Diagonalization in Formal Mathematics (BestMasters) - Softcover

Buch 85 von 91: BestMasters

Santos, Paulo Guilherme

 
9783658291105: Diagonalization in Formal Mathematics (BestMasters)
Softcover
ISBN 10: 3658291109 ISBN 13: 9783658291105
Verlag: Springer Spektrum, 2020

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Spektrum
Erscheinungsdatum
2020
Sprache
Englisch
ISBN 10 
3658291109
ISBN 13 
9783658291105
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
100
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland