Proof that Kaz Kylheku is incorrect

Liste des GroupesRevenir à theory 
Sujet : Proof that Kaz Kylheku is incorrect
De : NoOne (at) *nospam* NoWhere.com (olcott)
Groupes : comp.theory
Date : 26. Oct 2025, 03:42:14
Autres entêtes
Message-ID : <BNydnXo17YQbF2D1nZ2dnZfqlJydnZ2d@giganews.com>
References : 1 2
User-Agent : Mozilla Thunderbird
On 10/25/2025 9:40 PM, Kaz Kylheku wrote:
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