Models and computability

DOI10.1093/PHILMAT/NKT035MaRDI QIDQ3449303zbMATH OpenOpenAlexFDO

Authors Walter Dean

Publication date 4 November 2015

Published in Philosophia Mathematica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• The philosophical significance of Tennenbaum's theorem
• Computability, finiteness and the standard model of arithmetic
• Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism
• Computational Structuralism†
• Computationalism, the Church-Turing thesis, and the Church-Turing fallacy

Cited in

(16)

• A new spectrum of computable models
• The epistemic significance of numerals
• Can Church's thesis be viewed as a Carnapian explication?
• Computability, finiteness and the standard model of arithmetic
• scientific article; zbMATH DE number 5666853 (Why is no real title available?)
• scientific article; zbMATH DE number 4128803 (Why is no real title available?)
• Computational model theory: an overview
• The philosophical significance of Tennenbaum's theorem
• Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• Computational Structuralism†
• New Computational Paradigms
• Model-based computation
• An analysis of Tennenbaum's theorem in constructive type theory
• Is the concept of computation a conceptual fixed point?
• Computability of homogeneous models

This page was built for publication: Models and computability

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