Long and short proofs

MaRDI QIDQ6160875zbMATH OpenFDO

Authors Cristian S. Calude, Ludwig Staiger

Publication date 2 June 2023

zbMATH Keywords

proof lengthproof-assistant

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Logic in the philosophy of science (03A10) Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35)

Recommendations

• Shortening of proof length is elusive for theorem provers
• A formal proof of Borodin-Trakhtenbrot's gap theorem
• scientific article; zbMATH DE number 3922641
• Much shorter proofs: A bimodal investigation
• scientific article; zbMATH DE number 910749

This page was built for publication: Long and short proofs

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