Purity in arithmetic: some formal and informal issues

DOI10.1515/9781614518471.315MaRDI QIDQ3452180zbMATH OpenOpenAlexFDO

Authors Andrew Arana

Publication date 18 November 2015

Published in Formalism and Beyond (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9781614518471.315

zbMATH Keywords

infinitude of primesincompleteness in arithmeticpurity of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 6994084
• Formalization, primitive concepts, and purity
• Towards an operational view of purity
• Logical and semantic purity
• Remarks on purity of methods

Cited in

(7)

• Purity and Explanation: Essentially Linked?
• Formalization, primitive concepts, and purity
• SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
• Logical and semantic purity
• Varieties of Infiniteness in the Existence of Infinitely Many Primes
• Impurity in contemporary mathematics
• Towards an operational view of purity

This page was built for publication: Purity in arithmetic: some formal and informal issues

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