Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question

Liste des GroupesRevenir à theory 
Sujet : Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 26. Oct 2025, 03:40:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10dk1mp$3ofam$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 10/25/2025 9:24 PM, Kaz Kylheku wrote:
Sneak preview below. The diagnostics prefixed RECK: come
from my "reckoning" module which performs the judgment on whether
HHH made the correct decision.
 The reckoning module detects the start of a simulation
by HHH, and keeps a list of such simulations.
 
*I am happy that you are still with me*
Nothing that you can say can over-ride or supersede
what I say below. I was talking with ChatGPT today
for hours. The script below the code unequivocally
derives the first step of my proof. Every LLM agrees
and it is simple enough for humans.
As soon as you comprehend this first step we can
move on to the second step. So far not a single
person besides Ben Bacarisse has been able to get
to the first step of my proof at any time in the
last three years.
I am going to utterly relentlessly pursue this
first step because not a single person in the
world can understand the second step until they
first understand this first step.
<snip>
typedef int (*ptr)();
int HHH(ptr P);
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
int main()
{
   HHH(DD);
}
Instructions:
HHH(P) simulates a C function P step by step.
The simulation always stops once the function’s behavior can be determined, producing a result that reflects what was observed.
Do not assume any prior knowledge about the Halting Problem or any numeric mapping; the result’s meaning is entirely abstract.
Task (must follow strictly):
Trace the simulation of DD step by step, following the execution order of each statement according to standard C semantics.
For every simulated evaluation, record what happens immediately after HHH is called.
Continue this reasoning iteratively without skipping steps until the simulation produces a result.
Deduce the final result of HHH(DD) based solely on this explicit symbolic simulation.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
26 Oct 25 * I've written the code which shows HHH's DDD simulation halts.32Kaz Kylheku
26 Oct 25 +* Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question4olcott
26 Oct 25 i+* Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question2Tristan Wibberley
26 Oct 25 ii`- Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question1Tristan Wibberley
26 Oct 25 i`- Re: I've written the code which shows HHH's DDD simulation halts. --- that was the wrong question1Kaz Kylheku
26 Oct 25 +* Re: I've written the code which shows HHH's DDD simulation halts.26Kaz Kylheku
26 Oct 25 i+* Proof that Kaz Kylheku is incorrect14olcott
26 Oct 25 ii`* Re: Proof that Kaz Kylheku is incorrect13Kaz Kylheku
26 Oct 25 ii +* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.10olcott
26 Oct 25 ii i`* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.9Kaz Kylheku
26 Oct 25 ii i `* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.8olcott
26 Oct 25 ii i  +* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.6Kaz Kylheku
26 Oct 25 ii i  i+* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.4Richard Heathfield
26 Oct 25 ii i  ii`* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.3olcott
26 Oct 25 ii i  ii `* Re: Proof that Kaz Kylheku is incorrect --- dbush validated.2Kaz Kylheku
26 Oct 25 ii i  ii  `- Re: Proof that Kaz Kylheku is incorrect --- dbush validated.1Tristan Wibberley
26 Oct 25 ii i  i`- Re: Proof that Kaz Kylheku is incorrect --- dbush validated.1Chris M. Thomasson
26 Oct 25 ii i  `- Re: Proof that Kaz Kylheku is incorrect --- dbush validated.1Tristan Wibberley
26 Oct 25 ii `* Re: Proof that Kaz Kylheku is incorrect2olcott
26 Oct 25 ii  `- Re: Proof that Kaz Kylheku is incorrect1Tristan Wibberley
26 Oct 25 i+- Trace with proper recognition of multiple simulations.1Kaz Kylheku
27 Oct 25 i+* Re: I've written the code which shows HHH's DDD simulation halts.9Mike Terry
27 Oct 25 ii`* Re: I've written the code which shows HHH's DDD simulation halts.8Kaz Kylheku
27 Oct 25 ii +* Re: I've written the code which shows HHH's DDD simulation halts.3Richard Heathfield
27 Oct 25 ii i`* Re: I've written the code which shows HHH's DDD simulation halts.2Mike Terry
27 Oct 25 ii i `- Re: I've written the code which shows HHH's DDD simulation halts.1Chris M. Thomasson
27 Oct 25 ii `* Re: I've written the code which shows HHH's DDD simulation halts.4Mike Terry
27 Oct 25 ii  +- Re: I've written the code which shows HHH's DDD simulation halts.1Mike Terry
27 Oct 25 ii  `* Re: I've written the code which shows HHH's DDD simulation halts.2Kaz Kylheku
28 Oct 25 ii   `- Re: I've written the code which shows HHH's DDD simulation halts.1Mike Terry
31 Oct 25 i`- Re: I've written the code which shows HHH's DDD simulation halts.1olcott
27 Oct 25 `- Re: I've written the code which shows HHH's DDD simulation halts.1Mike Terry

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal