Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à s logic 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 27. May 2024, 16:10:54
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3249e$28n59$1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 5/27/24 9:52 AM, olcott wrote:
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.
>
 *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.
But when you hypothesize that H is actually a "pure simulator" (presumably one that never aborts) then you are creating a D that uses that pure simulator, and are ONLY deriving conclusions for such a D.
The results do NOT apply for a D built on a different H, that happens to abort its simulation,

  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:
Right, but ONLY for a D built on such a pure simulator. It says nothing if you build a

 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.
But then H is NOT that "Pure Simulator" you were imagining above, and thus you can't use that result.

 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.
Nope. You might be able to claim that your H can't reach the final step in its simulation, but you can't claim that the input doesn't halt when simulated by a Pure Simulator. You have admited that if H(D,D) returns 0 then D(D) will halt.
You then try to claim, without being able to prove the false statement, that somehow it is ok for H to give the wrong answer, but of course that is just an admission that you logic system is broken and inconsistent.

 *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.
 
And it seems ALL You steps have similar error, because you just don't understand what you are talking about. This is the problem of trying to work in a system you haven't actually studied.

Date Sujet#  Auteur
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H409olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H60Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H39olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H38Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H14olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H13Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H12olcott
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i     `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i      `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i       `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i        `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H347olcott
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H47Richard Damon
7 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ===46olcott
7 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H ===45Richard Damon
7 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 ii     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===40Richard Damon
7 May 24 ii     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===39olcott
7 May 24 ii     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 ii     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 ii     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 ii     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 ii     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 ii     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 ii     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===31olcott
8 May 24 ii     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===30Richard Damon
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===25olcott
8 May 24 ii     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===24Richard Damon
8 May 24 ii     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 ii     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 ii     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@21olcott
8 May 24 ii     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 ii     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 ii     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 ii     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 ii     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 ii     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 ii     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9Richard Damon
8 May 24 ii     i    i     `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8olcott
8 May 24 ii     i    i      +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2wij
9 May 24 ii     i    i      i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i      `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@5Richard Damon
9 May 24 ii     i    i       `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@4olcott
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 ii     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H298olcott
7 May 24 i`- Re: Every D(D) simulated by H presents non-halting behavior to H1olcott
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal