On Thu, Jan 12, 2006 at 12:13:06PM -0500, Daniel Berlin wrote: > I hate to bring this up, because it's a "half-troll", but the halting > problem is *not* undecidable on the machines we use everyday, because they > have finite memory.
Fine. Now you just have to come up with a solution before the heat death of the universe.
