Issue No.05 - May (1970 vol.19)
J. Nievergelt , Dept. of Computer Science University of Illinois
The proof of the unsolvability of the halting problem can be reformulated to show that, in general, the best one can do to estimate the run time of programs is to execute them.
Halting problem, time requirement.
J. Nievergelt, "On the Time Required for Timing?The Halting Problem Rephrased", IEEE Transactions on Computers, vol.19, no. 5, pp. 458-459, May 1970, doi:10.1109/T-C.1970.222947