Logical and semantic purity

MaRDI QIDQ3597502zbMATH OpenFDO

Authors Andrew Arana

Publication date 9 February 2009

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Structure of proofs (03F07)

Recommendations

• Remarks on purity of methods
• Purity in arithmetic: some formal and informal issues
• scientific article; zbMATH DE number 6994084
• Why proof? What is a proof?
• Towards an operational view of purity

Cited in

(10)

• Impurity in contemporary mathematics
• The implicit commitment of arithmetical theories and its semantic core
• Proof theory in philosophy of mathematics
• Purity in arithmetic: some formal and informal issues
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• Formalization, primitive concepts, and purity
• Discussing Hilbert's 24th problem
• Modularity in mathematics
• Purity and Explanation: Essentially Linked?
• Lagrange's theory of analytical functions and his ideal of purity of method

This page was built for publication: Logical and semantic purity

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