Analog vs Digital (was Re: Is Scheme/Lisp somehow more "fundamental" than other languages?)

[Tracy R Reed]

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.