Can I read Recursive Functions and Turing Machines on EtoBox?
Recursive Functions and Turing Machines by sun.universe.lofty is a document available to read on EtoBox.
What is Recursive Functions and Turing Machines about?
The document outlines the structure and content of a course on Logic and Foundations, focusing on recursive functions and Turing machines. It includes definitions, theorems, and examples related to Boolean algebra, recursive functions, and general recursive functions, as well as notable contributions from mathematicians like Gödel and Kleene. The course is divided into parts covering equational systems, first-order theory, model theory, and incompleteness theorems.
- Author
- sun.universe.lofty
- Language
- EN