Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?

Liste des GroupesRevenir à c theory 
Sujet : Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?
De : abc (at) *nospam* def.com (olcott)
Groupes : comp.theory
Date : 06. Aug 2024, 05:21:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8s4rc$1bo1b$1@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
User-Agent : Mozilla Thunderbird
On 8/5/2024 10:12 PM, Mike Terry wrote:
On 06/08/2024 03:25, olcott wrote:
On 8/5/2024 8:32 PM, Richard Damon wrote:
On 8/5/24 8:07 PM, olcott wrote:
On 8/5/2024 5:59 PM, Richard Damon wrote:
On 8/5/24 9:49 AM, olcott wrote:
On 8/5/2024 2:39 AM, Mikko wrote:
On 2024-08-04 18:59:03 +0000, olcott said:
>
On 8/4/2024 1:51 PM, Richard Damon wrote:
On 8/4/24 9:53 AM, olcott wrote:
On 8/4/2024 1:22 AM, Fred. Zwarts wrote:
Op 03.aug.2024 om 18:35 schreef olcott:
 >>>> ∞ instructions of DDD correctly emulated by HHH[∞] never
reach their own "return" instruction final state.
>
So you are saying that the infinite one does?
>
>
Dreaming again of HHH that does not abort? Dreams are no substitute for facts.
The HHH that aborts and halts, halts. A tautology.
>
void DDD()
{
   HHH(DDD);
   return;
}
>
That is the right answer to the wrong question.
I am asking whether or not DDD emulated by HHH
reaches its "return" instruction.
>
But the "DDD emulated by HHH" is the program DDD above,
>
When I say DDD emulated by HHH I mean at any level of
emulation and not and direct execution.
>
If you mean anything other than what the words mean you wihout
a definition in the beginning of the same message then it is
not reasonable to expect anyone to understand what you mean.
Instead people may think that you mean what you say or that
you don't know what you are saying.
>
>
If you don't understand what the word "emulate" means look it up.
>
DDD (above) cannot possibly reach its own "return" instruction halt
state when its machine code is correctly emulated by HHH.
>
>
Only because an HHH that does so never returns to anybody.
>
>
Do you really not understand that recursive emulation <is>
isomorphic to infinite recursion?
>
>
Not when the emulation is conditional.
>
>
Infinite_Recursion() meets the exact same condition that DDD
emulated by HHH makes and you know this. Since you are so
persistently trying to get away contradicting the semantics
of the x86 language the time is coming where there is zero
doubt that this is an honest mistake.
>
Ben does correctly understand that the first half of the Sipser
approved criteria is met. Even Mike finally admitted this.
 I don't recall doing that.  Please provide a reference for this.
 
On 8/2/2024 8:19 PM, Mike Terry wrote:
 > It's easy enough to say "PO has his own criterion for
 > halting, which is materially different from the HP condition,
 > and so we all agree PO is correct by his own criterion...

(Of course, everything depends on what you take Sipser's quote to be saying.  I choose to interpret it as I'm pretty confident that Sipser intended, under which the first half is mpst certainly NOT met!)
  Mike.
 
