novaBBS - comp.lang.c - Alan Turing Halting Problem: Alan did not consider self-modifieing code.

Alan Turing Halting Problem: Alan did not consider self-modifieing code.

<3da2048f-a44a-454d-b6c5-bc9a0a892e08n@googlegroups.com>

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

X-Received: by 2002:a37:db12:: with SMTP id e18mr5314876qki.14.1641954335082;
Tue, 11 Jan 2022 18:25:35 -0800 (PST)
X-Received: by 2002:a05:6214:20a2:: with SMTP id 2mr6536081qvd.57.1641954334924;
Tue, 11 Jan 2022 18:25:34 -0800 (PST)
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.lang.c
Date: Tue, 11 Jan 2022 18:25:34 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=84.25.28.171; posting-account=np6u_wkAAADxbE7UBGUIOm-csir6aX02
NNTP-Posting-Host: 84.25.28.171
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3da2048f-a44a-454d-b6c5-bc9a0a892e08n@googlegroups.com>
Subject: Alan Turing Halting Problem: Alan did not consider self-modifieing code.
From: skybuck2...@hotmail.com (skybuck2000)
Injection-Date: Wed, 12 Jan 2022 02:25:35 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 9

by: skybuck2000 - Wed, 12 Jan 2022 02:25 UTC

As far as I am concernedc Alan Turning's halting problem proof is wrong.

Alan did not consider self-modifieing code.

Machine H can modify machine H+ when H+ is fed into machine H and thus machine H can prevent machine H+.

Therefore machine H+ can never exist in machine H's world ! HAHA.

Bye,
Skybuck.

Re: Alan Turing Halting Problem: Alan did not consider self-modifieing code.

<ec863bab-f160-41c9-8eb7-b2ffb3b3df9bn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.c

X-Received: by 2002:a05:622a:554:: with SMTP id m20mr6348748qtx.382.1641954880960;
Tue, 11 Jan 2022 18:34:40 -0800 (PST)
X-Received: by 2002:a05:620a:905:: with SMTP id v5mr1560955qkv.333.1641954880846;
Tue, 11 Jan 2022 18:34:40 -0800 (PST)
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.lang.c
Date: Tue, 11 Jan 2022 18:34:40 -0800 (PST)
In-Reply-To: <3da2048f-a44a-454d-b6c5-bc9a0a892e08n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.25.28.171; posting-account=np6u_wkAAADxbE7UBGUIOm-csir6aX02
NNTP-Posting-Host: 84.25.28.171
References: <3da2048f-a44a-454d-b6c5-bc9a0a892e08n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ec863bab-f160-41c9-8eb7-b2ffb3b3df9bn@googlegroups.com>
Subject: Re: Alan Turing Halting Problem: Alan did not consider
self-modifieing code.
From: skybuck2...@hotmail.com (skybuck2000)
Injection-Date: Wed, 12 Jan 2022 02:34:40 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 9

by: skybuck2000 - Wed, 12 Jan 2022 02:34 UTC

My first solution was to output an error code which is also allowed.

"Clown" machine was my first error code suggestion.

But to keep it a bit more nice:

"Contradiction machine" detected.

Bye Bye,
Skybuck.

On a clear disk you can seek forever. -- P. Denning

devel / comp.lang.c / Alan Turing Halting Problem: Alan did not consider self-modifieing code.

Subject	Author
Alan Turing Halting Problem: Alan did not consider self-modifieing code.	skybuck2000
Re: Alan Turing Halting Problem: Alan did not consider	skybuck2000