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 10 items.
- Naturalizing indispensability: a rejoinder to `The varieties of indispensability arguments' (Q516230) (← links)
- 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)
- GEOMETRIC SPIN HALL EFFECT FOR GAUSSIAN BEAM (Q2810347) (← 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)
- On sets, types, fixed points, and checkerboards (Q4645222) (← links)