Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

The less time planning, the more time programming.

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

o A possible solution to the halting problem.skybuck2000

Subject: A possible solution to the halting problem.
From: skybuck2000
Newsgroups: alt.lang.asm
Date: Sun, 13 Jun 2021 04:04 UTC
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)
Newsgroups: alt.lang.asm
Date: Sat, 12 Jun 2021 21:04:58 -0700 (PDT)
Injection-Info:; posting-host=; posting-account=np6u_wkAAADxbE7UBGUIOm-csir6aX02
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <>
Subject: A possible solution to the halting problem.
From: (skybuck2000)
Injection-Date: Sun, 13 Jun 2021 04:04:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2237
View all headers

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,

rocksolid light 0.7.2