Skip to main content
Proofs and Computations - Schwichtenberg, Helmut, and Wainer, Stanley S.
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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 Goedel'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) ...

Proofs and Computations 2011, Cambridge University Press, Cambridge

ISBN-13: 9780521517690