630-computability-theory
Computability (recursion) theory: TERMSComputability (recursion) theory: TOPICSEffective ComputabilityChurch ThesisChurch-Turing ThesisComputability theoryComputabilityComputable functionEntscheidungsproblemHalting problemMachine that always haltsMcCarthy FormalismSuper-recursive algorithmRecursion theory
Was this helpful?