The philosophical significance of Tennenbaum's theorem

DOI10.1093/PHILMAT/NKR031zbMATH Open1271.03017OpenAlexW2026959462MaRDI QIDQ4919656FDOQ4919656

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

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

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)

Cited In (7)

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

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)