undecidable

999	decidable
675	solvable
637	NP
615	PSPACE
577	polynomial
574	computable
558	Turing
557	satisfiability
555	solved
548	problem

previous:	undecidability
next:	undecimal
random:	Saguache

More distant neighbors

recursive Hilbert theorems deterministic theorem axioms enumerable solving isomorphism combinatorial Godel recursion recursively reducible Diophantine solve Boolean undecidability finite algebraic graphs conjecture ZFC computability nontrivial graph algorithm solves nondeterministic probabilistic calculus equations infinite algebra quadratic proofs mathematical EXPSPACE finitely

Back