Detalles del libro
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.
Ver más - Autor/es Franzén, Torkel
- ISBN13 9781568811758
- ISBN10 1568811756
Inexhaustibility. A non-exhaustive treatment
- Autor/a Torkel Franzén
- Editorial AK PETERS
- ISBN 9781568811758
56,02€
58,97€
-5%
Envío Gratis
Consulta disponibilidad
56,02€
58,97€
-5%
Envío Gratis
Consulta disponibilidad
Nuestras libreras pueden consultar su disponibilidad y darte un estimado de cuándo estaría listo.
¡Gracias por comprar en librerías reales!