Sentient Arithmetic and Godel's Theorems
Peer Review for material titled "Sentient Arithmetic and Godel's Theorems"
User Rating for material titled "Sentient Arithmetic and Godel's Theorems"
Member Comments for material titled "Sentient Arithmetic and Godel's Theorems"
Personal Collections for material titled "Sentient Arithmetic and Godel's Theorems"
Learning Exercises for material titled "Sentient Arithmetic and Godel's Theorems"
Accessibility Info for material titled "Sentient Arithmetic and Godel's Theorems"
Search all MERLOT
Click here to go to your profile
Select to go to your workspace
Click here to go to your Dashboard Report
Click here to go to your Content Builder
Click here to log out
Search Terms
Enter username
Enter password
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
cancel help

MERLOT II




        

Search > Material Results >

Sentient Arithmetic and Godel's Theorems

        

Sentient Arithmetic and Godel's Theorems

Logo for Sentient Arithmetic and Godel's Theorems
Godel has proved that there are formulas in Elementary Arithmetic, which will introduce contradictions, irrespective of whether we assume the formula itself or its negation. His proof is in metalanguage. Sentient Arithmetic (SA) adds three more derivation rules to EA and shows that the proof for incompleteness of SA can be given in SA itself without using any metalanguage.
Material Type: Reference Material
Technical Format: PDF
Date Added to MERLOT: June 25, 2001
Date Modified in MERLOT: April 14, 2010
Submitter: Kannan Nambiar

Details

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review
    Useful material in MERLOT
    avg: 3 rating
  • User Rating (not rated)
  • Comments (none)
  • Learning Exercises (none)
  • Personal Collections (none)
  • Accessibility Info (none)

About

Primary Audience: College General Ed, Graduate School, Professional
Mobile Compatibility: Not specified at this time
Technical Requirements: AcrobatReader4
Language: English
Cost Involved: no
Source Code Available: no
Accessiblity Information Available: no
Creative Commons: unsure

Connections





QR Code for this Page

Browse in Categories

Discussion

Discussion for Sentient Arithmetic and Godel's Theorems

Log in to participate in the discussions or Register if you are not already a MERLOT member.

Return to Top of Page