Re: Everyone here seems to consistently lie about this

Liste des GroupesRevenir à theory 
Sujet : Re: Everyone here seems to consistently lie about this
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 03. Aug 2024, 16:20:37
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8lebl$3ftpo$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 8/3/2024 9:01 AM, Fred. Zwarts wrote:
Op 03.aug.2024 om 15:48 schreef olcott:
On 8/3/2024 3:06 AM, Mikko wrote:
On 2024-08-02 02:09:38 +0000, olcott said:
>
*This algorithm is used by all the simulating termination analyzers*
<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>
>
DDD is correctly emulated by HHH according to the x86
language semantics of DDD and HHH including when DDD
emulates itself emulating DDD
>
*UNTIL*
>
HHH correctly determines that never aborting this
emulation would cause DDD and HHH to endlessly repeat.
>
The determination is not correct. DDD is a halting computation, as
correctely determined by HHH1 or simly calling it from main. It is
not possible to correctly determine that ha haling computation is
non-halting, as is self-evdent from the meaning of the words.
>
>
[Who here is too stupid to know that DDD correctly simulated
  by HHH cannot possibly reach its own return instruction?]
>
void DDD()
{
   HHH(DDD);
   return;
}
>
 When it cannot possibly reach its own return instruction,
You are not allowed to disagree with the semantics of C
or the semantics of the x86 language. As long as the
execution trace is consistent with these then it is defined
to be correct.
--
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
2 Aug 24 * Everyone here seems to consistently lie about this37olcott
2 Aug 24 +* Re: Everyone here seems to consistently lie about this ---7olcott
2 Aug 24 i`* Re: Peter Olcott here seems to consistently lie about this ---6Richard Damon
2 Aug 24 i `* Re: Peter Olcott here seems to consistently lie about this ---5olcott
2 Aug 24 i  `* Re: Peter Olcott here seems to consistently lie about this ---4Richard Damon
2 Aug 24 i   `* Re: Peter Olcott here seems to consistently lie about this ---3olcott
2 Aug 24 i    `* Re: Peter Olcott seems to consistently lie about this ---2Richard Damon
3 Aug 24 i     `- Re: Peter Olcott seems to consistently lie about this ---1Mikko
2 Aug 24 +- Re: Peter Olcott here seems to consistently lie about this1Richard Damon
2 Aug 24 +* Re: Everyone here seems to consistently lie about this3Fred. Zwarts
2 Aug 24 i`* Re: Everyone here seems to consistently lie about this2olcott
2 Aug 24 i `- Re: Peter Olcott seems to consistently lie about this1Richard Damon
3 Aug 24 `* Re: Everyone here seems to consistently lie about this25Mikko
3 Aug 24  `* Re: Everyone here seems to consistently lie about this24olcott
3 Aug 24   +* Re: Everyone here seems to consistently lie about this9Fred. Zwarts
3 Aug 24   i`* Re: Everyone here seems to consistently lie about this8olcott
3 Aug 24   i `* Re: Everyone here seems to consistently lie about this7Fred. Zwarts
3 Aug 24   i  `* Re: Everyone here seems to consistently lie about this6olcott
4 Aug 24   i   `* Re: Everyone here seems to consistently lie about this5Fred. Zwarts
4 Aug 24   i    `* Re: Everyone here seems to consistently lie about this4olcott
4 Aug 24   i     +- Re: Everyone here seems to consistently lie about this1Richard Damon
5 Aug 24   i     `* Re: Everyone here seems to consistently lie about this2Mikko
5 Aug 24   i      `- Re: Everyone here seems to consistently lie about this1olcott
4 Aug 24   `* Re: Everyone here seems to consistently lie about this14Mikko
4 Aug 24    `* Re: Everyone here seems to consistently lie about this13olcott
4 Aug 24     +- Re: Everyone here seems to consistently lie about this1Richard Damon
5 Aug 24     `* Re: Everyone here seems to consistently lie about this11Mikko
5 Aug 24      `* Re: Everyone here seems to consistently lie about this10olcott
6 Aug 24       `* Re: Everyone here seems to consistently lie about this9Mikko
6 Aug 24        `* Re: Everyone here seems to consistently lie about this8olcott
6 Aug 24         +- Re: Peter Olcott seems to consistently lie about this1Richard Damon
6 Aug 24         +* Re: Everyone here seems to consistently lie about this3Richard Damon
6 Aug 24         i`* Re: Everyone here seems to consistently lie about this2olcott
7 Aug 24         i `- Re: Petyer Olcott seems to consistently lie about this1Richard Damon
7 Aug 24         `* Re: Everyone here seems to consistently lie about this3Mikko
7 Aug 24          `* Re: Everyone here seems to consistently lie about this2olcott
8 Aug 24           `- Re: Everyone here seems to consistently lie about this1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal