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.
Veure més - Autor/s 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%
Enviament Gratuït
Consulta disponibilitat
56,02€
58,97€
-5%
Enviament Gratuït
Consulta disponibilitat
Les nostres llibreteres poden consultar la seva disponibilitat i donar-te una estimació de quan estaria llest.
Gràcies per comprar a llibreries reals!