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.
You just viewed Foundations of Computer Science
. Please take a moment to rate this material.
Search by ISBN?
It looks like you have entered an ISBN number. Would you like to search using what you have
entered as an ISBN number?
Searching for Members?
You entered an email address. Would you like to search for members? Click Yes to continue. If no, materials will be displayed first. You can refine your search with the options on the left of the results page.