Foundations of Computer Science
Peer Review for material titled "Foundations of Computer Science"
User Rating for material titled "Foundations of Computer Science"
Member Comments for material titled "Foundations of Computer Science"
Bookmark Collections for material titled "Foundations of Computer Science"
Course ePortfolios for material titled "Foundations of Computer Science"
Learning Exercises for material titled "Foundations of Computer Science"
Accessibility Info for material titled "Foundations of Computer Science"
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 >

Foundations of Computer Science

        

Foundations of Computer Science

Logo for Foundations of Computer Science
NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three more derivation rules to Elementary Arithmetic of Godel and calling it Sentient Arithmetic (SA), the incompleteness theorems are proved within SA, without using any metalanguage. Intuitive Set Theory (IST), a theory in which we do not have to deal with cardinals higher than aleph-null, is described. In IST, there is no Skolem Paradox and there are no nonLebesgue measurable sets.
Material Type: Tutorial
Technical Format: PDF
Date Added to MERLOT: June 13, 2001
Date Modified in MERLOT: May 23, 2008
Submitter: Kannan Nambiar

Quality

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review (not reviewed)
  • User review 4 average rating
  • User Rating: 4 user rating
  • Discussion (1 Comment)
  • Learning Exercises (none)
  • Bookmark Collections (1)
  • 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 Foundations of Computer Science

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

Return to Top of Page
Avatar for Bob Tucker
12 years ago

Bob Tucker (Student)

I reviewed this information as part of an assignment in my Foundations of
Computer Science class. I have only reviewed this information for its relevance
to the information I am currently learning in class. I found this article to
be very informative and well written. While I did have a difficult time
following some of the presentation, I believe that to be due to my lack of
knowledge and not ineffectiveness of the article.