1. Home
  2. Material Detail: Foundations of Computer Science

Material Detail

Foundations of Computer Science

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.
Disciplines:
Go to Material 
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

More about this material

Material Type:
Tutorial
Date Added to MERLOT:
June 13, 2001
Date Modified in MERLOT:
November 11, 2021
Author:
 
Submitter:
Kannan Nambiar
Primary Audience:
College General Ed, Graduate School, Professional
Technical Format:
PDF
Mobile Compatibility:
Not specified at this time
Technical Requirements:
AcrobatReader4
Language:
English
Cost Involved:
No
Source Code Available:
No
Creative Commons:
No

Browse...

Disciplines with similar materials as Foundations of Computer Science
People who viewed this also viewed
Other materials like Foundations of Computer Science

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.
Bob Tucker
Bob Tucker (Student)
23 years ago
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.