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

DOI10.1093/jigpal/jzq051zbMath1246.03087OpenAlexW2134503984MaRDI QIDQ2909841

Anderson Luis A. de Araujo, Walter Alexandre Carnielli

Publication date: 6 September 2012

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

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

zbMATH Keywords

Turing machinesfirst-order arithmeticnonstandard numbersarithmetical reasoning

Mathematics Subject Classification ID

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

Related Items (1)

The ontology of digital physics

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