Sentient Arithmetic and Godel’s Theorems
Introduction
Some Facts
Derivation Rules
Incompleteness Theorems
Classification of Formulas
Conclusion
Email: nambiar@mediaone.net
Home Page: http://www.ece.rutgers.edu/~knambiar
Objective: This is an attempt to prove the incompleteness theorems of Godel, without using any meta language.