Re: Refutation of the DisProof of the Halting Problem

From: Richard Herring (junk_at_[127.0.0.1)
Date: 07/27/04 

Date: Tue, 27 Jul 2004 13:46:57 +0100

In message <HtZMc.136094$OB3.5641@bgtnsc05-news.ops.worldnet.att.net>,
Peter Olcott <olcott@worldnet.att.net> writes
>
>"Jonathan Turkanis" <technews@kangaroologic.com> wrote in message
>news:2mid25Fmh7uvU1@uni-berlin.de...
>>
>> "Peter Olcott" <olcott@worldnet.att.net> wrote in message
>> news:SXSMc.134873$OB3.24749@bgtnsc05-news.ops.worldnet.att.net...
>> > The Halting Problem can not be solved within the degree of
>> > expressability of a TM. My solution only worked because of
>> > its more limited degree of expressability.
>> >
>> > There is no such thing as a void function in a TM, thus there is
>> > no way to make constructing the counter-example program
>> > impossible for a TM.
>>
>> I think I already asked you to stop posting this stuff, but you appear
>> to have a halting problem.
>>
>
>Well it looks like I am wrong that I am wrong again.
>This time I won't bother with anything less than a full
>refutation of the original proof. I do have a basis for
>disproving the original proof.
>
>
Do you know James Harris? 

-- 
Richard Herring

Relevant Pages

  • Re: Refutation of the DisProof of the Halting Problem
    ... Peter Olcott writes ... >> I think I already asked you to stop posting this stuff, ... >> to have a halting problem. ... >refutation of the original proof. ...
    (comp.lang.cpp)
  • Re: Refutation of the DisProof of the Halting Problem
    ... Peter Olcott writes ... >> I think I already asked you to stop posting this stuff, ... >> to have a halting problem. ... >refutation of the original proof. ...
    (comp.theory)
  • Re: Attempt to Refute the Halting Problems Refutation
    ... Halting problem wouldn't work for. ... and the original proof doesn't apply to ... is no more powerful than the original model in which the halt analyzer ... So there you have it -- the evolving world of Peter Olcott. ...
    (comp.theory)
  • Re: Attempt to Refute the Halting Problems Refutation
    ... Halting problem wouldn't work for. ... and the original proof doesn't apply to ... is no more powerful than the original model in which the halt analyzer ... So there you have it -- the evolving world of Peter Olcott. ...
    (sci.logic)
  • Re: Solution to the halting Problem?
    ... Peter Olcott wrote: ... >> If you are not able to do this, you haven't solved the halting problem. ... You did this by modifying the original proof. ... Karl Heinz Buchegger ...
    (comp.lang.cpp)