
A Turing machine running some arbitrary program P with finite input I will stop whenever ESR damn well tells it to.
Things you might not know about Eric S. Raymond

A Turing machine running some arbitrary program P with finite input I will stop whenever ESR damn well tells it to.