Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Human beings were created by water to transport it uphill.

devel / comp.theory / Re: refuting halting problem proofs

SubjectAuthor
* refuting halting problem proofsMr Flibble
`* refuting halting problem proofsolcott
 `* refuting halting problem proofsMr Flibble
  `* refuting halting problem proofsolcott
   `* refuting halting problem proofsMr Flibble
    `* refuting halting problem proofsolcott
     `- refuting halting problem proofsMr Flibble

1
refuting halting problem proofs

<20220907191726.00000f88@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39322&group=comp.theory#39322

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx09.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: refuting halting problem proofs
Message-ID: <20220907191726.00000f88@reddwarf.jmc.corp>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 5
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Wed, 07 Sep 2022 18:17:29 UTC
Date: Wed, 7 Sep 2022 19:17:26 +0100
X-Received-Bytes: 715
 by: Mr Flibble - Wed, 7 Sep 2022 18:17 UTC

Only Flibble has refuted halting problem proofs with his signaling halt
decider; Olcott hasn't as his simulating halt decider doesn't work.

/Flibble

Re: refuting halting problem proofs

<tfaodf$97u2$3@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39324&group=comp.theory#39324

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Date: Wed, 7 Sep 2022 13:37:35 -0500
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <tfaodf$97u2$3@dont-email.me>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 7 Sep 2022 18:37:36 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="df9ab7b381ccc4938b526ae54d3c906c";
logging-data="303042"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+xTU6IJZgizRGWZtRGbxrE"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.2.1
Cancel-Lock: sha1:qNOlAeWEWEByAcjn+ziEtFpc7ys=
Content-Language: en-US
In-Reply-To: <20220907191726.00000f88@reddwarf.jmc.corp>
 by: olcott - Wed, 7 Sep 2022 18:37 UTC

On 9/7/2022 1:17 PM, Mr Flibble wrote:
> Only Flibble has refuted halting problem proofs with his signaling halt
> decider; Olcott hasn't as his simulating halt decider doesn't work.
>
> /Flibble
>

I have fully operational code:
*Here is the updated version* https://liarparadox.org/2022_09_07.zip

You do not even have any criteria for any halt status decision.
I think that most people here realize that you are (at least at this
point, on this subject) only a troll.

--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Re: refuting halting problem proofs

<20220907213052.00004977@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39326&group=comp.theory#39326

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx02.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Message-ID: <20220907213052.00004977@reddwarf.jmc.corp>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
<tfaodf$97u2$3@dont-email.me>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 33
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Wed, 07 Sep 2022 20:30:55 UTC
Date: Wed, 7 Sep 2022 21:30:52 +0100
X-Received-Bytes: 1643
 by: Mr Flibble - Wed, 7 Sep 2022 20:30 UTC

On Wed, 7 Sep 2022 13:37:35 -0500
olcott <polcott2@gmail.com> wrote:

> On 9/7/2022 1:17 PM, Mr Flibble wrote:
> > Only Flibble has refuted halting problem proofs with his signaling
> > halt decider; Olcott hasn't as his simulating halt decider doesn't
> > work.
> >
> > /Flibble
> >
>
> I have fully operational code:
> *Here is the updated version* https://liarparadox.org/2022_09_07.zip

No, your decider doesn't work as it decides the following doesn't halt:

void Px(void (*x)())
{ (void) H(x, x);
return;
}

>
> You do not even have any criteria for any halt status decision.
> I think that most people here realize that you are (at least at this
> point, on this subject) only a troll.
The design of the Flibble signaling halt decider is sufficiently
detailed to show that it will work (including giving a correct decision
on Px above).

/Flibble

Re: refuting halting problem proofs

<tfb01d$akv8$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39328&group=comp.theory#39328

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Date: Wed, 7 Sep 2022 15:47:41 -0500
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <tfb01d$akv8$1@dont-email.me>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
<tfaodf$97u2$3@dont-email.me> <20220907213052.00004977@reddwarf.jmc.corp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 7 Sep 2022 20:47:41 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="df9ab7b381ccc4938b526ae54d3c906c";
logging-data="349160"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19fWnAEBHWhSHiRRHzjvTpN"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.2.1
Cancel-Lock: sha1:Tlk9mjb0HBgqvC3dFzD4iiNFBkg=
Content-Language: en-US
In-Reply-To: <20220907213052.00004977@reddwarf.jmc.corp>
 by: olcott - Wed, 7 Sep 2022 20:47 UTC

