Tracy R Reed wrote:
The human brain can analyze a program and determine whether or not it will ever halt.
I take this part back as it turns out to be untrue. A human cannot necessary tell if a program halts or not. It can sometimes tell but not always. The halting problem specifies that to be decidable a general algorithm which always works must exist and humans can not always determine if a program will halt.
-- Tracy R Reed Read my blog at http://ultraviolet.org Key fingerprint = D4A8 4860 535C ABF8 BA97 25A6 F4F2 1829 9615 02AD Non-GPG signed mail gets read only if I can find it among the spam. -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
