On live and dead signs in mathematics

DOI10.1515/9781614518471.183zbMATH Open1329.03020OpenAlexW2487628808MaRDI QIDQ3452175FDOQ3452175

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

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

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)

Cited In (3)

• Prolegomena to virtue-theoretic studies in the philosophy of mathematics
• Formalization, syntax and the standard model of arithmetic
• Title not available (Why is that?)

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)