Logic proves that Peter Olcott is just a liar.

Liste des GroupesRevenir à c theory 
Sujet : Logic proves that Peter Olcott is just a liar.
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 02. Jul 2025, 21:40:20
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <991e186f099f9b9946a77af1811343497ba53058@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 7/1/25 8:07 AM, olcott wrote:
*DDD correctly simulated by HHH cannot possibly reach*
*its own simulated "return" statement final halt state*
This statement is NOT true if HHH is a Halt Decider.
Your logic is all based on DDD being a singular entity, which doesn't change through your logic, or else you can't use the fact that "DDD correctly simulated" means anything, if DDD is actually a variable.
To be true, HHH needs to be a correct simulator, and then the input DDD needs to be defined to include the code of the HHH that it calls (dispite your attempts to say otherwise) and a "Correct Simuliaton of the input" needs to simulate JUST the input, and thus to simulate the call to HHH, the code for HHH must be part of the input.
Note, this means that DDD has been defined, and that definition includes the code for HHH, which means that HHH has also been defined to be that exact code, and nothing else, and thus for the statement to be true, the one and only HHH that exists needs to be a correct simulator.
As you have shown, when HHH is a correct simulator, it will never reach its final state, and thus it will never halt, and thus can't be a decider, since deciders alwaus halt.
Thus, you statement is just not true if HHH is a Halt Decider, and thus you statement is based on the assumption of an impossible case.
The fundamental issue is that for there to BE a "Correct Simulation", and there to be only one DDD, the definition of DDD must include the code for HHH, and thus there is only one HHH, so if THIS HHH doesn't do a correct simulation, NO HHH (since it is the only one) does a correct simulation.
And, as has been shown, if THIS HHH does a correct simulation, it doesn't answer and thus isn't a decider.
Your problem is you brain just can't seem to keep the rules that you yourself impose on your system in place and keep you system compatible with correct logic.
This shows the fundamental brokeness of your mental abilities, as it seems you are unable to keep your mental view of the world / system under discussion consistant with its reality.

Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method117Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method116olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method95olcott
29 Jun 25  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method94Mikko
29 Jun 25  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method92olcott
29 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method13olcott
30 Jun 25  i ii+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
30 Jun 25  i iii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
30 Jun 25  i iii `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
30 Jun 25  i iii  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i iii   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
1 Jul 25  i iii    +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
1 Jul 25  i iii    i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Richard Damon
1 Jul 25  i iii    i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i iii    i  +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i iii    i  `- Logic proves that Peter Olcott is just a liar.1Richard Damon
2 Jul 25  i iii    `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Heathfield
30 Jun 25  i ii`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method77Richard Damon
1 Jul 25  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method76Richard Damon
1 Jul 25  i ii +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i ii i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Fred. Zwarts
1 Jul 25  i ii ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i ii ii +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i ii ii `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Fred. Zwarts
1 Jul 25  i ii i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Richard Damon
1 Jul 25  i ii i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
2 Jul 25  i ii i  `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
3 Jul 25  i ii `* HHH(DDD)==0 is correct67olcott
3 Jul 25  i ii  +* Re: HHH(DDD)==0 is correct36Mikko
3 Jul 25  i ii  i`* Re: HHH(DDD)==0 is correct35olcott
3 Jul 25  i ii  i +- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:35  i ii  i `* Re: HHH(DDD)==0 is correct33Mikko
4 Jul13:50  i ii  i  `* Re: HHH(DDD)==0 is correct32olcott
4 Jul14:22  i ii  i   +* Re: HHH(DDD)==0 is correct11joes
4 Jul14:32  i ii  i   i`* Re: HHH(DDD)==0 is correct10olcott
4 Jul18:48  i ii  i   i `* Re: HHH(DDD)==0 is correct9Richard Damon
4 Jul19:24  i ii  i   i  `* Re: HHH(DDD)==0 is correct8olcott
4 Jul21:33  i ii  i   i   `* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul23:17  i ii  i   i    `* Re: HHH(DDD)==0 is correct6olcott
5 Jul08:36  i ii  i   i     +* Re: HHH(DDD)==0 is correct2Fred. Zwarts
5 Jul17:07  i ii  i   i     i`- Re: HHH(DDD)==0 is correct1olcott
5 Jul14:01  i ii  i   i     `* Re: HHH(DDD)==0 is correct3Richard Damon
5 Jul17:16  i ii  i   i      `* Re: HHH(DDD)==0 is correct2olcott
6 Jul01:25  i ii  i   i       `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul14:23  i ii  i   +* Re: HHH(DDD)==0 is correct19Richard Damon
4 Jul15:43  i ii  i   i`* Re: HHH(DDD)==0 is correct18olcott
4 Jul19:14  i ii  i   i `* Re: HHH(DDD)==0 is correct17Richard Damon
4 Jul19:25  i ii  i   i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul21:40  i ii  i   i   `* Re: HHH(DDD)==0 is correct15Richard Damon
4 Jul23:24  i ii  i   i    `* Re: HHH(DDD)==0 is correct14olcott
5 Jul08:33  i ii  i   i     +* Re: HHH(DDD)==0 is correct3Fred. Zwarts
5 Jul17:03  i ii  i   i     i`* Re: HHH(DDD)==0 is correct2olcott
6 Jul10:45  i ii  i   i     i `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul14:07  i ii  i   i     `* Re: HHH(DDD)==0 is correct10Richard Damon
5 Jul17:21  i ii  i   i      `* Re: HHH(DDD)==0 is correct9olcott
6 Jul01:36  i ii  i   i       `* Re: HHH(DDD)==0 is correct8Richard Damon
6 Jul03:23  i ii  i   i        `* Re: HHH(DDD)==0 is correct7olcott
6 Jul03:59  i ii  i   i         `* Re: HHH(DDD)==0 is correct6Richard Damon
6 Jul05:06  i ii  i   i          `* Re: HHH(DDD)==0 is correct5olcott
6 Jul10:40  i ii  i   i           +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
6 Jul12:48  i ii  i   i           `* Re: HHH(DDD)==0 is correct3Richard Damon
6 Jul16:08  i ii  i   i            `* Re: HHH(DDD)==0 is correct2olcott
6 Jul17:50  i ii  i   i             `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul09:42  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul 25  i ii  `* Re: HHH(DDD)==0 is correct30Richard Damon
3 Jul 25  i ii   `* Re: HHH(DDD)==0 is correct29olcott
3 Jul 25  i ii    `* Re: HHH(DDD)==0 is correct28Richard Damon
3 Jul 25  i ii     `* Re: HHH(DDD)==0 is correct27olcott
3 Jul23:59  i ii      +* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul00:15  i ii      i`* Re: HHH(DDD)==0 is correct4olcott
4 Jul01:22  i ii      i `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul01:36  i ii      i  `* Re: HHH(DDD)==0 is correct2olcott
4 Jul14:25  i ii      i   `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:42  i ii      `* Re: HHH(DDD)==0 is correct21Mikko
4 Jul13:57  i ii       `* Re: HHH(DDD)==0 is correct20olcott
5 Jul08:30  i ii        +* Re: HHH(DDD)==0 is correct16Fred. Zwarts
5 Jul16:59  i ii        i`* Re: HHH(DDD)==0 is correct15olcott
6 Jul10:19  i ii        i `* Re: HHH(DDD)==0 is correct14Mikko
6 Jul16:00  i ii        i  `* Re: HHH(DDD)==0 is correct13olcott
6 Jul17:53  i ii        i   +- Re: HHH(DDD)==0 is correct1Richard Damon
7 Jul09:25  i ii        i   `* Re: HHH(DDD)==0 is correct11Mikko
7 Jul15:02  i ii        i    `* Re: HHH(DDD)==0 is correct10olcott
7 Jul23:32  i ii        i     +- Re: HHH(DDD)==0 is correct1Richard Damon
8 Jul08:35  i ii        i     `* Re: HHH(DDD)==0 is correct8Mikko
8 Jul15:16  i ii        i      `* Re: HHH(DDD)==0 is correct7olcott
9 Jul09:32  i ii        i       +* Re: HHH(DDD)==0 is correct5Mikko
9 Jul13:45  i ii        i       i`* Re: HHH(DDD)==0 is correct4olcott
10 Jul02:35  i ii        i       i +- Re: HHH(DDD)==0 is correct1Richard Damon
10 Jul10:09  i ii        i       i `* Re: HHH(DDD)==0 is correct2Mikko
10 Jul15:15  i ii        i       i  `- Re: HHH(DDD)==0 is correct1olcott
9 Jul12:18  i ii        i       `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul09:44  i ii        `* Re: HHH(DDD)==0 is correct3Mikko
5 Jul16:53  i ii         `* Re: HHH(DDD)==0 is correct2olcott
6 Jul10:35  i ii          `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
30 Jun 25  i i`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  i `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
27 Jun 25  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method20Richard Damon
27 Jun 25   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method19olcott
27 Jun 25    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method18Richard Damon
27 Jun 25     +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method12olcott
27 Jun 25     `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal