On live and dead signs in mathematics

DOI10.1515/9781614518471.183MaRDI QIDQ3452175zbMATH OpenOpenAlexFDO

Authors Felix Mühlhölzer

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.183

zbMATH Keywords

Wittgensteinstandard model of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Nonstandard models in mathematics (03H05)

Recommendations

• Formalization, syntax and the standard model of arithmetic
• Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
• Computability, finiteness and the standard model of arithmetic
• Physical possibility and determinate number theory
• Truth by default

Cited in

(3)

• Prolegomena to virtue-theoretic studies in the philosophy of mathematics
• Formalization, syntax and the standard model of arithmetic
• scientific article; zbMATH DE number 2144525 (Why is no real title available?)

This page was built for publication: On live and dead signs in mathematics

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