Message-ID:

Real Programmers don't eat quiche. They eat Twinkies and Szechwan food.

devel / alt.lang.asm / A possible solution to the halting problem.

A possible solution to the halting problem.

<52e347c7-8420-4754-895b-b6453676ecben@googlegroups.com>

https://www.novabbs.com/devel/article-flat.php?id=142&group=alt.lang.asm#142

X-Received: by 2002:a05:620a:2058:: with SMTP id d24mr4832181qka.472.1623557098866;
Sat, 12 Jun 2021 21:04:58 -0700 (PDT)
X-Received: by 2002:aca:1210:: with SMTP id 16mr12413810ois.14.1623557098685;
Sat, 12 Jun 2021 21:04:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: alt.lang.asm
Date: Sat, 12 Jun 2021 21:04:58 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=217.62.209.66; posting-account=np6u_wkAAADxbE7UBGUIOm-csir6aX02
NNTP-Posting-Host: 217.62.209.66
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <52e347c7-8420-4754-895b-b6453676ecben@googlegroups.com>
Subject: A possible solution to the halting problem.
From: skybuck2...@hotmail.com (skybuck2000)
Injection-Date: Sun, 13 Jun 2021 04:04:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2237

by: skybuck2000 - Sun, 13 Jun 2021 04:04 UTC

https://www.youtube.com/watch?v=HeQX2HjkcNo

After watching this video the conclusion may be the following:

1. Contradictions are a problem in math.

2. These contradictions seemed to be caused by "self-references".

A possible solution to these problems are to:

3. Detect self-references.

4. Illiminate the self-references or break/solve the self-references.

So for example if the H machine is capable of reducing H+ such that H can detect itself inside H+ then this means:

1. Self reference detected.
2. Possibly contradiction detected.

Now H can try and work out a solution to this problem/contradiction.

3. Basically this could allow H to detect H+ enters an infiniteloop, because H has detected itself inside H+, H knows the real answer to the halting question.

So the output of H+ is no longer relevant ! And can be dismissed as a joke/trojan/thruth manipulator.

H detected the real thruth by detecting itself ! HAHA.

So if H can detect halt or infinity then it will no longer be tricked by any machine H+ incorporating itself H.

So this reduces the halting problem/question to:

Can H detect itself given any program/version of itself ! ;)

A reduction problem it seems.

Goodbye for now,
Skybuck.

Subject	Author
A possible solution to the halting problem.	skybuck2000