Related Tags
halting-problem × 35computability × 14
turing-machines × 12
lo.logic × 4
proofs × 3
proof-theory × 3
undecidability × 3
cc.complexity-theory × 2
nt.number-theory × 2
decidability × 2
reference-request × 1
complexity-classes × 1
approximation-algorithms × 1
fl.formal-languages × 1
automata-theory × 1
circuit-complexity × 1
time-complexity × 1
type-theory × 1
reductions × 1
np × 1
dc.distributed-comp × 1
parameterized-complexity × 1
polynomial-time × 1
oracles × 1
open-problem × 1
