Related Tags
computability × 367turing-machines × 82
cc.complexity-theory × 62
reference-request × 53
lo.logic × 49
pl.programming-languages × 32
automata-theory × 26
fl.formal-languages × 22
decidability × 20
universal-computation × 17
lambda-calculus × 16
halting-problem × 16
machine-models × 15
complexity-classes × 14
randomness × 13
soft-question × 11
kolmogorov-complexity × 10
computing-over-reals × 10
undecidability × 10
cellular-automata × 10
ds.algorithms × 9
computable-analysis × 9
type-theory × 8
oracles × 8
time-complexity × 7