On 9/7/2022 3:30 PM, Mr Flibble wrote:
> On Wed, 7 Sep 2022 13:37:35 -0500
> olcott <polcott2@gmail.com> wrote:
>
>> On 9/7/2022 1:17 PM, Mr Flibble wrote:
>>> Only Flibble has refuted halting problem proofs with his signaling
>>> halt decider; Olcott hasn't as his simulating halt decider doesn't
>>> work.
>>>
>>> /Flibble
>>>
>>
>> I have fully operational code:
>> *Here is the updated version* https://liarparadox.org/2022_09_07.zip
>
> No, your decider doesn't work as it decides the following doesn't halt:
>
> void Px(void (*x)())
> {
> (void) H(x, x);
> return;
> }
>
>>
>> You do not even have any criteria for any halt status decision.
>> I think that most people here realize that you are (at least at this
>> point, on this subject) only a troll.
>
> The design of the Flibble signaling halt decider is sufficiently
> detailed to show that it will work (including giving a correct decision
> on Px above).
>
> /Flibble
>

I know that you are not dumb enough to believe this because your
original insight into the halting problem was quite good. Even though
you did not get all of the details correctly the gist of your insight
was quite good, very much better than most.

--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Re: refuting halting problem proofs

<20220907231110.000060d7@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39329&group=comp.theory#39329

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx08.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Message-ID: <20220907231110.000060d7@reddwarf.jmc.corp>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
<tfaodf$97u2$3@dont-email.me>
<20220907213052.00004977@reddwarf.jmc.corp>
<tfb01d$akv8$1@dont-email.me>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 51
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Wed, 07 Sep 2022 22:11:13 UTC
Date: Wed, 7 Sep 2022 23:11:10 +0100
X-Received-Bytes: 2397
 by: Mr Flibble - Wed, 7 Sep 2022 22:11 UTC

On Wed, 7 Sep 2022 15:47:41 -0500
olcott <polcott2@gmail.com> wrote:

> On 9/7/2022 3:30 PM, Mr Flibble wrote:
> > On Wed, 7 Sep 2022 13:37:35 -0500
> > olcott <polcott2@gmail.com> wrote:
> >
> >> On 9/7/2022 1:17 PM, Mr Flibble wrote:
> >>> Only Flibble has refuted halting problem proofs with his signaling
> >>> halt decider; Olcott hasn't as his simulating halt decider doesn't
> >>> work.
> >>>
> >>> /Flibble
> >>>
> >>
> >> I have fully operational code:
> >> *Here is the updated version*
> >> https://liarparadox.org/2022_09_07.zip
> >
> > No, your decider doesn't work as it decides the following doesn't
> > halt:
> >
> > void Px(void (*x)())
> > {
> > (void) H(x, x);
> > return;
> > }
> >
> >>
> >> You do not even have any criteria for any halt status decision.
> >> I think that most people here realize that you are (at least at
> >> this point, on this subject) only a troll.
> >
> > The design of the Flibble signaling halt decider is sufficiently
> > detailed to show that it will work (including giving a correct
> > decision on Px above).
> >
> > /Flibble
> >
>
> I know that you are not dumb enough to believe this because your
> original insight into the halting problem was quite good. Even though
> you did not get all of the details correctly the gist of your insight
> was quite good, very much better than most.

Nope. The Flibble Signaling Halt Decider (tm) is correctly designed,
your decider is not.

/Flibble

Re: refuting halting problem proofs

<tfb766$baaq$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39330&group=comp.theory#39330

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Date: Wed, 7 Sep 2022 17:49:41 -0500
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <tfb766$baaq$1@dont-email.me>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
<tfaodf$97u2$3@dont-email.me> <20220907213052.00004977@reddwarf.jmc.corp>
<tfb01d$akv8$1@dont-email.me> <20220907231110.000060d7@reddwarf.jmc.corp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 7 Sep 2022 22:49:42 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="239377b0719fce518e92465445304fd2";
logging-data="371034"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/bnTgXQSw68sJ41Ufkhrre"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.2.1
Cancel-Lock: sha1:wOPMsLgjB/fvfEWApSSyfGYmjo4=
In-Reply-To: <20220907231110.000060d7@reddwarf.jmc.corp>
Content-Language: en-US
 by: olcott - Wed, 7 Sep 2022 22:49 UTC

