Some results on speed-up

DOI10.4288/JAFPOS1956.6.195MaRDI QIDQ3335776zbMATH OpenOpenAlexFDO

Authors Tsuyoshi Yukami

Publication date 1984

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.6.195

zbMATH Keywords

Kreisel's conjecturelength of proofPeano arithmeticspeed-up

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Recommendations

• Taking out LK parts from a proof in Peano arithmetic
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
• scientific article; zbMATH DE number 4033741
• A Note on the Length of Proofs
• scientific article; zbMATH DE number 4059392

Cited in

(15)

• The number of proof lines and the size of proofs in first order logic
• On the number of steps in proofs
• Generalizing theorems in real closed fields
• On low for speed oracles
• Herbrand's theorem and term induction
• On speed versus accuracy: Some case studies
• About \textsc{Fast} and \textsc{TReX} accelerations
• scientific article; zbMATH DE number 440480 (Why is no real title available?)
• Kreisel's Conjecture with minimality principle
• Taking out LK parts from a proof in Peano arithmetic
• A Note on the Length of Proofs
• Simple axioms that are obviously true in \(\mathbb{N}\)
• Herbrand complexity and the epsilon calculus with equality
• Remark on Kreisel's conjecture
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem

This page was built for publication: Some results on speed-up

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3335776)