2312

by Kim Stanley Robinson

Turing machines can’t always tell when the result has been obtained. No oracle machine is capable of solving its own halting problem