On the Alleged Simplicity of Impure Proof
From MaRDI portal
Publication:4593639
Cited in
(7)- Ontological purity for formal proofs
- Discussing Hilbert's 24th problem
- Mathematics, ethics and purism: an application of MacIntyre's virtue theory
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
- scientific article; zbMATH DE number 6008725 (Why is no real title available?)
- Visual thinking and simplicity of proof
- Remarks on purity of methods
This page was built for publication: On the Alleged Simplicity of Impure Proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593639)