Computability Glossary
Browse 2 computability terms defined in plain English, from the cultural dictionary of computing.
2 Computability Terms
- Church-Turing Thesis
- The hypothesis that any function computable by an effective procedure can be computed by a Turing machine. Equivalently, lambda calculus, Turing machines, and...
- Decidability
- A decision problem is decidable if there exists an algorithm that always halts and correctly answers yes or no for every input. Undecidable problems, like the...
Related Topics
- Decision Problems (1 terms in common)
- Turing Machines (1 terms in common)
- Logic (1 terms in common)
- Foundations (1 terms in common)