SENTIENT ARITHMETIC AND GODEL THEOREMS

Authors
NAMBIAR KK
Citation
Kk. Nambiar, SENTIENT ARITHMETIC AND GODEL THEOREMS, Computers & mathematics with applications, 32(2), 1996, pp. 69-73
Citations number
3
Categorie Soggetti
Computer Sciences",Mathematics,"Computer Science Interdisciplinary Applications
Journal title
Computers & mathematics with applications → ACNP
ISSN journal
08981221
Volume
32
Issue
2
Year of publication
1996
Pages
69 - 73
Database
ISI
SICI code
0898-1221(1996)32:2<69:SAAGT>2.0.ZU;2-#
Abstract
Sentient Arithmetic is defined as an extension of Elementary Arithmeti c with three more derivation rules and the Incompleteness Theorems are derived within it without using any metalanguage. It is shown that Co nsistency cannot be chosen as an axiom.