On the Alleged Simplicity of Impure Proof
From MaRDI portal
Publication:4593639
Cited in
(12)- 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
- `A remarkable artifice': Laplace, Poisson and mathematical purity
- Purity and explanation: a systematic case study
- Mathematical hygiene
- scientific article; zbMATH DE number 6008725 (Why is no real title available?)
- The generic multiverse is not going away
- Visual thinking and simplicity of proof
- Hilbert's problems, Kant, and decidability
- 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)