Related Tags
halting-problem × 40computability × 16
turing-machines × 13
decidability × 5
lo.logic × 4
undecidability × 4
proofs × 3
proof-theory × 3
cc.complexity-theory × 2
nt.number-theory × 2
oracles × 2
universal-turing-machines × 2
reference-request × 1
complexity-classes × 1
approximation-algorithms × 1
fl.formal-languages × 1
automata-theory × 1
type-theory × 1
circuit-complexity × 1
time-complexity × 1
randomized-algorithms × 1
reductions × 1
np × 1
dc.distributed-comp × 1
derandomization × 1