Re: Can you find anything wrong with this solution to the Halting Problem?

From: |-|erc (gotch_at_beauty.com)
Date: 07/13/04 

Date: Tue, 13 Jul 2004 14:12:38 GMT

"Scott Dorsey" <kludge@panix.com> wrote in
> |-|erc <gotch@beauty.com> wrote:
> >
> >The issue is does the halting proof represent this question:
> >
> > Does there exist a single program that can input any general function to determine
> > if it halts?
> >
> >Despite its popularity in comp.theory and sci.math, "I'm right" isn't the answer.
>
> No, it doesn't. The question you ask has an easy "yes" answer, if you are
> given infinite time. You forget to specify that it requires finite time.
> You get -10 points for ill-definition. Do not pass go. Do not collect $200.
> Do not crosspost this to talk.bizarre.
> --scott

I've been corrected by a bizzaro! Fair point if you assume the complexity on input
must be finitely bound, though I could call a technicality on 'determine' meaning
finite determinism.

Herc

Relevant Pages