Proving problems are not solvable in a model of computation

Prev: equivalence-of-models Next: turing-machines

Prev: equivalence-of-models Next: turing-machines