Bob La Quey wrote:
So I would say that all programs running on real machines
will halt :)
Sure. But you stopped at the summary, rather than the "Formal Statement":
"""
The halting problem is a decision problem about properties of computer
programs on a fixed Turing-complete model of computation.
"""
No real computer is Turing-complete, and Turing-complete models of
computation are uninteresting as computers in the real world (having no
I/O, for one).
Plus, there's no formal reason to believe biological systems are
necessarily limited in time or space. Finite, sure, but not necessarily
bounded. Many fish, for example, will live and grow until you kill them.
This stuff is tricky. You really need to know what you're doing to make
use of it. :-)
--
Darren New / San Diego, CA, USA (PST)
It's not feature creep if you put it
at the end and adjust the release date.
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
