Buch 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.
Mehr sehen - Schriftsteller Franzén, Torkel
- ISBN13 9781568811758
- ISBN10 1568811756
Inexhaustibility. A non-exhaustive treatment
- Autor/in Torkel Franzén
- Verlag AK PETERS
- ISBN 9781568811758
56,02€
58,97€
-5%
Sendung Kostenlos
Verfügbarkeit prüfen
56,02€
58,97€
-5%
Sendung Kostenlos
Verfügbarkeit prüfen
Unsere Buchhändlerinnen können die Verfügbarkeit überprüfen und dir eine Schätzung geben, wann es fertig sein wird.
Vielen Dank für Ihren Einkauf in echten Buchhandlungen!