Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning

DOI10.1093/JIGPAL/JZQ051zbMATH Open1246.03087OpenAlexW2134503984MaRDI QIDQ2909841FDOQ2909841

Authors: Anderson De Araújo, Walter Carnielli 

Publication date: 6 September 2012

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq051

Recommendations

• scientific article; zbMATH DE number 1531213
• scientific article; zbMATH DE number 4077395
• scientific article; zbMATH DE number 3841857
• Adding standardness to nonstandard arithmetic
• scientific article; zbMATH DE number 4119662
• Semantics and the ontology of number
• Inconsistent nonstandard arithmetic
• A model for intuitionistic non-standard arithmetic
• Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings

zbMATH Keywords

Turing machinesfirst-order arithmeticnonstandard numbersarithmetical reasoning

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Nonstandard models of arithmetic (03H15)

Cited In (3)

• On live and dead signs in mathematics
• Numbers and models, standard and nonstandard
• The ontology of digital physics

This page was built for publication: Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning

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