- Defining the Turing Jump
1999/01/01 by Richard A. Shore, Theodore A. Slaman · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #semigroups and automata theory #Cellular Automata and Applications #Turing machine #Mathematics #Time hierarchy theorem #Equivalence relation #Transitive relation #Computability theory #Discrete mathematics #Turing #Halting problem #Computable function #Probabilistic Turing machine #Transfinite number #Combinatorics #Universal Turing machine #Computer science #Computation #Algorithm
- Computability and Recursion
1996/09/01 by Robert I. Soare · 3 citations
Computer Science · Mathematics · #Algorithm #Cellular Automata and Applications #Computability #Computability theory #Computability, Logic, AI Algorithms #Computable function #Computation #Computer science #Decidability #Discrete mathematics #Function (biology) #Mathematics #Programming language #Recursion (computer science) #Theoretical computer science #Turing #Turing machine #semigroups and automata theory
- Recursion theory on the reals and continuous-time computation
1996/08/01 by Cristopher Moore · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algebraic number #Algorithm #Arithmetic function #Cellular Automata and Applications #Class (philosophy) #Complexity class #Computability theory #Computability, Logic, AI Algorithms #Computable function #Computation #Computer science #Discrete mathematics #Hierarchy #Mathematics #Mutual recursion #Number theory #Numerical Methods and Algorithms #Operator (biology) #Primitive recursive function #Pure mathematics #Recursion (computer science) #Recursive functions #Theory of computation #Time complexity #μ operator
- Computability
1980/06/19 by Nigel J. Cutland · 2 citations
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #semigroups and automata theory #Advanced Topology and Set Theory #Computability theory #Computability #Computable function #Recursion (computer science) #Computer science #Simple (philosophy) #Function (biology) #Relevance (law) #Primitive recursive function #Computable analysis #Theory of computation #Computable number #Subject (documents) #Calculus (dental) #Theoretical computer science #Mathematics #Algorithm #Epistemology