unsolvability

999	satisfiability
481	Znam
433	undecidable
430	problem
425	Matiyasevich
419	computability
410	decidable
397	Entscheidungsproblem
380	Halting
379	enumerable

previous:	unskilled
next:	unsolvable
random:	Shimanto

More distant neighbors

undecidability residuosity unsolvable Diophantine unknotting solvable Turing solving Zarankiewicz 3SAT SUBSET LQQG NP solved intractability funarg EXPSPACE LQQR solves Godel Undecidable PTAS PSPACE pseudoperfect computable Kneser solve combinatorial theorems Liouville Kobon Tarski Boolean knapsack recursion reducibility brachistochrone

Back