Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down

Liste des GroupesRevenir à s logic 
Sujet : Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 02. Jun 2024, 16:19:50
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3hv26$3bkv5$10@dont-email.me>
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 33
User-Agent : Mozilla Thunderbird
On 6/2/2024 6:51 AM, Richard Damon wrote:
On 6/1/24 11:33 PM, olcott wrote:
On 6/1/2024 6:27 PM, Richard Damon wrote:
On 6/1/24 7:12 PM, olcott wrote:
On 6/1/2024 6:02 PM, Richard Damon wrote:
On 6/1/24 6:40 PM, olcott wrote:
>
Show me where I said anything in the above spec about an aborted simulation.
>
So, why did HH stop simulating after some n steps?
>
Did it reach a final state in the simulation? if not, it ABORTED its simulation.
>
>
When every possible which way DD correctly simulated by HH never reaches
past its own simulated line 03 then
>
And a simulation either goes until it reaches a final state of the machine it is simulating, or it aborted its simulation.
>
>
typedef int (*ptr)();  // ptr is pointer to int function in C
00       int HH(ptr p, ptr i);
01       int DD(ptr p)
02       {
03         int Halt_Status = HH(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         HH(DD,DD);
12         return 0;
13       }
>
When every DD correctly simulated by any HH cannot possibly reach
past its own simulated line 03 in 1 to ∞ steps of correct simulation
of DD by HH then we have exhaustively examined every possible HH/DD
pair and each element has of this infinite set has the same property.
>
So?
>
It doesn't matter how many aborted simulaiton you do of a given input (and each HH simulated a DIFFERENT input since it simulated the INSTANCE of the template with a different HH)
>
>
In other words one cannot prove that every five pound rock weighs
more than every three pound rock, one must weigh them one-at-a-time?
 Nope. But you need to show that each rock IS a five pound rock.
 IF you weigh one rock, and find it is 5 pounds, doesn't mean that anothoer rock  rock that looks about the same is also 5 pouds,
 You do seem to like you Herring in Red sauce, don't you.
 The comparison here is that you have only "weighed" a very few of your DDs, only those built on an HH that NEVER aborts have been determined to not halt. The others are just haven't-yet-halted-after-n-steps, but we actually DO know that they WILL Halt after more.
 
>
The ONLY simulation that actually showed that ITS input was no-halting was the HH that never aborted, and it didn't answer.
>
Every other HH has a DIFFERENT INPUT and would be LYING to say it had that other input.
>
>
In other words (because each rock is different) one cannot prove that every five pound rock weighs more than every three pound rock, one must weigh them one-at-a-time?
Nope, unless of course you still need to weight them to show they ARE 5 pound rocks.
 
>
Every HH/DD pair of the infinite of every possible HH/DD pair
DD correctly simulated by HH NEVER HALTS.
 That isn't even your original claim you were asking about.
 Your claim wasn't about "Halting" because that is easily disproven, but that there correct PARTIAL simulation done by H never reaches the statement after the call.
 You are just showing your true colors, that you just don't understand what you are talkinag about and get your lies confused.
 
>
>
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
*THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
>
Nope. Aborted simulation don't prove anything.
>
>
When for each element of the infinite set of every HH/DD pair DD
correctly simulated by HH cannot get past its own simulated line 03
then we know that none of the DD inputs to each HH(DD,DD) ever halts.
  Nope. Try to actually PROVE that.
 
Semantic tautologies are self-evident truth that prove themselves.
It is a fact that every five pound rock weights more than any
three pound rock. No need to weigh any rocks.
typedef int (*ptr)();  // ptr is pointer to int function in C
00       int HH(ptr p, ptr i);
01       int DD(ptr p)
02       {
03         int Halt_Status = HH(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         HH(DD,DD);
12         return 0;
13       }
Likewise we correctly deduce that for every HH/DD pair of the
infinite set of all HH/DD pairs that match the above template
every DD correctly simulated by HH never reaches past its own
simulated line 03, thus never halts.
*WHEN WE LOOK AS THE X86 MACHINE CODE OF DD THIS IS UNEQUIVOCAL*
DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite (or
infinite) number of steps of correct emulation.
_DD()
[00001c22] 55         push ebp
[00001c23] 8bec       mov ebp,esp
[00001c25] 51         push ecx
[00001c26] 8b4508     mov eax,[ebp+08]
[00001c29] 50         push eax        ; push DD 1c22
[00001c2a] 8b4d08     mov ecx,[ebp+08]
[00001c2d] 51         push ecx        ; push DD 1c22
[00001c2e] e80ff7ffff call 00001342   ; call HH
[00001c33] 83c408     add esp,+08
[00001c36] 8945fc     mov [ebp-04],eax
[00001c39] 837dfc00   cmp dword [ebp-04],+00
[00001c3d] 7402       jz 00001c41
[00001c3f] ebfe       jmp 00001c3f
[00001c41] 8b45fc     mov eax,[ebp-04]
[00001c44] 8be5       mov esp,ebp
[00001c46] 5d         pop ebp
[00001c47] c3         ret
Size in bytes:(0038) [00001c47]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
28 May 24 * D correctly simulated by H cannot possibly halt --- templates and infinite sets253olcott
29 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets214Richard Damon
29 May 24 i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets213olcott
29 May 24 i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets212Richard Damon
29 May 24 i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets211olcott
29 May 24 i   +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets194Richard Damon
29 May 24 i   i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets193olcott
29 May 24 i   i +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets191Alan Mackenzie
29 May 24 i   i i+- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1olcott
29 May 24 i   i i`* Two dozen people were simply wrong189olcott
29 May 24 i   i i +* Re: Two dozen people were simply wrong3Alan Mackenzie
29 May 24 i   i i i+- Re: Two dozen people were simply wrong1olcott
29 May 24 i   i i i`- Re: Two dozen people were simply wrong1olcott
30 May 24 i   i i +* Re: Two dozen people were simply wrong (including Olcott)178Richard Damon
30 May 24 i   i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise177olcott
30 May 24 i   i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise176Richard Damon
30 May 24 i   i i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise175olcott
30 May 24 i   i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise174Richard Damon
30 May 24 i   i i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise173olcott
30 May 24 i   i i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise172Richard Damon
30 May 24 i   i i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise171olcott
30 May 24 i   i i i       +* Re: Two dozen people were simply wrong --- Try to prove otherwise11Richard Damon
30 May 24 i   i i i       i+* Re: Two dozen people were simply wrong --- Try to prove otherwise2olcott
30 May 24 i   i i i       ii`- Re: Two dozen people were simply wrong --- Try to prove otherwise1Richard Damon
30 May 24 i   i i i       i`* Re: Two dozen people were simply wrong --- Try to prove otherwise8olcott
30 May 24 i   i i i       i `* Re: Two dozen people were simply wrong --- Try to prove otherwise7Richard Damon
30 May 24 i   i i i       i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise6olcott
30 May 24 i   i i i       i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise5Richard Damon
30 May 24 i   i i i       i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise4olcott
30 May 24 i   i i i       i     `* Re: Olcott was simply wrong --- Try to prove otherwise3Richard Damon
30 May 24 i   i i i       i      `* Re: Olcott was simply wrong --- Try to prove otherwise2olcott
31 May 24 i   i i i       i       `- Re: Olcott was simply wrong --- Try to prove otherwise1Richard Damon
31 May 24 i   i i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise159olcott
31 May 24 i   i i i        +* Re: Two dozen people were simply wrong --- Try to prove otherwise157Richard Damon
31 May 24 i   i i i        i`* Re: Two dozen people were simply wrong --- Try to prove otherwise156olcott
31 May 24 i   i i i        i `* Re: Two dozen people were simply wrong --- Try to prove otherwise155Richard Damon
31 May 24 i   i i i        i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise154olcott
31 May 24 i   i i i        i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise153Richard Damon
31 May 24 i   i i i        i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise152olcott
31 May 24 i   i i i        i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise151Richard Damon
31 May 24 i   i i i        i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down150olcott
31 May 24 i   i i i        i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down149Richard Damon
1 Jun 24 i   i i i        i        `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down148olcott
1 Jun 24 i   i i i        i         `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down147Richard Damon
1 Jun 24 i   i i i        i          `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down146olcott
1 Jun 24 i   i i i        i           +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down144Richard Damon
1 Jun 24 i   i i i        i           i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down143olcott
1 Jun 24 i   i i i        i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down104Richard Damon
1 Jun 24 i   i i i        i           i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down103olcott
1 Jun 24 i   i i i        i           i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down101Richard Damon
1 Jun 24 i   i i i        i           i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down100olcott
1 Jun 24 i   i i i        i           i i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down98Richard Damon
1 Jun 24 i   i i i        i           i i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down97olcott
1 Jun 24 i   i i i        i           i i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down96Richard Damon
1 Jun 24 i   i i i        i           i i i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down95olcott
1 Jun 24 i   i i i        i           i i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down94Richard Damon
1 Jun 24 i   i i i        i           i i i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down93olcott
1 Jun 24 i   i i i        i           i i i i     +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down11Fred. Zwarts
1 Jun 24 i   i i i        i           i i i i     i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down10olcott
1 Jun 24 i   i i i        i           i i i i     i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down9Fred. Zwarts
1 Jun 24 i   i i i        i           i i i i     i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down8olcott
1 Jun 24 i   i i i        i           i i i i     i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down7Fred. Zwarts
1 Jun 24 i   i i i        i           i i i i     i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down6olcott
2 Jun 24 i   i i i        i           i i i i     i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down5Fred. Zwarts
2 Jun 24 i   i i i        i           i i i i     i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down4olcott
2 Jun 24 i   i i i        i           i i i i     i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down3Fred. Zwarts
2 Jun 24 i   i i i        i           i i i i     i        `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2olcott
2 Jun 24 i   i i i        i           i i i i     i         `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Richard Damon
1 Jun 24 i   i i i        i           i i i i     +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down78Richard Damon
1 Jun 24 i   i i i        i           i i i i     i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down77olcott
1 Jun 24 i   i i i        i           i i i i     i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down76Richard Damon
1 Jun 24 i   i i i        i           i i i i     i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down75olcott
1 Jun 24 i   i i i        i           i i i i     i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down73Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down72olcott
1 Jun 24 i   i i i        i           i i i i     i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down71Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down70olcott
1 Jun 24 i   i i i        i           i i i i     i   i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down8Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down7olcott
1 Jun 24 i   i i i        i           i i i i     i   i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down6Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down5olcott
1 Jun 24 i   i i i        i           i i i i     i   i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i   i i i        i           i i i i     i   i   i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down3Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i   i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2olcott
1 Jun 24 i   i i i        i           i i i i     i   i   i     `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down61Fred. Zwarts
1 Jun 24 i   i i i        i           i i i i     i   i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down60olcott
1 Jun 24 i   i i i        i           i i i i     i   i     +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down50Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i     i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down49olcott
1 Jun 24 i   i i i        i           i i i i     i   i     i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down48Richard Damon
1 Jun 24 i   i i i        i           i i i i     i   i     i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down47olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down45Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down44olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down43Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down42olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down37Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down36olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down35Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down34olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i   +* Re: Olcott is simply wrong --- Try to prove otherwise --- pinned down32Richard Damon
3 Jun 24 i   i i i        i           i i i i     i   i     i   i   i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Mikko
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
2 Jun 24 i   i i i        i           i i i i     i   i     i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
2 Jun 24 i   i i i        i           i i i i     i   i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down9Fred. Zwarts
1 Jun 24 i   i i i        i           i i i i     i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i   i i i        i           i i i i     +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i   i i i        i           i i i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2joes
1 Jun 24 i   i i i        i           i i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i   i i i        i           i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
1 Jun 24 i   i i i        i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down26Wasell
1 Jun 24 i   i i i        i           i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down12Fred. Zwarts
1 Jun 24 i   i i i        i           `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
4 Jun 24 i   i i i        `- Re: Two dozen people were simply wrong --- Try to prove otherwise1olcott
30 May 24 i   i i +- Re: Two dozen people were simply wrong1immibis
1 Jun 24 i   i i `* Re: Two dozen people were simply wrong -- Only basis for rebuttal in the last 3 years6olcott
30 May 24 i   i `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets16olcott
30 May 24 `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders38olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal