Purity in arithmetic: some formal and informal issues

DOI10.1515/9781614518471.315zbMATH Open1347.03006OpenAlexW4213048398MaRDI QIDQ3452180FDOQ3452180

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

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

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)

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
• Towards an operational view of purity
• Impurity in contemporary mathematics

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)