2018-01-25 Archiv

Here’s the trick that I’ll use — and it’s simple to do.
I’ll define a procedure, which I will call Q,
that will use P’s predictions of halting success
to stir up a terrible logical mess.

Geoffrey K. Pullum: SCOOPING THE LOOP SNOOPER