Re: Halting Problem proofs appear to be bogus!

From	Peter <peterxpercival@hotmail.com>
Newsgroups	comp.theory
Subject	Re: Halting Problem proofs appear to be bogus!
Date	2021-07-17 11:48 +0100
Organization	Aioe.org NNTP Server
Message-ID	<scuch2$10q7$1@gioia.aioe.org> (permalink)
References	(2 earlier) <20210716153637.000036c0@reddwarf.jmc> <scsse2$sf$1@gioia.aioe.org> <UpGdnbNK8OqVZWz9nZ2dnUU7-d_NnZ2d@giganews.com> <scstg5$dol$1@gioia.aioe.org> <uc2dndLOD-N0Z2z9nZ2dnUU7-VOdnZ2d@giganews.com>

Show all headers | View raw

olcott wrote:
> On 7/16/2021 4:25 PM, Peter wrote:
>> olcott wrote:
>>> On 7/16/2021 4:07 PM, Peter wrote:
>>>> Mr Flibble wrote:
>>>>> On Fri, 16 Jul 2021 15:27:53 +0100
>>>>> Peter <peterxpercival@hotmail.com> wrote:
>>>>>
>>>>>> Mr Flibble wrote:
>>>>>>> Hi!
>>>>>>>
>>>>>>> All extant halting problem proofs appear to be predicated on a
>>>>>>
>>>>>> Since you haven't read them all, you are in no position to make such
>>>>>> a claim.
>>>>>
>>>>> Whether or not I am in a position to make such a claim has no bearing
>>>>> on whether the claim is true or false.  Feel free to refute my claim,
>>>>> dear.
>>>>>
>>>>> /Flibble
>>>>>
>>>>>
>>>> Ahem... the onus is on you to prove your--utterly implausible--claim.
>>>>
>>>
>>> He has already proved that any requirement for a program/TM to return a 
>>
>> The claim that I was referring to is that he is in a position to 
>> comment on _all_ halting problem proofs.
>>
> 
> Apparently all the other proofs are mutually reducible to/form the 
> refuted ones.

Why is it apparent?  To whom is it apparent?
> 
>>> halt status value to an input to does the opposite of whatever the 
>>> halt decider returns is bogus. The meaning of these words proves that 
>>> such a case has the exactly same bogus pattern as the liar paradox.
>>>
>>> Generically this can be understood as the scientific principle that 
>>> the dependent variable of a scientific investigation is not allowed 
>>> to interfere with the independent variable.
>>>
>>> When P interferes with H this scientific principle is violated. 
>>> Flibble spotted this error and thus has a correct basis for his claim.
>>>
>>> On Saturday, July 10, 2021 at 12:00:56 PM UTC-5, Mr Flibble wrote:
>>>   > I agree with Olcott that a halt decider can NOT be part of that 
>>> which
>>>   > is being decided (see [Strachey 1965]) which, if Olcott is correct,
>>>   > falsifies a collection of proofs (which I don't have the time to
>>>   > examine) which rely on that mistake.
>>>   >
>>>   > /Flibble
>>>
>>
>>
> 
> 


-- 
The world will little note, nor long remember what we say here
Abraham Lincoln at Gettysburg

Thread

Halting Problem proofs appear to be bogus! Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 14:24 +0100
  Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 14:34 +0100
    Re: Halting Problem proofs appear to be bogus! Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 14:39 +0100
      Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 09:36 -0500
        Re: Halting Problem proofs appear to be bogus! Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 15:39 +0100
          Re: Halting Problem proofs appear to be bogus! wij <wyniijj@gmail.com> - 2021-07-16 08:38 -0700
            Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 11:04 -0500
              Re: Halting Problem proofs appear to be bogus! wij <wyniijj@gmail.com> - 2021-07-16 09:25 -0700
                Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 12:03 -0500
                Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 19:50 +0100
        Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 15:46 +0100
      Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 15:40 +0100
        Re: Halting Problem proofs appear to be bogus! Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 15:42 +0100
          Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-17 01:06 +0100
            Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-17 10:52 -0500
      Re: Halting Problem proofs appear to be bogus! Andy Walker <anw@cuboid.co.uk> - 2021-07-16 16:12 +0100
        Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 10:52 -0500
          Re: Halting Problem proofs appear to be bogus! wij <wyniijj@gmail.com> - 2021-07-16 09:11 -0700
            Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 11:15 -0500
    Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 09:13 -0500
      Re: Halting Problem proofs appear to be bogus! wij <wyniijj@gmail.com> - 2021-07-16 08:32 -0700
      Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-17 01:03 +0100
        Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-17 10:46 -0500
          Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-18 02:32 +0100
            Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-19 10:10 -0500
              Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-20 01:35 +0100
                Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-20 09:24 -0500
                Re: Halting Problem proofs appear to be bogus! Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-21 01:28 +0100
              Re: Halting Problem proofs appear to be bogus! Richard Damon <Richard@Damon-Family.org> - 2021-07-19 20:48 -0700
  Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-16 15:27 +0100
    Re: Halting Problem proofs appear to be bogus! Mr Flibble <flibble@reddwarf.jmc> - 2021-07-16 15:36 +0100
      Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 10:02 -0500
        Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-16 22:09 +0100
      Re: Halting Problem proofs appear to be bogus! wij <wyniijj@gmail.com> - 2021-07-16 08:46 -0700
      Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-16 22:07 +0100
        Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 16:20 -0500
          Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-16 22:25 +0100
            Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 16:32 -0500
              Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-17 11:48 +0100
    Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 09:44 -0500
      Re: Halting Problem proofs appear to be bogus! Peter <peterxpercival@hotmail.com> - 2021-07-16 22:10 +0100
  Re: Halting Problem proofs appear to be bogus! olcott <NoOne@NoWhere.com> - 2021-07-16 09:32 -0500

csiph-web