Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†
From MaRDI portal
Publication:5234244
DOI10.1093/PHILMAT/NKX009zbMath1420.03015OpenAlexW2611357602MaRDI QIDQ5234244
Publication date: 25 September 2019
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkx009
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (4)
The dependence of computability on numerical notations ⋮ Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory ⋮ Asymptotic Quasi-completeness and ZFC ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
This page was built for publication: Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†