BestMasters

Diagonalization in Formal Mathematics

Authors: Santos, Paulo Guilherme

Free Preview
  • Publication in the field of natural sciences

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-658-29111-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-658-29110-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

About the authors

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.

Table of contents (8 chapters)

Table of contents (8 chapters)

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-658-29111-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-658-29110-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Diagonalization in Formal Mathematics
Authors
Series Title
BestMasters
Copyright
2020
Publisher
Springer Spektrum
Copyright Holder
Springer Fachmedien Wiesbaden GmbH, part of Springer Nature
eBook ISBN
978-3-658-29111-2
DOI
10.1007/978-3-658-29111-2
Softcover ISBN
978-3-658-29110-5
Series ISSN
2625-3577
Edition Number
1
Number of Pages
X, 89
Number of Illustrations
1 b/w illustrations
Topics