He says there is no known algorithm that can be applied to any program, at any point, and tell whether or not that program continues ad infinitum.

FORBES: Google Isn't Just Reading Your Links, It's Now Running Your Code