Diagonalization in Formal Mathematics. This item is unavailable.
Language: English
Published by Springer Vieweg, 2020
Series: Book 85 of 91 - BestMasters
- Softcover
- New
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
5-star seller
AbeBooks seller since April 7, 2005
Unavailable
Softcover
Condition: New
£ 43.43
Item description from seller
New Book. Shipped from UK. Established seller since 2000.
Seller Inventory # GB-9783658291105
- Title
- Diagonalization in Formal Mathematics
- Author
- Santos, Paulo Guilherme
- Publisher
- Springer Vieweg
- Publication year
- 2020
- Condition
- New
- Binding
- PAP
- Language
- English
- ISBN 10
- 3658291109
- ISBN 13
- 9783658291105
- Item weight
- 186 grams
- Series
- Book 85 of 91: BestMasters
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.
"Synopsis" may belong to another edition of this title.
About the Author
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.
"About the title" may belong to another edition of this title.
Search results for Diagonalization in Formal Mathematics
There are 5 more copies of this bookView all results