Springer Book Archives: eBooks only 8.99 each! Save now >>

BestMasters

Diagonalization in Formal Mathematics

Authors: Santos, Paulo G.

Free Preview
  • Publication in the field of natural sciences

Buy this book

eBook 42,79 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-658-29110-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 42,79 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-658-29110-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.