Quotes from Geoffrey K. Pullum

No program can say what another will do. Now, I won't just assert that, I'll prove it to you. I will prove that although you might work till you drop, You cannot tell if computation will stop.