Re: Sophism: Halting problem is decidable - relaunched
- From: Marshall <marshall.spight@xxxxxxxxx>
- Date: Mon, 15 Oct 2007 14:38:42 -0000
On Oct 14, 10:46 pm, Proginoskes <CCHeck...@xxxxxxxxx> wrote:
How do you know one of the two outcomes will be produced? If you
don't, then the "algorithm" will run forever, and hence not be an
algorithm.
That is interesting: I've not seen before the idea that halting
is part of the definition of "algorithm" but a quick consult
with
http://www.google.com/search?q=define%3Aalgorithm
shows several definitions that include this.
That seems odd to me because it means we can't decide
in general if a program is an algorithm or not.
Marshall
.
- References:
- Sophism: Halting problem is decidable - relaunched
- From: Victor Porton
- Re: Sophism: Halting problem is decidable - relaunched
- From: Proginoskes
- Sophism: Halting problem is decidable - relaunched
- Prev by Date: probability theories as structures on HomSets in a Category
- Next by Date: Re: Sophism: Halting problem is decidable - relaunched
- Previous by thread: Re: Sophism: Halting problem is decidable - relaunched
- Next by thread: Re: Sophism: Halting problem is decidable - relaunched
- Index(es):
Relevant Pages
|