Sentient Arithmetic and Godelís Theorems

2/8/01


Click here to start


Table of Contents

Sentient Arithmetic and Godelís Theorems

Introduction

Some Facts

Derivation Rules

Incompleteness Theorems

Classification of Formulas

Conclusion

Author: K. K. Nambiar

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.