|
Related terms:
kleene
rosser
minsky
hodges p
emil post
unsolvable
alan turing
recursive
undecidable
algorithm
halting problem
turing machine
Wikipedia sources: Algorithm Turing machine Halting problem Context for words: entscheidungsproblem |
|