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

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 07/10/04 

Date: Sat, 10 Jul 2004 05:21:46 GMT

"Kenneth Doyle" <nobody@notmail.com> wrote in message
news:Xns952297473AFFBnobodynotmailcom@61.9.191.5...
> "Peter Olcott" <olcott@att.net> wrote in
> news:S0KHc.224565$Gx4.125452@bgtnsc04-news.ops.worldnet.att.net:
>
> > All that is required is that the meaning of the reply be
> > kept from the counter-example program. The WillHalt()
> > Function arranges a coded reply to the human user.
> >
> > It could be as simple as one and zero. The meaning of true
> > would be assigned to either one or zero, the meaning of
> > false would be assigned to the other. Before the program
> > takes the input of the counter-example program it outputs
> > either a one or a zero to the screen. Whichever (1 or 0) is
> > output, holds the meaning of true. Whichever one it outputs
> > is generated by a hardware noise based random number
> > generator. Now the counter-example program has no way
> > to thwart the WillHalt() function, and the human user can
> > understand the result.
> >
>
> Wow! This just keeps getting more and more precise, doesn't it?

Can you find a loophole in the reasoning?
I am not sure that there isn't one. It sure seems to
me that this negates Turing's conclusions about the
detection of Halting. There could possibly be a loophole
that I overlooked, I have only had this in my mind for
a few days.

Relevant Pages

  • Re: test of word wrap
    ... > spoke thus, in a code the meaning of which is known only to the ...
    (sci.logic)
  • Re: MIME-ifying sysctl types
    ... The format field is intended for the interpretation of userland programs ... like sysctl. ... the human user is barely able to find ... meaning in the fields -- so this doesn't really help much but changing ...
    (freebsd-hackers)
  • Re: Can you find anything wrong with this solution to the Halting Problem?
    ... > can always modify the original function which works so that it outputs ... > an answer "encoded so that only the human user will know the meaning of ...
    (sci.logic)
  • Re: Alan Turings Halting Problem is Incorrect (FINAL PART)
    ... >>All that is required is that the meaning of the reply be ... >>Function arranges a coded reply to the human user. ... > screens.) ... It seems that I did need to state that the counter-example program ...
    (sci.logic)
  • Re: Pi = 3
    ... Or add a punctuation mark like ",", but meaning "significance ... Or an explicit "how many significant figures" notation. ... what I mean by the overloading of zero as meaning "zero" as well as meaning ...
    (rec.arts.sf.written)