Remarks on simple proofs
From MaRDI portal
Publication:4593636
Recommendations
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)