Message-ID:

<doogie> Thinking is dangerous. It leads to ideas. -- Seen on #Debian

devel / comp.theory / Re: A stronger proof of the conventional Halt Problem proof.

A stronger proof of the conventional Halt Problem proof.

<568e16d6-0f6f-4e7f-a9bd-fa8df544102fn@googlegroups.com>

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

X-Received: by 2002:a0c:ed23:0:b0:472:f9c0:9fda with SMTP id u3-20020a0ced23000000b00472f9c09fdamr19407268qvq.24.1657655266942;
Tue, 12 Jul 2022 12:47:46 -0700 (PDT)
X-Received: by 2002:a05:6902:729:b0:66e:a7b2:d6eb with SMTP id
l9-20020a056902072900b0066ea7b2d6ebmr23804076ybt.345.1657655266673; Tue, 12
Jul 2022 12:47:46 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Tue, 12 Jul 2022 12:47:46 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <568e16d6-0f6f-4e7f-a9bd-fa8df544102fn@googlegroups.com>
Subject: A stronger proof of the conventional Halt Problem proof.
From: wynii...@gmail.com (wij)
Injection-Date: Tue, 12 Jul 2022 19:47:46 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 11

by: wij - Tue, 12 Jul 2022 19:47 UTC

GUR https://groups.google.com/g/comp.theory/c/7dn3oEmo4Is

With the example 2:
#include <stdlib.h>

void P() {
if(system("H P")) for(;;){};
} int main() { P(); }; // name of this program is set to "P"

I think the key feature of my GUR is that P does not need to know what is inside H.
Conventional TM proof cannot prove this. GUR is stronger.

Re: A stronger proof of the conventional Halt Problem proof.

<f5caa314-5453-4897-bdcb-e43b557dff55n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:622a:113:b0:31e:ad54:acd2 with SMTP id u19-20020a05622a011300b0031ead54acd2mr14832484qtw.465.1657657026257;
Tue, 12 Jul 2022 13:17:06 -0700 (PDT)
X-Received: by 2002:a25:b701:0:b0:66c:826c:c7bd with SMTP id
t1-20020a25b701000000b0066c826cc7bdmr36414ybj.52.1657657025953; Tue, 12 Jul
2022 13:17:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Tue, 12 Jul 2022 13:17:05 -0700 (PDT)
In-Reply-To: <568e16d6-0f6f-4e7f-a9bd-fa8df544102fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
References: <568e16d6-0f6f-4e7f-a9bd-fa8df544102fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5caa314-5453-4897-bdcb-e43b557dff55n@googlegroups.com>
Subject: Re: A stronger proof of the conventional Halt Problem proof.
From: wynii...@gmail.com (wij)
Injection-Date: Tue, 12 Jul 2022 20:17:06 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 16

by: wij - Tue, 12 Jul 2022 20:17 UTC

On Wednesday, 13 July 2022 at 03:47:47 UTC+8, wij wrote:
> GUR https://groups.google.com/g/comp.theory/c/7dn3oEmo4Is
>
> With the example 2:
> #include <stdlib.h>
>
> void P() {
> if(system("H P")) for(;;){};
> }
> int main() { P(); }; // name of this program is set to "P"
>
> I think the key feature of my GUR is that P does not need to know what is inside H.
> Conventional TM proof cannot prove this. GUR is stronger.

Probably I should revise to say: GUR is more extensive, because it suggests even
'god' cannot solve such a halt problem (an executable H when given another
executable P can decide whether or not P halts or not).

Subject	Author
A stronger proof of the conventional Halt Problem proof.	wij
A stronger proof of the conventional Halt Problem proof.	wij