Remarks on simple proofs

DOI10.1007/978-3-319-53385-8_12zbMATH Open1375.00048OpenAlexW250905837MaRDI QIDQ4593636FDOQ4593636

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

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

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cited In (8)

• Ontological purity for formal proofs
• Note on the benefit of proof representations by name
• The fluidity of simplicity: philosophy, mathematics, art
• Mechanizing Mathematical Reasoning
• Pathways of deductions
• Title not available (Why is that?)
• A brief note on Gödel, Nagel, minds, and machines
• Visual thinking and simplicity of proof

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)