A Note on the Length of Proofs

DOI10.4288/JAFPOS1956.8.203MaRDI QIDQ4306545zbMATH OpenOpenAlexFDO

Authors Tsuyoshi Yukami

Publication date 16 May 1995

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.8.203

zbMATH Keywords

diophantine predicateslength of proof

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4059392
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• Some results on speed-up
• Publication:3481697

Cited in

(7)

• A remark on the length problem
• On the number of steps in proofs
• scientific article; zbMATH DE number 3851081 (Why is no real title available?)
• Some results on speed-up
• scientific article; zbMATH DE number 4152372 (Why is no real title available?)
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• On the Difficulty of Writing Out formal Proofs in Arithmetic

This page was built for publication: A Note on the Length of Proofs

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