Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c > #161428

Re: A possible solution to the halting problem.

Show all headers | View raw

Skybuck Flying <skybuck2000@hotmail.com> wrote
	in <20210613162233.000073bc@hotmail.com>:
# 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.

For any record player there is a record that when played will destroy
it. Your step 3 cannot reliably perform for arbitrary input. Why?
Read "Gödel, Escher, Bach" which gives you a more digestible answer
than any usenet article by some jrandom ever will.


Regards,

	Jens
-- 
Jens Schweikhardt http://www.schweikhardt.net/
SIGSIG -- signature too long (core dumped)

Back to comp.lang.c | Previous | Next — Previous in thread | 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