Message-ID:

24 Apr, 2024: Testing a new version of the Overboard here. If you have an issue post about it to rocksolid.nodes.help

devel / comp.theory / Re: Halting problem and self-reference (liar paradox).(repost)

Halting problem and self-reference (liar paradox).(repost)

<913e9436-c5a9-4c8e-aa52-7e6d14f88eadn@googlegroups.com>

https://www.novabbs.com/devel/article-flat.php?id=31887&group=comp.theory#31887

X-Received: by 2002:a05:620a:2683:b0:69c:8c9c:5f80 with SMTP id c3-20020a05620a268300b0069c8c9c5f80mr7132539qkp.367.1651959714563;
Sat, 07 May 2022 14:41:54 -0700 (PDT)
X-Received: by 2002:a05:6902:10c1:b0:649:4858:8efa with SMTP id
w1-20020a05690210c100b0064948588efamr7057907ybu.24.1651959714374; Sat, 07 May
2022 14:41:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 7 May 2022 14:41:54 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <913e9436-c5a9-4c8e-aa52-7e6d14f88eadn@googlegroups.com>
Subject: Halting problem and self-reference (liar paradox).(repost)
From: wynii...@gmail.com (wij)
Injection-Date: Sat, 07 May 2022 21:41:54 +0000
Content-Type: text/plain; charset="UTF-8"

by: wij - Sat, 7 May 2022 21:41 UTC

https://groups.google.com/g/comp.theory/c/s9XdKY82tik/m/TtYIGN7VAgAJ

Halting problem H is a decision PROBLEM (not a real program yet). If one tries
to write such a program:

// [Syn] Decide whether the function %f, given the argument %a, will halt or not,
//
// [Ret] true: f(a) will halt
// false: otherwise
//
// Note: %f is ANY program of the machine
//
bool H(Func f, Arg a);

Quick answer: By GUA https://groups.google.com/g/comp.theory/c/7dn3oEmo4Is
,HP is undecidable, i.e. no such correct H can exist.
See Also: https://www.geeksforgeeks.org/halting-problem-in-theory-of-computation/

There is no self-reference issue in such kind of problems governed by GUA.
Liar paradox is a different problem, any rebuttal just need to practically
write a real program (C, assembly, or TM) to demonstrate to see why, not just empty talk.
------------------------------

Special thanks to thank Mr. Olcott again working so hard the last months publicating
the falsehood of various misunderstandings (counterexamples) for me. All should now be more clear
than ever.

Re: Halting problem and self-reference (liar paradox).(repost)

<1d9f394c-b3d9-4337-91a5-129fe6ed69a1n@googlegroups.com>

copy mid

https://www.novabbs.com/devel/article-flat.php?id=31904&group=comp.theory#31904

copy link Newsgroups: comp.theory

X-Received: by 2002:a05:6214:1bc7:b0:45b:85e:e5a4 with SMTP id m7-20020a0562141bc700b0045b085ee5a4mr121019qvc.57.1651967641470;
Sat, 07 May 2022 16:54:01 -0700 (PDT)
X-Received: by 2002:a25:4194:0:b0:64a:4c65:9c72 with SMTP id
o142-20020a254194000000b0064a4c659c72mr7491574yba.607.1651967641239; Sat, 07
May 2022 16:54:01 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 7 May 2022 16:54:01 -0700 (PDT)
In-Reply-To: <913e9436-c5a9-4c8e-aa52-7e6d14f88eadn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
References: <913e9436-c5a9-4c8e-aa52-7e6d14f88eadn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1d9f394c-b3d9-4337-91a5-129fe6ed69a1n@googlegroups.com>
Subject: Re: Halting problem and self-reference (liar paradox).(repost)
From: wynii...@gmail.com (wij)
Injection-Date: Sat, 07 May 2022 23:54:01 +0000
Content-Type: text/plain; charset="UTF-8"

by: wij - Sat, 7 May 2022 23:54 UTC

On Sunday, 8 May 2022 at 05:41:55 UTC+8, wij wrote:
> https://groups.google.com/g/comp.theory/c/s9XdKY82tik/m/TtYIGN7VAgAJ
>
> Halting problem H is a decision PROBLEM (not a real program yet). If one tries
> to write such a program:
>
> // [Syn] Decide whether the function %f, given the argument %a, will halt or not,
> //
> // [Ret] true: f(a) will halt
> // false: otherwise
> //
> // Note: %f is ANY program of the machine
> //
> bool H(Func f, Arg a);
>
> Quick answer: By GUA https://groups.google.com/g/comp.theory/c/7dn3oEmo4Is
> ,HP is undecidable, i.e. no such correct H can exist.
> See Also: https://www.geeksforgeeks.org/halting-problem-in-theory-of-computation/
>
> There is no self-reference issue in such kind of problems governed by GUA.
> Liar paradox is a different problem, any rebuttal just need to practically
> write a real program (C, assembly, or TM) to demonstrate to see why, not just empty talk.
> ------------------------------
>
> Special thanks to thank Mr. Olcott again working so hard the last months publicating
> the falsehood of various misunderstandings (counterexamples) for me. All should now be more clear
> than ever.

I don't need to do anything, all the misunderstandings of the HP problems are
clarified (I hope) for me. Kind of not believing there really is free launch !!!

Subject	Author
Halting problem and self-reference (liar paradox).(repost)	wij
Halting problem and self-reference (liar paradox).(repost)	wij