Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

Liste des GroupesRevenir à s logic 
Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 06. Jul 2024, 15:01:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6bf7r$3qiio$2@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
User-Agent : Mozilla Thunderbird
On 7/6/2024 4:09 AM, Fred. Zwarts wrote:
Op 05.jul.2024 om 17:54 schreef olcott:
On 7/5/2024 10:48 AM, Fred. Zwarts wrote:
Op 05.jul.2024 om 16:05 schreef olcott:
On 7/5/2024 8:54 AM, Fred. Zwarts wrote:
>
HHH cannot possibly correctly simulate itself.
>
LIAR! I give up on you.
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>
No need to come back, because you are unable to point to any error in my reasoning.
>
I conclusively proved that HHH is correctly simulating itself
simulating DDD and you simply freaking lie about it.
>
Your replies are only irrelevant, or supporting my reasoning. I showed that HHH cannot possibly simulate itself correctly and your full trace supports this, as it shows that the simulating HHH is unable to reach the 'ret' of the simulated HHH.
>
>
*Unable to reach ret IS A FREAKING CORRECT FREAKING SIMULATION*
 Unable to reach ret *is a freaking demonstration* of an incorrect simulation.
 
If it was incorrect you would have to show which
x86 instruction was simulated incorrectly. You
can't do that because it is a matter of verified
fact that none of them were simulated incorrectly.

The machine code specifies that DDD simulated by HHH according
to the semantics of the x86 language cannot possibly reach the
ret instruction of DDD or its correctly simulated self.
>
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
>
>
 Your traces shows that HHH aborts the simulation at a point there the simulated HHH has only one cycle to go before it would abort and halt.
All of the HHH have the same code. The outer HHH
meets its abort criteria first. It is a verified
fact that unless the outer HHH aborts then none
of them do. This violates this correct criteria
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

So, the only reason why this simulation does not reach the 'ret' of the simulated HHH, is that it is aborted prematurely.
A correct simulation by another simulator shows that this is indeed the case.
HHH1 can wait for HHH to abort because DDD does not call HHH1.
HHH cannot wait because DDD calls HHH.

HHH cannot possible simulate *itself* correctly. This code and your trace demonstrates this. The fact that the simulation does not reach the 'ret', where other simulator can do that, demonstrates that HHH's simulation of itself is incorrect.
 The only thing you brought in against it, is a baseless repetition that you still belief that the simulation is correct.
 HHH that aborts and halts can be compared to a bear running at you to kill you:
 All other simulators will tell you that HHH aborts and halts.
All people will warn you that the bear is running at you and will kill you.
 Only when HHH simulates itself, it says: not aborting and non-halting.
The bear says about itself: I am not running and I will not kill you.
 What do you trust?
I only trust correct reasoning. You are not using this.
--
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
3 Jul 24 * Liar detector: Fred, Richard, Joes and Alan112olcott
3 Jul 24 +* Re: Liar detector: Fred, Richard, Joes and Alan100Fred. Zwarts
3 Jul 24 i`* Re: Liar detector: Fred, Richard, Joes and Alan99olcott
3 Jul 24 i `* Re: Liar detector: Fred, Richard, Joes and Alan98Fred. Zwarts
3 Jul 24 i  `* Re: Liar detector: Fred, Richard, Joes and Alan97olcott
3 Jul 24 i   `* Re: Liar detector: Fred, Richard, Joes and Alan96Fred. Zwarts
3 Jul 24 i    `* Re: Liar detector: Fred, Richard, Joes and Alan95olcott
3 Jul 24 i     `* Re: Liar detector: Fred, Richard, Joes and Alan94Fred. Zwarts
3 Jul 24 i      `* Re: Liar detector: Fred, Richard, Joes and Alan93olcott
4 Jul 24 i       `* Re: Liar detector: Fred, Richard, Joes and Alan92Fred. Zwarts
4 Jul 24 i        `* Re: Liar detector: Fred, Richard, Joes and Alan91olcott
4 Jul 24 i         +- Re: Liar detector: Peter Olcott (self-admitted)1Richard Damon
4 Jul 24 i         `* Re: Liar detector: Fred, Richard, Joes and Alan89Fred. Zwarts
4 Jul 24 i          `* Re: Liar detector: Fred, Richard, Joes and Alan88olcott
4 Jul 24 i           `* Re: Liar detector: Fred, Richard, Joes and Alan87Fred. Zwarts
4 Jul 24 i            `* Re: Liar detector: Fred, Richard, Joes and Alan86olcott
4 Jul 24 i             `* Re: Liar detector: Fred, Richard, Joes and Alan85Fred. Zwarts
4 Jul 24 i              `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement84olcott
5 Jul 24 i               +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i               `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement82Fred. Zwarts
5 Jul 24 i                `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement81olcott
5 Jul 24 i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement79Fred. Zwarts
5 Jul 24 i                 i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement78olcott
5 Jul 24 i                 i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement77Fred. Zwarts
5 Jul 24 i                 i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement76olcott
5 Jul 24 i                 i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement75Fred. Zwarts
5 Jul 24 i                 i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement74olcott
5 Jul 24 i                 i     +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i                 i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement72Fred. Zwarts
6 Jul 24 i                 i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement71olcott
6 Jul 24 i                 i       +- Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement1Richard Damon
6 Jul 24 i                 i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement69Fred. Zwarts
6 Jul 24 i                 i        +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3olcott
6 Jul 24 i                 i        i+- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i                 i        i`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Fred. Zwarts
6 Jul 24 i                 i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement65olcott
6 Jul 24 i                 i         +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i                 i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement63Fred. Zwarts
6 Jul 24 i                 i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement62olcott
6 Jul 24 i                 i           +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i                 i           `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement60Fred. Zwarts
6 Jul 24 i                 i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement59olcott
6 Jul 24 i                 i             +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i                 i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement35Richard Damon
6 Jul 24 i                 i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar34olcott
6 Jul 24 i                 i             i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar33Richard Damon
6 Jul 24 i                 i             i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?32olcott
6 Jul 24 i                 i             i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?31Richard Damon
6 Jul 24 i                 i             i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?30olcott
6 Jul 24 i                 i             i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?29Richard Damon
6 Jul 24 i                 i             i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?28olcott
7 Jul 24 i                 i             i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?27Richard Damon
7 Jul 24 i                 i             i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?26olcott
7 Jul 24 i                 i             i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?25Richard Damon
7 Jul 24 i                 i             i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?24olcott
7 Jul 24 i                 i             i           `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?23Richard Damon
7 Jul 24 i                 i             i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?22olcott
7 Jul 24 i                 i             i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?21Richard Damon
7 Jul 24 i                 i             i              `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?20olcott
7 Jul 24 i                 i             i               `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?19Richard Damon
7 Jul 24 i                 i             i                `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?18olcott
7 Jul 24 i                 i             i                 `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?17Richard Damon
7 Jul 24 i                 i             i                  +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?8olcott
7 Jul 24 i                 i             i                  i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?7Richard Damon
7 Jul 24 i                 i             i                  i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!6olcott
7 Jul 24 i                 i             i                  i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!5Richard Damon
7 Jul 24 i                 i             i                  i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!4olcott
7 Jul 24 i                 i             i                  i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!3Richard Damon
7 Jul 24 i                 i             i                  i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!2olcott
7 Jul 24 i                 i             i                  i      `- Re: Liar detector: Olcott is a Liar !!!1Richard Damon
7 Jul 24 i                 i             i                  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!8olcott
7 Jul 24 i                 i             i                   `* Re: Liar detector: Peter Olcott is a Liar !!!7Richard Damon
7 Jul 24 i                 i             i                    `* Richard is a Liar6olcott
7 Jul 24 i                 i             i                     `* Re: Richard is a Liar5Richard Damon
7 Jul 24 i                 i             i                      `* Re: Richard is a Liar4olcott
7 Jul 24 i                 i             i                       `* Re: Olcott is a Liar3Richard Damon
7 Jul 24 i                 i             i                        `* Is Richard a Liar?2olcott
7 Jul 24 i                 i             i                         `- Re: Olcott IS a Liar!1Richard Damon
7 Jul 24 i                 i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement22Fred. Zwarts
7 Jul 24 i                 i              `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement21olcott
7 Jul 24 i                 i               +- Re: Liar detector: Peter Olcott1Richard Damon
8 Jul 24 i                 i               `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement19Fred. Zwarts
8 Jul 24 i                 i                `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement18olcott
8 Jul 24 i                 i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement4olcott
8 Jul 24 i                 i                 i+* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2joes
8 Jul 24 i                 i                 ii`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1olcott
9 Jul 24 i                 i                 i`- Re: Liar detector: Peter Olcott lies1Richard Damon
8 Jul 24 i                 i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement12Fred. Zwarts
8 Jul 24 i                 i                 i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement11olcott
8 Jul 24 i                 i                 i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement10Fred. Zwarts
8 Jul 24 i                 i                 i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement9olcott
9 Jul 24 i                 i                 i   +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement5Fred. Zwarts
9 Jul 24 i                 i                 i   i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement4olcott
10 Jul 24 i                 i                 i   i `* Re: Liar detector: Peter Olcott --- Ben's agreement3Richard Damon
10 Jul 24 i                 i                 i   i  `* a complete emulation of this input could be done --- Liar2olcott
10 Jul 24 i                 i                 i   i   `- Re: a complete emulation of this input could be done --- Liar1Richard Damon
9 Jul 24 i                 i                 i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3olcott
10 Jul 24 i                 i                 i    +- Re: Liar detector: Peter Olcott --- Ben's agreement1Richard Damon
12 Jul 24 i                 i                 i    `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1olcott
9 Jul 24 i                 i                 `- Re: Liar detector: Peter Olcott found lying.1Richard Damon
5 Jul 24 i                 `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
4 Jul 24 `* Re: Liar detector: Peter OLCOTT YES!11Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal