Pages that link to "Item:Q4314669"
From MaRDI portal
The following pages link to On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics (Q4314669):
Displayed 7 items.
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Deflationary truth and pathologies (Q975779) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- Von Neumann, Gödel and Complexity Theory (Q3067861) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)