<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>
void DDD()
{
   HHH(DDD);
   return;
}
It is certainly the case that DDD correctly simulated by any
HHH cannot possibly stop running unless aborted.
I don't see how any expert in the C language can deny that
with a straight face. Four have affirmed it. Two of these
four have masters degrees in computer science.
--
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 * Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?395olcott
2 Aug 24 +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?11Richard Damon
3 Aug 24 i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?10olcott
3 Aug 24 i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?9Richard Damon
3 Aug 24 i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?8olcott
3 Aug 24 i   `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?7Richard Damon
3 Aug 24 i    `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?6olcott
3 Aug 24 i     `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?5Richard Damon
3 Aug 24 i      `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?4olcott
3 Aug 24 i       `* Re: Olcott is too stupid to know that only the DDD correctly simulated by onlly the HHH that doesn't abort cannot possibly reach its own return instruction?3Richard Damon
3 Aug 24 i        `* Who here is too stupid to know that DDD correctly simulated,by HHH cannot possibly reach its own return instruction?2olcott
3 Aug 24 i         `- Re: Who here is too stupid to know that DDD correctly simulated,by HHH cannot possibly reach its own return instruction?1Richard Damon
3 Aug 24 +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?287Fred. Zwarts
3 Aug 24 i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?286olcott
3 Aug 24 i +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?284Fred. Zwarts
3 Aug 24 i i`* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?283olcott
3 Aug 24 i i +- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Fred. Zwarts
3 Aug 24 i i `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?281Richard Damon
3 Aug 24 i i  `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?280olcott
3 Aug 24 i i   +* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?278Richard Damon
3 Aug 24 i i   i`* Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?277olcott
3 Aug 24 i i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?276Richard Damon
3 Aug 24 i i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?275olcott
3 Aug 24 i i   i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?29Richard Damon
3 Aug 24 i i   i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?28olcott
3 Aug 24 i i   i   i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?27Richard Damon
3 Aug 24 i i   i   i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?26olcott
3 Aug 24 i i   i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
3 Aug 24 i i   i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
3 Aug 24 i i   i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
3 Aug 24 i i   i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
3 Aug 24 i i   i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD21Richard Damon
3 Aug 24 i i   i   i        `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD20olcott
3 Aug 24 i i   i   i         `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD19Richard Damon
3 Aug 24 i i   i   i          `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD18olcott
4 Aug 24 i i   i   i           `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD17Richard Damon
4 Aug 24 i i   i   i            `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD16olcott
4 Aug 24 i i   i   i             `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD15Richard Damon
4 Aug 24 i i   i   i              `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD14olcott
4 Aug 24 i i   i   i               `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD13Richard Damon
4 Aug 24 i i   i   i                `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD12olcott
4 Aug 24 i i   i   i                 `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD11Richard Damon
4 Aug 24 i i   i   i                  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD10olcott
4 Aug 24 i i   i   i                   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD3Richard Damon
4 Aug 24 i i   i   i                   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD2olcott
4 Aug 24 i i   i   i                   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD1Richard Damon
5 Aug 24 i i   i   i                   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD6Mikko
5 Aug 24 i i   i   i                    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD5olcott
7 Aug 24 i i   i   i                     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state? BUT ONLY that DDD4Mikko
7 Aug 24 i i   i   i                      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
8 Aug 24 i i   i   i                       +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
8 Aug 24 i i   i   i                       `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Mikko
4 Aug 24 i i   i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?245Fred. Zwarts
4 Aug 24 i i   i    `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?244olcott
4 Aug 24 i i   i     `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?243Richard Damon
4 Aug 24 i i   i      `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?242olcott
4 Aug 24 i i   i       +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
5 Aug 24 i i   i       +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?236Mikko
5 Aug 24 i i   i       i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?235olcott
6 Aug 24 i i   i       i +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?25Richard Damon
6 Aug 24 i i   i       i i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?24olcott
6 Aug 24 i i   i       i i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?23Richard Damon
6 Aug 24 i i   i       i i  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?22olcott
6 Aug 24 i i   i       i i   +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4wij
6 Aug 24 i i   i       i i   i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i   i +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   i `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1wij
6 Aug 24 i i   i       i i   +- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i   `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?16Mike Terry
6 Aug 24 i i   i       i i    +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?14olcott
6 Aug 24 i i   i       i i    i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Richard Damon
6 Aug 24 i i   i       i i    ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4olcott
6 Aug 24 i i   i       i i    ii `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3Richard Damon
6 Aug 24 i i   i       i i    ii  `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2olcott
6 Aug 24 i i   i       i i    ii   `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i    i`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?8Mike Terry
6 Aug 24 i i   i       i i    i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?7olcott
6 Aug 24 i i   i       i i    i  +* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?5Mike Terry
6 Aug 24 i i   i       i i    i  i+* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?3olcott
6 Aug 24 i i   i       i i    i  ii`* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?2Mike Terry
6 Aug 24 i i   i       i i    i  ii `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
6 Aug 24 i i   i       i i    i  i`- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1olcott
7 Aug 24 i i   i       i i    i  `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
6 Aug 24 i i   i       i i    `- Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?1Richard Damon
7 Aug 24 i i   i       i `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?209Mikko
7 Aug 24 i i   i       i  `* HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string208olcott
7 Aug 24 i i   i       i   +* Re: HHH maps its input to the behavior specified by it206joes
7 Aug 24 i i   i       i   i+* Re: HHH maps its input to the behavior specified by it204olcott
8 Aug 24 i i   i       i   ii`* Re: HHH maps its input to the behavior specified by it203Richard Damon
8 Aug 24 i i   i       i   ii `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state202olcott
8 Aug 24 i i   i       i   ii  `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state201Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- HHH never reaches its halt state so never decides, or it decides wrong.1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   i`- Re: HHH maps its input to the behavior specified by it --- never reaches its halt state1Richard Damon
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state186olcott
8 Aug 24 i i   i       i   ii   +* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   ii   `* Re: HHH maps its input to the behavior specified by it --- never reaches its halt state2olcott
8 Aug 24 i i   i       i   i`- Re: HHH maps its input to the behavior specified by it1Mikko
8 Aug 24 i i   i       i   `- Re: HHH computes the mapping from its input finite sting to the actual behavior specified by this finite string (Which is the results of running the input)1Richard Damon
7 Aug 24 i i   i       `* Re: Who knows that DDD correctly simulated by HHH cannot possibly reach its own return instruction final state?4Keith Thompson
4 Aug 24 i i   `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Fred. Zwarts
3 Aug 24 i `- Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?1Richard Damon
3 Aug 24 `* Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?96Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal