"undecidable" - related articles and key terms

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