<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Foundations of Computer Science"^^ . "A machine equivalent to Turing machine, that is more intuitive in its working is defined. Three derivation rules are added to Elementary Arithmetic of Godel and his incompleteness theorems are proved without using any metalanguage. Two axioms are added to Zermelo-Fraenkel theory to derive the Continuum Hypothesis and to split the unit interval into infinitesimals.\n"^^ . "2001" . . . . . . . "Kannan"^^ . "Nambiar"^^ . "Kannan Nambiar"^^ . . . . . . "Foundations of Computer Science (PDF)"^^ . . . . . . . . . "foundations_computer_science.pdf"^^ . . . "Foundations of Computer Science (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1893 \n\nFoundations of Computer Science\n\n" . "text/html" . . . "Logic" . .