Cantitate/Preț
Produs

Diagonalization in Formal Mathematics: BestMasters

Autor Paulo Guilherme Santos
en Limba Engleză Paperback – 5 ian 2020
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.
Citește tot Restrânge

Din seria BestMasters

Preț: 36014 lei

Puncte Express: 540

Carte tipărită la comandă

Livrare economică 28 mai-11 iunie
Livrare express 22-28 aprilie pentru 3665 lei


Specificații

ISBN-13: 9783658291105
ISBN-10: 3658291109
Pagini: 100
Ilustrații: X, 89 p. 1 illus.
Dimensiuni: 148 x 210 x 6 mm
Greutate: 0.14 kg
Ediția:1st ed. 2020
Editura: SPRINGER VIEWEG
Colecția Bestmasters
Seria BestMasters

Locul publicării:Wiesbaden, Germany

Cuprins

Diagonalization in Mathematics.- Diagonalization Lemma.- Fixed Point Theorems.- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.

Textul de pe ultima copertă

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.