On 9/7/2022 5:11 PM, Mr Flibble wrote:
> On Wed, 7 Sep 2022 15:47:41 -0500
> olcott <polcott2@gmail.com> wrote:
>
>> On 9/7/2022 3:30 PM, Mr Flibble wrote:
>>> On Wed, 7 Sep 2022 13:37:35 -0500
>>> olcott <polcott2@gmail.com> wrote:
>>>
>>>> On 9/7/2022 1:17 PM, Mr Flibble wrote:
>>>>> Only Flibble has refuted halting problem proofs with his signaling
>>>>> halt decider; Olcott hasn't as his simulating halt decider doesn't
>>>>> work.
>>>>>
>>>>> /Flibble
>>>>>
>>>>
>>>> I have fully operational code:
>>>> *Here is the updated version*
>>>> https://liarparadox.org/2022_09_07.zip
>>>
>>> No, your decider doesn't work as it decides the following doesn't
>>> halt:
>>>
>>> void Px(void (*x)())
>>> {
>>> (void) H(x, x);
>>> return;
>>> }
>>>
>>>>
>>>> You do not even have any criteria for any halt status decision.
>>>> I think that most people here realize that you are (at least at
>>>> this point, on this subject) only a troll.
>>>
>>> The design of the Flibble signaling halt decider is sufficiently
>>> detailed to show that it will work (including giving a correct
>>> decision on Px above).
>>>
>>> /Flibble
>>>
>>
>> I know that you are not dumb enough to believe this because your
>> original insight into the halting problem was quite good. Even though
>> you did not get all of the details correctly the gist of your insight
>> was quite good, very much better than most.
>
> Nope. The Flibble Signaling Halt Decider (tm) is correctly designed,
> your decider is not.
>
> /Flibble

Your design is like this, here is a plan to get rich:
(1) Get a million dollars
(2) Now you are rich

*Post the link to your plan again so that all can see*

--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Re: refuting halting problem proofs

<20220908064442.0000513d@reddwarf.jmc.corp>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=39350&group=comp.theory#39350

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!npeer.as286.net!npeer-ng0.as286.net!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx10.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Re: refuting halting problem proofs
Message-ID: <20220908064442.0000513d@reddwarf.jmc.corp>
References: <20220907191726.00000f88@reddwarf.jmc.corp>
<tfaodf$97u2$3@dont-email.me>
<20220907213052.00004977@reddwarf.jmc.corp>
<tfb01d$akv8$1@dont-email.me>
<20220907231110.000060d7@reddwarf.jmc.corp>
<tfb766$baaq$1@dont-email.me>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 64
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Thu, 08 Sep 2022 05:44:45 UTC
Date: Thu, 8 Sep 2022 06:44:42 +0100
X-Received-Bytes: 2917
 by: Mr Flibble - Thu, 8 Sep 2022 05:44 UTC

On Wed, 7 Sep 2022 17:49:41 -0500
olcott <polcott2@gmail.com> wrote:

> On 9/7/2022 5:11 PM, Mr Flibble wrote:
> > On Wed, 7 Sep 2022 15:47:41 -0500
> > olcott <polcott2@gmail.com> wrote:
> >
> >> On 9/7/2022 3:30 PM, Mr Flibble wrote:
> >>> On Wed, 7 Sep 2022 13:37:35 -0500
> >>> olcott <polcott2@gmail.com> wrote:
> >>>
> >>>> On 9/7/2022 1:17 PM, Mr Flibble wrote:
> >>>>> Only Flibble has refuted halting problem proofs with his
> >>>>> signaling halt decider; Olcott hasn't as his simulating halt
> >>>>> decider doesn't work.
> >>>>>
> >>>>> /Flibble
> >>>>>
> >>>>
> >>>> I have fully operational code:
> >>>> *Here is the updated version*
> >>>> https://liarparadox.org/2022_09_07.zip
> >>>
> >>> No, your decider doesn't work as it decides the following doesn't
> >>> halt:
> >>>
> >>> void Px(void (*x)())
> >>> {
> >>> (void) H(x, x);
> >>> return;
> >>> }
> >>>
> >>>>
> >>>> You do not even have any criteria for any halt status decision.
> >>>> I think that most people here realize that you are (at least at
> >>>> this point, on this subject) only a troll.
> >>>
> >>> The design of the Flibble signaling halt decider is sufficiently
> >>> detailed to show that it will work (including giving a correct
> >>> decision on Px above).
> >>>
> >>> /Flibble
> >>>
> >>
> >> I know that you are not dumb enough to believe this because your
> >> original insight into the halting problem was quite good. Even
> >> though you did not get all of the details correctly the gist of
> >> your insight was quite good, very much better than most.
> >
> > Nope. The Flibble Signaling Halt Decider (tm) is correctly designed,
> > your decider is not.
> >
> > /Flibble
>
> Your design is like this, here is a plan to get rich:
> (1) Get a million dollars
> (2) Now you are rich
>
> *Post the link to your plan again so that all can see*

https://github.com/i42output/halting-problem#readme

/Flibble

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor