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

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 06/26/04 

Date: Sat, 26 Jun 2004 13:02:08 GMT

"Daryl McCullough" <daryl@atc-nycorp.com> wrote in message
news:cbisnt011qi@drn.newsguy.com...
> Peter Olcott says...
>
> >> Yes, if the question is
> >>
> >> Will Daryl McCullough answer "no" to this question?
> >>
> >> then Peter Olcott can answer "no" without contradiction.
> >You are not paying close enough attention.
>
> Enough to know that you really have no coherent point to make.
>
> >> >The way that you are saying it implies that someone else could
> >> >DIRECTLY provide the correct answer.
> >Not indirectly through another person.
>
> What are you talking about? If somebody asks "Will Daryl answer 'no'
> to this question?", and you answer "no", then you have directly
> answered the question.

I think that you already know what I am saying and are just playing
games. When I ask if the program Halts, I am not asking what other
people will say about your answer. I am only asking for your answer.
If I was playing the same game as you, then the Halting Problem
would be solvable. We just ask TM2 to ask TM1 whether or no the
program Halts. TM1 says no, TM2 toggles this to yes, and then
the Halting Problem is solved. We are not asking this question though.
We are asking can TM1 by itself correctly answer the Halting Problem.

Relevant Pages