Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/62085
Type: Artigo de periódico
Title: Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
Author: De Araujo, A
Carnielli, W
Abstract: The existence of non-standard numbers in first-order arithmetics is a semantic obstacle for modelling our arithmetical skills. This article argues that so far there is no adequate approach to overcome such a semantic obstacle, because we can also find out, and deal with, non-standard elements in Turing machines.
Subject: Arithmetical reasoning
first-order arithmetic
non-standard numbers
Turing machines
Country: Inglaterra
Editor: Oxford Univ Press
Rights: fechado
Identifier DOI: 10.1093/jigpal/jzq051
Date Issue: 2012
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
WOS000302303500009.pdf115.6 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.