Re: Halting Problem for Humans


"Daryl McCullough" <stevendaryl3016@xxxxxxxxx> wrote in message
news:ehgc1501dr8@xxxxxxxxxxxxxxxxxx
Peter Olcott says...

"Daryl McCullough" <stevendaryl3016@xxxxxxxxx> wrote

This game is similar to the following one-player game: Someone
asks Daryl to answer the following question with "yes" or "no"
(and to make no other responses)

Will the next answer you give be "no"?

In this case, Daryl cannot correctly answer the question, but
it is possible for him to *know* the answer (and keep it to
himself). He can refuse to answer at all, in which case, he
can know that the correct answer is "no".


This is exactly and precisely one aspect of the line-of-reasoning that I have
provided showing that there are some issues with calling at least some of the
variations of the Halting Problem un-decidable. Daryl can decide the answer,
yet, Daryl can not provide the answer.

But the halting problem can be phrase in a way to eliminate
this possibility.

--
Daryl McCullough
Ithaca, NY


Give it a shot, try and show this.


.

Relevant Pages

  • Re: Yet another Attempt at Disproving the Halting Problem
    ... >| Peter Olcott says... ... the halting problem or his own manifold errors. ... > clue what Unmeans, and particularly the significance of the 'n' ... Why do you think Daryl doesn't know that? ...
    (comp.theory)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... >| Peter Olcott says... ... the halting problem or his own manifold errors. ... > clue what Unmeans, and particularly the significance of the 'n' ... Why do you think Daryl doesn't know that? ...
    (sci.logic)
  • Re: Halting Problem for Humans
    ... Peter Olcott says... ... (and to make no other responses) ... Daryl can decide the answer, ... But the halting problem can be phrase in a way to eliminate ...
    (sci.logic)
  • Re: Halting Problem for Humans
    ... (and to make no other responses) ... variations of the Halting Problem un-decidable. ... Daryl can decide the answer, ... Daryl McCullough ...
    (sci.logic)
Quantcast