Related terms:
alan turing
automaton
axiomatic
axioms
computable function
computation
countable
deterministic
emil post
entscheidungsproblem
finite set
frege
halting problem
hilbert
hodges p
incompleteness theorem
integers
kleene
minsky
natural language
penrose
proof theory
recursion theory
rosser
turing machine
undefined
universal machine
universal turing machine
unsolvable
wolfram
Wikipedia sources:
Abelian group
Algorithm
Context-free grammar
Halting problem
Impossible object
Mathematical logic
Mathematical proof
Theory of everything
Turing machine
Type system
Universal Turing machine
Context for words:
undecidable
|
|