Book Details
Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.
See more - Author/s Franzén, Torkel
- ISBN13 9781568811758
- ISBN10 1568811756
Inexhaustibility. A non-exhaustive treatment
- Author Torkel Franzén
- Publisher AK PETERS
- ISBN 9781568811758
56,02€
58,97€
-5%
Shipping Free
Check availability
56,02€
58,97€
-5%
Shipping Free
Check availability
Our booksellers can check its availability and give you an estimate of when it will be ready.
Thank you for shopping at real bookstores!