ADDENDUM TO SLOMAN VIEW OF GODEL SENTENCE

Authors
BOJADZIEV D GAMS M
Citation
D. Bojadziev et M. Gams, ADDENDUM TO SLOMAN VIEW OF GODEL SENTENCE, Artificial intelligence, 98(1-2), 1998, pp. 363-365
Citations number
6
Categorie Soggetti
Computer Science Artificial Intelligence","Computer Science Artificial Intelligence
Journal title
Artificial intelligence → ACNP
ISSN journal
00043702
Volume
98
Issue
1-2
Year of publication
1998
Pages
363 - 365
Database
ISI
SICI code
0004-3702(1998)98:1-2<363:ATSVOG>2.0.ZU;2-W
Abstract
The mapping between arithmetical expressions and meta-arithmetical sta tements, based on Godel's numbering, cannot go awry in any ''non-stand ard'' model, as Sloman suggested. Godel's numbering itself cannot go a wry, because it involves only the standard model, and the extra elemen ts in ''non-standard'' models, in so far as they are involved in meta- theoretical interpretation at all, cannot affect the mapping, because they have no independent meta-theoretical meaning. (C) 1998 Elsevier S cience B.V.