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"
Personal Collections 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"
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



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


  • 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)
  • Personal Collections (1)
  • Accessibility Info (none)


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


QR Code for this Page

Browse in Categories


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.