The philosophical significance of Tennenbaum's theorem

DOI10.1093/PHILMAT/NKR031MaRDI QIDQ4919656zbMATHOpenAlexFDO

Authors

Publication date 15 May 2013

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkr031

zbMATH Keywords

nonstandard modelsmodels of arithmeticstandard modelsTennenbaum's theoremphilosophical consequences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Models and computability
• Tennenbaum's theorem for models of arithmetic
• Toward the limits of the Tennenbaum phenomenon
• A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
• Constructive formalization of the Tennenbaum theorem and its applications

Cited in

(7)

• Computability, finiteness and the standard model of arithmetic
• Models and computability
• Tennenbaum's theorem for models of arithmetic
• Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results
• The epistemic significance of numerals
• The philosophical significance of Cox's theorem
• The Philosophical Impact of the Löwenheim-Skolem Theorem

This page was built for publication: The philosophical significance of Tennenbaum's theorem

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