Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Every D(D) simulated by H presents non-halting behavior to H ###
Date: Mon, 27 May 2024 08:57:03 -0500
Organization: A noiseless patient Spider
Lines: 78
Message-ID: <v323ff$29pd$2@dont-email.me>
References: <v18e32$1vbql$1@dont-email.me> <v1ln3c$vfh$1@news.muc.de>
 <v1s6e6$397iq$2@dont-email.me> <v1slmi$3cjtp$1@dont-email.me>
 <v1t8tt$3gu9t$3@dont-email.me> <v1vc8j$3jmr$1@dont-email.me>
 <v1vsru$7eqc$1@dont-email.me> <v21r4i$otc2$2@dont-email.me>
 <v22k4b$umr4$1@dont-email.me> <v24oah$1h4u3$1@dont-email.me>
 <v256fc$1kais$1@dont-email.me> <v27d05$25ga0$1@dont-email.me>
 <v2838r$29rd7$1@dont-email.me> <v2a8th$2ps09$1@dont-email.me>
 <v2ahqc$2qvr9$1@dont-email.me> <v2cb5s$39fvg$1@dont-email.me>
 <v2crk0$3cifp$1@dont-email.me> <v2cvuo$3dfkm$1@dont-email.me>
 <v2i921$jvcs$5@dont-email.me> <v2k7fe$12vjm$1@dont-email.me>
 <v2l0q8$17mu1$1@dont-email.me> <v2n4f7$1ms87$1@dont-email.me>
 <v2nfma$1or9h$4@dont-email.me> <v2pkqq$28mg0$1@dont-email.me>
 <v2qhr2$2dpfr$6@dont-email.me> <v2s6kk$2q0pf$1@dont-email.me>
 <v2skde$2s65h$1@dont-email.me> <v2uthd$3bjch$1@dont-email.me>
 <v2vdkp$3dtct$3@dont-email.me> <v2vned$3fl3r$1@dont-email.me>
 <v2vp8f$3g0m3$1@dont-email.me> <v31f7s$3ukf5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 27 May 2024 15:57:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="458305845cd025bf1a433877c96321fe";
	logging-data="75565"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+cdXQelNaPFw/SjXZ526aA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AsxcEk2k20RSqfrxcQNIp/YdoLk=
Content-Language: en-US
In-Reply-To: <v31f7s$3ukf5$1@dont-email.me>
Bytes: 4840

On 5/27/2024 3:11 AM, Mikko wrote:
> On 2024-05-26 16:50:21 +0000, olcott said:

<snip>
So that: *Usenet Article Lookup*
http://al.howardknight.net/
can see the whole message now that
*the Thai spammer killed Google Groups*

typedef int (*ptr)();  // ptr is pointer to int function in C
00       int H(ptr p, ptr i);
01       int D(ptr p)
02       {
03         int Halt_Status = H(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         H(D,D);
12         return 0;
13       }

>> When we see that D correctly simulated by pure simulator H would remain
>> stuck in recursive simulation then we also know that D never reaches its
>> own line 06 and halts in less than an infinite number of correctly
>> simulated steps.
> 
> Which means that H never terminates. You said that by your definition
> a function that never terminates is not a pure function. Therefore
> H, if it exists, is not a pure function, and the phrase "pure function
> H" does not denote.
> 
>> This means that D correctly simulated by pure function H also never
>> reaches it own line 06 and halts.
> 
> Yes, if H never terminates then neither does D.
> 

*I should have said that more clearly*
*That is why I need reviewers*
*Here it is more clearly*

When we hypothesize that H is a pure simulator we see that D correctly
simulated by pure simulator H remains stuck in recursive simulation thus
never reaches its own simulated final state at its line 06 and halts. In
this case H does not halt, thus is neither a pure function nor a
decider.

 From this we correctly conclude that D correctly simulated by pure
function H never reaches its simulated final state at its own line 06
and halts in Less than an infinite (AKA finite) number of simulated
steps. *Here is a concrete example of that*

https://en.wikipedia.org/wiki/Googolplex
When pure function H correctly simulates a Googolplex ^ Googolplex
number of steps of D, then D never reaches its simulated final state
at its own line 06 and halts. Pure function H halts after this finite
number of steps of correct simulation.

In other words when the *INPUT* to H(D,D) is correctly simulated by
either pure simulator H or pure function H this correctly simulated
*INPUT* never halts no matter what, thus the INPUT to H(D,D) is
definitely non halting.

*This is STEP ONE of my four step proof*
STEP TWO applies these same ideas to the Peter Linz HP proof.
STEP THREE shows how the Linz Ĥ.H sees the behavior of its recursive
      simulations.
STEP FOUR shows why the behavior of the INPUT is the correct basis.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer