Remarks on simple proofs

DOI10.1007/978-3-319-53385-8_12MaRDI QIDQ4593636zbMATHOpenAlexFDO

Authors Rosalie Iemhoff

Publication date 22 November 2017

Published in Simplicity: Ideals of Practice in Mathematics and the Arts (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-53385-8_12

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Recommendations

• What Simplicity Is Not
• Prolegomena to any theory of proof simplicity
• Note on the benefit of proof representations by name
• Proof simplification and automated theorem proving
• Theory Is Forever

Cited in

(8)

• Pathways of deductions
• Ontological purity for formal proofs
• The fluidity of simplicity: philosophy, mathematics, art
• A brief note on Gödel, Nagel, minds, and machines
• Mechanizing Mathematical Reasoning
• Note on the benefit of proof representations by name
• Visual thinking and simplicity of proof
• scientific article; zbMATH DE number 6008725 (Why is no real title available?)

This page was built for publication: Remarks on simple proofs

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