Related Tags
undecidability × 34computability × 12
decidability × 11
reference-request × 5
turing-machines × 5
halting-problem × 4
cc.complexity-theory × 3
fl.formal-languages × 3
automata-theory × 3
context-free × 3
lo.logic × 2
nt.number-theory × 2
polynomial-time × 2
proofs × 2
post-correspondence × 2
graph-theory × 1
np-hardness × 1
co.combinatorics × 1
approximation-algorithms × 1
pl.programming-languages × 1
type-theory × 1
approximation-hardness × 1
reductions × 1
big-list × 1
randomness × 1