Title of article
Sentient arithmetic and gödelʹs theorems
Author/Authors
K.K. Nambiar، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
5
From page
69
To page
73
Abstract
Sentient Arithmetic is defined as an extension of Elementary Arithmetic with three more derivation rules and the Incompleteness Theorems are derived within it without using any metalanguage. It is shown that Consistency cannot be chosen as an axiom
Keywords
Sentient Arithmetic , Consistency , G?delיs theorems
Journal title
Computers and Mathematics with Applications
Serial Year
1996
Journal title
Computers and Mathematics with Applications
Record number
917863
Link To Document