computable

(redirected from Computability theory)
Also found in: Dictionary, Legal, Encyclopedia, Wikipedia.
  • adj

Synonyms for computable

may be computed or estimated

Synonyms

Related Words

References in periodicals archive ?
Basics of Computability theory and Complexity theory will be visited.
They continue to present material in a two-semester format, the first on computability theory (enumerability, diagonalization, Turing compatibility, uncomputability, abacus computability, recursive functions, recursive sets and relations, equivalent definitions of computability) and basic metalogic (syntax, semantics, the undecidability of first-order logic, models and their existence, proofs and completeness, arithmetization, representability of recursive functions, indefinability, undecidability, incompleteness and the unprobability of inconsistency).
Reducing abstraction when learning computability theory, Journal of Computers in Mathematics and Science Teaching (JCMST), 22(2), 95-117.
Chaitin [6] developed some insights into the nature of complex self-referential information systems: combining Shannon's information theory and Turing's computability theory resulted in the development of Algorithmic Information Theory (AIT).
Reducing abstraction level when learning computability theory concepts.