- Finitary Set Theory
2009/07/01 by Laurence Kirby · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Finitary #Adjunction #Mathematics #Schema (genetic algorithms) #Algebra over a field #Primitive recursive function #Set (abstract data type) #Basis (linear algebra) #Operator (biology) #Discrete mathematics #Computer science #Pure mathematics #Programming language
- 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