Proof Theory and Logical Complexity
Collana: Studies in Proof Theory
Lingua: inglese
Categoria: LOGICA, Logica matematica.€77.00
This book is intended to be an introduction to proof-theory. Starting with Hilbert, whose second problem (in the famous list of problems of 1900) was the consistency of number theory, Hilbert’s program and its demise at the hands of Gödel. Then proceed with Gentzen’s results.
Esaurito