An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.
An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.
1. Introduction 2. Preliminaries 3. Basic complexity theory 4. Basic propositional logic 5. Basic bounded arithmetic 6. Definability of computations 7. Witnessing theorems 8. Definability and witnessing in second order theories 9. Translations of arithmetic formulas 10. Finite axiomatizability problem 11. Direct independence proofs 12. Bounds for constant-depth Frege systems 13. Bounds for Frege and extended Frege systems 14. Hard tautologies and optimal proof systems 15. Strength of bounded arithmetic References Index.
1. Introduction 2. Preliminaries 3. Basic complexity theory 4. Basic propositional logic 5. Basic bounded arithmetic 6. Definability of computations 7. Witnessing theorems 8. Definability and witnessing in second order theories 9. Translations of arithmetic formulas 10. Finite axiomatizability problem 11. Direct independence proofs 12. Bounds for constant-depth Frege systems 13. Bounds for Frege and extended Frege systems 14. Hard tautologies and optimal proof systems 15. Strength of bounded arithmetic References Index.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826