Proofs and Computations

Versandkostenfrei!
Versandfertig in 1-2 Wochen
89,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
45 °P sammeln!
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to ¿11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are used in proving ...