computability theory (Q818930)

From Wikidata
Jump to: navigation, search
branch of mathematical logic, computer science, and the theory of computation studying computable functions and Turing degrees
  • recursion theory
[edit]
Language Label Description Also known as
English
computability theory
branch of mathematical logic, computer science, and the theory of computation studying computable functions and Turing degrees
  • recursion theory

Statements