Re: Halting Problem Solved! Film at 11! (Was Re: definitions)

Thread View: comp.lang.misc

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by David Gudeman Mon, 06 May 1991 19:07

#3770

Author: David Gudeman
Date: Mon, 06 May 1991 19:07

15 lines
936 bytes

In article  <truesdel.673495042@sun418> David A. Truesdell writes:

]...the question "will this
]program reach the halting state" is inherently undecidable, even given
]infinite time.

I suppose you mean "an arbitrarily large time", not "inifinite time".
The halting problem _can_ be solved given infinite time.  You run the
TM in question; if it halts within an infinite time the the answer is
"yes" and if it doesn't halt within an infinite time the answer is
"no".
--
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads