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"
Bookmark Collections for material titled "Sentient Arithmetic and Godel's Theorems"
Course ePortfolios 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"
Please enter a Bookmark title
Please limit Bookmark title to 65 characters
Please enter a description
Please limit Bookmark title to 4000 characters
A Bookmark with this title already existed.
Please limit a note about this material to 2048 characters

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

Quality

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review (not reviewed)
  • User Rating (not rated)
  • Comments (none)
  • Learning Exercises (none)
  • Bookmark Collections (none)
  • Course ePortfolios (none)
  • Accessibility Info (none)

  • Rate this material
  • Create a learning exercise
  • Add accessibility information
  • Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
    Name the Bookmark Collection to represent the materials you will add
    Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
    Edit the information about the material in this {0}
    Submitting Bookmarks...

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