undecidability

999	undecidable
518	decidable
458	Entscheidungsproblem
449	satisfiability
435	problem
431	solvable
431	solved
423	Godel
418	Turing
414	NP

previous:	undecaprenyl
next:	undecidable
random:	Haraldsen

More distant neighbors

Presburger incompleteness solving unsolvable Tarski solves combinatorial PSPACE Halting unsolvability computability solve deterministic theorems theorem recursion recursive computable Hilbert theoretic algorithm calculus probabilistic algebraic nondeterministic axiomatization Boolean conjectures Yannakakis polynomial axioms paradox conjecture Peano mathematical satisfiable recursively logics

Back