Related terms:
lba
utm
halts
kleene
minsky
rosser
modulo
hodges p
emil post
countable
axiomatic
undefined
automaton
unsolvable
computable
alan turing
proof theory
homomorphism
turing machine
deterministic
halting problem
recursion theory
computable function
natural language
compactness theorem
entscheidungsproblem
computability theory
mathematical logic
incompleteness theorem
universal turing machine
Wikipedia sources:
Algorithm
Halting problem
Turing machine
Type system
Abelian group
Wikipedia:Reference desk/Mathematics
Context-free grammar
Mathematical proof
Model theory
Universal Turing machine
Mathematical logic
Theory of everything
Context for words:
undecidable
|
|