Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Our business is run on trust. We trust you will pay in advance.

devel / comp.lang.c / Re: Would D ever stop if simulating halt decider H never stopped simulating it?

SubjectAuthor
* Would D ever stop if simulating halt decider H never stoppedolcott
`* Re: Would D ever stop if simulating halt decider H never stoppedBonita Montero
 `* Re: Would D ever stop if simulating halt decider H never stoppedred floyd
  `* Re: Would D ever stop if simulating halt decider H never stoppedKaz Kylheku
   `* Re: Would D ever stop if simulating halt decider H never stoppedolcott
    `* Re: Would D ever stop if simulating halt decider H never stoppedBonita Montero
     `* Re: Would D ever stop if simulating halt decider H never stoppedolcott
      `* Re: Would D ever stop if simulating halt decider H never stoppedBonita Montero
       `* Re: Would D ever stop if simulating halt decider H never stoppedolcott
        `* Re: Would D ever stop if simulating halt decider H never stoppedBonita Montero
         `* Re: Would D ever stop if simulating halt decider H never stoppedolcott
          `- Re: Would D ever stop if simulating halt decider H never stoppedBonita Montero

1
Would D ever stop if simulating halt decider H never stopped simulating it?

<KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16784&group=comp.lang.c#16784

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.lang.c comp.lang.c++
Followup: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 29 May 2021 18:33:03 -0500
Newsgroups: comp.theory,comp.ai.philosophy,comp.lang.c,comp.lang.c++
X-Mozilla-News-Host: news://news.giganews.com:119
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
Subject: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Sat, 29 May 2021 18:32:56 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
Lines: 33
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-IcT/zzXI4KBZ/kF69qBKCxTxDpNWLd2ITL63WcaDdhqgNurAHYRcUY9QVlmqNLfUCorJ5mcgdlkzLuB!RmtMxFzXKsMyY1TLpBSCqjAnGF1iJzYW04I7Ao7dz0Gddt7Kao4ka1qHR3usbBoe4DHxba9mg4I=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2004
 by: olcott - Sat, 29 May 2021 23:32 UTC

I am cross-posting this to comp.lang.c and comp.lang.c++ because any
C/C++ professional can correctly answer it and the code is written in C.

#define u32 uint32_t

int Simulate(u32 P, u32 I)
{ ((void(*)(u32))P)(I);
return 1;
}

int D(u32 P)
{ if ( H(P, P) )
return 0;
return 1;
}

int main()
{ H((u32)D, (u32)D);
}

H is simulating partial halt decider based on an x86 emulator. Its input
is the machine address of a C function that has been cast to 32-bit
unsigned integer. H simulates its first parameter on the input of its
second parameter. In the above case H would simulate D(D).

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s8v002$562$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16786&group=comp.lang.c#16786

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Sun, 30 May 2021 05:15:14 +0200
Organization: A noiseless patient Spider
Lines: 1
Message-ID: <s8v002$562$1@dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 30 May 2021 03:15:14 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="6266f1dca08ab5c7e44866684e0c7040";
logging-data="5314"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+kIl2HoR61P5ELVdh2yKDe0a4LNlUUjlA="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:s8vNIOcDvBktzlGY2jywhM3AVBg=
In-Reply-To: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
Content-Language: de-DE
 by: Bonita Montero - Sun, 30 May 2021 03:15 UTC

STOP POSTING in comp.lang.c/c++.

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s90nha$gt1$1@redfloyd.dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16790&group=comp.lang.c#16790

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!redfloyd.dont-email.me!.POSTED!not-for-mail
From: no.spam....@its.invalid (red floyd)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Sun, 30 May 2021 12:03:06 -0700
Organization: A noiseless patient Spider
Lines: 5
Message-ID: <s90nha$gt1$1@redfloyd.dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 30 May 2021 19:03:06 -0000 (UTC)
Injection-Info: redfloyd.dont-email.me; posting-host="d181ca9ed258269b1f9544eb75005dac";
logging-data="17313"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/+ZL4c7HuNPWUk+lOy6WmoJb3OPwbVprw="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:8mTtLaOpke5ALd98XVJ8OvYyj9I=
In-Reply-To: <s8v002$562$1@dont-email.me>
Content-Language: en-US
 by: red floyd - Sun, 30 May 2021 19:03 UTC

On 5/29/2021 8:15 PM, Bonita Montero wrote:
> STOP POSTING in comp.lang.c/c++.

He's obviously not going to stop, so just killfile the idiot.

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<20210530121731.691@kylheku.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16792&group=comp.lang.c#16792

  copy link   Newsgroups: comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: 563-365-...@kylheku.com (Kaz Kylheku)
Newsgroups: comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Sun, 30 May 2021 19:18:59 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <20210530121731.691@kylheku.com>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
Injection-Date: Sun, 30 May 2021 19:18:59 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="7c4468d518c0a170e41519a54a7c6e7b";
logging-data="4965"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19m6mcCyZbdWTfx5Y39sChsADkC9gtI408="
User-Agent: slrn/1.0.3 (Linux)
Cancel-Lock: sha1:pNfOWowC49p+D1Cp+yvxKUQ2iZs=
 by: Kaz Kylheku - Sun, 30 May 2021 19:18 UTC

On 2021-05-30, red floyd <no.spam.here@its.invalid> wrote:
> On 5/29/2021 8:15 PM, Bonita Montero wrote:
>> STOP POSTING in comp.lang.c/c++.
>
> He's obviously not going to stop, so just killfile the idiot.

Why would you care whether those two killfile each other?

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16793&group=comp.lang.c#16793

  copy link   Newsgroups: comp.lang.c comp.theory
Followup: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!4.us.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!border2.nntp.ams1.giganews.com!nntp.giganews.com!buffer2.nntp.ams1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 30 May 2021 14:56:33 -0500
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Newsgroups: comp.lang.c,comp.theory
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
Date: Sun, 30 May 2021 14:56:28 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
MIME-Version: 1.0
In-Reply-To: <20210530121731.691@kylheku.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com>
Lines: 23
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-07tJPYDVSDsVdeXpWrXwLwfZ5piiYEUipyCplwX4N2iIC+8+vMHGxkDAuYe1FprhQcymPVTO2peifZB!9Xdh34q+Vn1v+HDl/Rsv4CX3WJpHV28FHgQ+PtR4QkSsd3jrYqlowHJRlnbOS+XA++BtehNwL10=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2206
 by: olcott - Sun, 30 May 2021 19:56 UTC

On 5/30/2021 2:18 PM, Kaz Kylheku wrote:
> On 2021-05-30, red floyd <no.spam.here@its.invalid> wrote:
>> On 5/29/2021 8:15 PM, Bonita Montero wrote:
>>> STOP POSTING in comp.lang.c/c++.
>>
>> He's obviously not going to stop, so just killfile the idiot.
>
> Why would you care whether those two killfile each other?
>

By suggesting that they kill-file then unnecessary chatter is reduced.

This seems to be the final draft of the diagonalization argument's
error. I am very very happy that you suggested that I look into that. I
was able to completely abolish the contradiction.

https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s91o3b$e0p$2@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16797&group=comp.lang.c#16797

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Mon, 31 May 2021 06:18:51 +0200
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <s91o3b$e0p$2@dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 31 May 2021 04:18:51 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="083a7cd518a8e2e076c9f95914ce5f66";
logging-data="14361"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX184ACebRVucyT5RtAtMD/npfsyznYlCDi0="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:NpnWtbR8bHz+5UP7gJCKyka+9K0=
In-Reply-To: <5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com>
Content-Language: de-DE
 by: Bonita Montero - Mon, 31 May 2021 04:18 UTC

> By suggesting that they kill-file then unnecessary chatter is reduced.
> This seems to be the final draft of the diagonalization argument's
> error. I am very very happy that you suggested that I look into that. I
> was able to completely abolish the contradiction.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument

Your stop-problem-issues are interesting no one here.
They're generic to any language, so they're off-topic here.

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16798&group=comp.lang.c#16798

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 31 May 2021 00:13:03 -0500
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
From: NoO...@NoWhere.com (olcott)
Date: Mon, 31 May 2021 00:12:59 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
MIME-Version: 1.0
In-Reply-To: <s91o3b$e0p$2@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com>
Lines: 19
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-6wQK5WmXXCJZG4SIEOB660UdNVW0ucb/4cp8c+2WOJmHhXFXRzxJsY364m5GnFOKiNJtZVoluVq2qKP!yqv/xXEZLjRp9KQXxE+Jx8SltqVhznoXC94yINuUM5DXK7dqmCYnOOhJM6scB/60VBMGwYxg+6o=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2157
 by: olcott - Mon, 31 May 2021 05:12 UTC

On 5/30/2021 11:18 PM, Bonita Montero wrote:
>> By suggesting that they kill-file then unnecessary chatter is reduced.
>> This seems to be the final draft of the diagonalization argument's
>> error. I am very very happy that you suggested that I look into that.
>> I was able to completely abolish the contradiction.
>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
>
>
> Your stop-problem-issues are interesting no one here.
> They're generic to any language, so they're off-topic here.
>

Kaz was my best reviewer.

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s91rva$hei$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16799&group=comp.lang.c#16799

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Mon, 31 May 2021 07:24:58 +0200
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <s91rva$hei$1@dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 31 May 2021 05:24:58 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="083a7cd518a8e2e076c9f95914ce5f66";
logging-data="17874"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18wwA8Hr5rpOc7EL6hexKKNs95R5MhMQVs="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:rHKrpE6dnaMesu4ZXTjGul0qmyw=
In-Reply-To: <lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com>
Content-Language: de-DE
 by: Bonita Montero - Mon, 31 May 2021 05:24 UTC

>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>> This seems to be the final draft of the diagonalization argument's
>>> error. I am very very happy that you suggested that I look into that.
>>> I was able to completely abolish the contradiction.
>>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument

>> Your stop-problem-issues are interesting no one here.
>> They're generic to any language, so they're off-topic here.

> Kaz was my best reviewer.

Then Kaz made the same mistake like you.

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16800&group=comp.lang.c#16800

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 31 May 2021 00:36:04 -0500
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com> <s91rva$hei$1@dont-email.me>
From: NoO...@NoWhere.com (olcott)
Date: Mon, 31 May 2021 00:35:59 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
MIME-Version: 1.0
In-Reply-To: <s91rva$hei$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com>
Lines: 28
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-hOGHWvDu6ezLZKviPbJxbb2doOand6UHnp+/L4e5BB/Xobr8M5IdSrvaT1zbGfw9uNatVkB963iRk4W!8E4jKgLZH2ZvYZ9burg+R1kY3cyj3kSb5J8068Ye4xkYlJGn4LQrr9H5zVQecoRkDtknaEz9mus=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2534
 by: olcott - Mon, 31 May 2021 05:35 UTC

On 5/31/2021 12:24 AM, Bonita Montero wrote:
>>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>>> This seems to be the final draft of the diagonalization argument's
>>>> error. I am very very happy that you suggested that I look into
>>>> that. I was able to completely abolish the contradiction.
>>>>
>
>
>>> Your stop-problem-issues are interesting no one here.
>>> They're generic to any language, so they're off-topic here.
>
>> Kaz was my best reviewer.
>
> Then Kaz made the same mistake like you.
>

Kaz suggested that I study diagonalization and now I can easily refute
this much simpler proof. My refutation is on page 1 and Sipser's whole
proof is on page 2. So far the only critiques have been about punctuation.

https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s91usb$v0o$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16801&group=comp.lang.c#16801

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Mon, 31 May 2021 08:14:35 +0200
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <s91usb$v0o$1@dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com> <s91rva$hei$1@dont-email.me>
<0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 31 May 2021 06:14:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="083a7cd518a8e2e076c9f95914ce5f66";
logging-data="31768"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18HqrLtVyZWCKEqHpCyfdsCIGYSanvAffQ="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:sQ7e1MdXPCfCG1tNwxBMRmet7Z8=
In-Reply-To: <0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com>
Content-Language: de-DE
 by: Bonita Montero - Mon, 31 May 2021 06:14 UTC

>>>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>>>> This seems to be the final draft of the diagonalization argument's
>>>>> error. I am very very happy that you suggested that I look into
>>>>> that. I was able to completely abolish the contradiction.

>>>> Your stop-problem-issues are interesting no one here.
>>>> They're generic to any language, so they're off-topic here.

>>> Kaz was my best reviewer.

>> Then Kaz made the same mistake like you.

> Kaz suggested that I study diagonalization and now I can easily refute
> this much simpler proof. My refutation is on page 1 and Sipser's  whole
> proof is on page 2. So far the only critiques have been about punctuation.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument

Are you stupid ? It's no matter what Kaz said.
HERE IS THE WRONG PLACE !

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<PqSdnQh6dPvpHin9nZ2dnUU7-VudnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16802&group=comp.lang.c#16802

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 31 May 2021 01:34:28 -0500
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com> <s91rva$hei$1@dont-email.me>
<0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com> <s91usb$v0o$1@dont-email.me>
From: NoO...@NoWhere.com (olcott)
Date: Mon, 31 May 2021 01:34:24 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
MIME-Version: 1.0
In-Reply-To: <s91usb$v0o$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <PqSdnQh6dPvpHin9nZ2dnUU7-VudnZ2d@giganews.com>
Lines: 33
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-eFFvznXFpgNZLxujZP2sHL69r4L0JBJYs/2BXQDYcGLZ0D/J7FpT7/AvUTwurZetV79IKYMo+/QONLL!x+bUq1QQxocjyejYq/yJqYobDuo66x7CUqE8H8/U31cYxzRMygD/vMegY6IxzzVNBIXxG8J3730=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2856
 by: olcott - Mon, 31 May 2021 06:34 UTC

On 5/31/2021 1:14 AM, Bonita Montero wrote:
>>>>>> By suggesting that they kill-file then unnecessary chatter is
>>>>>> reduced.
>>>>>> This seems to be the final draft of the diagonalization argument's
>>>>>> error. I am very very happy that you suggested that I look into
>>>>>> that. I was able to completely abolish the contradiction.
>
>>>>> Your stop-problem-issues are interesting no one here.
>>>>> They're generic to any language, so they're off-topic here.
>
>>>> Kaz was my best reviewer.
>
>>> Then Kaz made the same mistake like you.
>
>> Kaz suggested that I study diagonalization and now I can easily refute
>> this much simpler proof. My refutation is on page 1 and Sipser's
>> whole proof is on page 2. So far the only critiques have been about
>> punctuation.
>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
>
>
> Are you stupid ? It's no matter what Kaz said.
> HERE IS THE WRONG PLACE !
>

If here really was the wrong place then I would not have been able to
get Kaz to come back to comp.theory by posting here.

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

<s923gu$a6o$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=16803&group=comp.lang.c#16803

  copy link   Newsgroups: comp.theory comp.lang.c++ comp.lang.c
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Bonita.M...@gmail.com (Bonita Montero)
Newsgroups: comp.theory,comp.lang.c++,comp.lang.c
Subject: Re: Would D ever stop if simulating halt decider H never stopped
simulating it?
Date: Mon, 31 May 2021 09:33:49 +0200
Organization: A noiseless patient Spider
Lines: 6
Message-ID: <s923gu$a6o$1@dont-email.me>
References: <KJWdnT9N2pOyUi_9nZ2dnUU7-aXNnZ2d@giganews.com>
<s8v002$562$1@dont-email.me> <s90nha$gt1$1@redfloyd.dont-email.me>
<20210530121731.691@kylheku.com>
<5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me>
<lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com> <s91rva$hei$1@dont-email.me>
<0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com> <s91usb$v0o$1@dont-email.me>
<PqSdnQh6dPvpHin9nZ2dnUU7-VudnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 31 May 2021 07:33:50 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="083a7cd518a8e2e076c9f95914ce5f66";
logging-data="10456"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/KSA4+7FkbwhxW6Oen8BMP1TelTnuGyEE="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.2
Cancel-Lock: sha1:xe9nyY0CczuLKYLB7061ySnPX9o=
In-Reply-To: <PqSdnQh6dPvpHin9nZ2dnUU7-VudnZ2d@giganews.com>
Content-Language: de-DE
 by: Bonita Montero - Mon, 31 May 2021 07:33 UTC

> If here really was the wrong place then I would not have been
> able to get Kaz to come back to comp.theory by posting here.

No matter what you say - your halting-problem-idea are always
off-topic here.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor