Peer Review for material titled "Foundations of Computer Science"
eTextbook Reviews 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
Search all MERLOT
Select to go to your profile
Select to go to your workspace
Select to go to your Dashboard Report
Select to go to your Content Builder
Select 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


Advanced Search


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.
Go to material
Material Type: Tutorial
Technical Format: PDF
Date Added to MERLOT: June 13, 2001
Date Modified in MERLOT: April 02, 2015
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)
  • 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...


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
Accessibility Information Available: no
Creative Commons: unsure


QR Code for this Page

Users who viewed this material also viewed...


Discussion for Foundations of Computer Science

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

Return to Top of Page
Avatar for Bob Tucker
14 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.