Detalls del llibre
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.
Llegir més - Autor/a Torkel Franzén
- ISBN13 9781568811758
- ISBN10 1568811756
- Fecha de publicación 07/05/2026
Ressenyes i valoracions
Inexhaustibility. A non-exhaustive treatment
- De
- Torkel Franzén
- |
- A K Peters/CRC Press (2026)
- 9781568811758



