I think Seth is confused. This doesn't sound like a statement of the halting problem. What is says is just not true. There are shortcuts for lots of algorithms what would allow you to predict the results of one algorithm by out-computing it with another.
posted by max hodges
December 15, 2010