Re: Alan Turing's Halting Problem is Incorrect (PART-THREE)

From: Acid Pooh (poohonlsd_at_yahoo.com)
Date: 06/25/04 

Date: 25 Jun 2004 14:46:46 -0700

"Peter Olcott" <olcott@worldnet.att.net> wrote in message news:<XjUCc.133793$Gx4.113516@bgtnsc04-news.ops.worldnet.att.net>...
> > > The point is that NO ONE and NOTHING can possibly
> > > correctly answer this question from the Halting Problem.
> >
> > This wasn't a part of Turing's proof. How exactly do you know that no
> > one or nothing can answer the question? It's not like the question is
> > anything like "What time is it in dollars and cents?" Anyway, I
> > thought you said that an omnicient supercomputer could answer the
> > question...
> >
> > 'cid 'ooh
>
> You are free to disprove this claim by counter-example.
> You provide the answer.

You made the claim! Provide evidence for it! Just because I'm not
going to bother providing counter-examples for any claim you make
doesn't mean that it is right.

'cid 'ooh

Relevant Pages

  • Re: Alan Turings Halting Problem is Incorrect (PART-THREE)
    ... Provide evidence for it! ... > going to bother providing counter-examples for any claim you make ... The absence of a counter-example is considered provisional ...
    (sci.logic)
  • Re: quite an achievement
    ... Irrelevant to the Hammond case. ... Still a counter-example to your claim. ... but then there is less evidence either way. ...
    (uk.sport.cricket)
  • Re: The condition variable test
    ... You keep saying this again and again, but fail to provide any evidence. ... is your own understanding. ... removing condvar will lead to program misbehavior. ... be rather easy for you to come-up with such a counter-example yourself. ...
    (comp.programming.threads)
  • Re: Disproof of the Halting Problems Conclusion
    ... > All that I am required to show to disprove the original proof is at least ... > one way to counter their original counter-example. ... to the *result* that the there is no function WillHalt() with the ...
    (sci.logic)
  • Re: Alan Turings Halting Problem is Incorrect (PART-THREE)
    ... Provide evidence for it! ... > The absence of a counter-example is considered provisional ... until the counter-example arises. ... Maybe in the social sciences. ...
    (sci.logic)