A possible solution to the halting problem.

From	Skybuck Flying <skybuck2000@hotmail.com>
Newsgroups	comp.lang.c
Subject	A possible solution to the halting problem.
Date	2021-06-13 16:22 +0200
Organization	Aioe.org NNTP Server
Message-ID	<20210613162233.000073bc@hotmail.com> (permalink)

Show all headers | View raw

Now that I have a free newsprogram and a free news server I can post
this to comp.lang.c as well which I also posted to other newsgroups,
the funny thing is though that currently there is some debat about this
issue in this newsgroup which is amazing !

Anyway here is my take on this halting problem, what the issue is and
how to maybe even solve it ! Inspired by this video, well worth a watch:

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

Then later this video inspired me to offer a possible solution path,
read below if interested in the halting problem and a possible solution:

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.

Back to comp.lang.c | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

A possible solution to the halting problem. Skybuck Flying <skybuck2000@hotmail.com> - 2021-06-13 16:22 +0200
  Re: A possible solution to the halting problem. Skybuck Flying <skybuck2000@hotmail.com> - 2021-06-13 17:15 +0200
  Re: A possible solution to the halting problem. Jens Schweikhardt <usenet@schweikhardt.net> - 2021-06-14 06:24 +0000
    Re: A possible solution to the halting problem. olcott <NoOne@NoWhere.com> - 2021-06-14 11:38 -0500

csiph-web