Re: Why do people here insist on denying these verified facts?

Liste des GroupesRevenir à c theory 
Sujet : Re: Why do people here insist on denying these verified facts?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 27. Jun 2024, 09:18:15
Autres entêtes
Organisation : -
Message-ID : <v5j3nn$2km3o$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Unison/2.2
On 2024-06-26 12:53:16 +0000, olcott said:

On 6/26/2024 2:54 AM, Mikko wrote:
On 2024-06-25 13:19:46 +0000, olcott said:
 
On 6/25/2024 4:48 AM, Mikko wrote:
On 2024-06-24 14:03:12 +0000, immibis said:
 
On 24/06/24 15:50, olcott wrote:
On 6/24/2024 2:32 AM, Mikko wrote:
On 2024-06-23 13:23:10 +0000, olcott said:
 
On 6/23/2024 4:42 AM, Mikko wrote:
When the head line has the words "these verified facts" the message should
first tell what facts are "these verified facts" and who verified them
before any further discussion.
 
 It is a verified fact that 2 + 3 = 5 according to the semantics
of arithmetic. Anyone having an opinion that contradicts this is WRONG.
 Sure, but that was not the first thing mentioned in the initial message.
 
  int P(ptr2 x)
{
  int Halt_Status = H(x, x);
  if (Halt_Status)
    HERE: goto HERE;
  return Halt_Status;
}
 The call from P to H(P,P) when P is correctly emulated
by H cannot possibly return.
 The call from P to H(P,P) when P is correctly emulated
by H1 DOES return.
 
 Verified fact: the emulation is incorrect
 But which emulation? By H or by H1?
 
 Both of them are correct.
Because P never calls H1(P,P) and P does call H(P,P)
the call from P to H(P,P) returns in the first case
and cannot possibly return in the second case.
 Obviously false. The meaning of H(P,P) is determined by the text of H.
The meaning is fully determined by the complier that complies to the
x86 code and the semantics of x86. If one simulator interpretes the
x86 code differently from another simulator then one of them does not
follow the x86 semantics and is therefore incorrect.
 _DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
 The call from DDD to
the x86 emulator H0(DDD) at machine address 0000217a
when DDD is correctly emulated by H0 cannot possibly return.
 When DDD is correctly emulated by H0 then H0 must emulate itself
emulating DDD. This derives recursive emulation.
 When DDD is correctly emulated by H1 then H1 NEED NOT emulate itself
emulating DDD. This DOES NOT derive recursive emulation.
When DDD is emulated by H1 then H1 needs to the call to H0 and the
instructions of H0 which emulate DDD and its call to H0 and a recorsive
emulation follows. If H1 emulates correctly it must not emulate the
emulation of the instruction at 217f. Unless, of course, you lied
about H0.
--
Mikko

Date Sujet#  Auteur
22 Jun 24 * Why do people here insist on denying these verified facts?81olcott
22 Jun 24 +* Re: Why do people here insist on denying these verified facts?60Richard Damon
22 Jun 24 i`* Re: Why do people here insist on denying these verified facts?59olcott
22 Jun 24 i +* Re: Why do people here insist on denying these verified facts?3Richard Damon
22 Jun 24 i i`* Re: Why do people here insist on denying these verified facts?2olcott
22 Jun 24 i i `- Re: Why do people here insist on denying these verified facts?1Richard Damon
22 Jun 24 i `* Re: Why do people here insist on denying these verified facts?55joes
22 Jun 24 i  `* Re: Why do people here insist on denying these verified facts?54olcott
22 Jun 24 i   +* Re: Why do people here insist on denying these verified facts?44Richard Damon
22 Jun 24 i   i`* Re: Why do people here insist on denying these verified facts?43olcott
22 Jun 24 i   i `* Re: Why do people here insist on denying these verified facts?42Richard Damon
22 Jun 24 i   i  `* Re: Why do people here insist on denying these verified facts?41olcott
22 Jun 24 i   i   `* Re: Why do people here insist on denying these verified facts?40Richard Damon
22 Jun 24 i   i    `* Re: Why do people here insist on denying these verified facts?39olcott
22 Jun 24 i   i     +* Re: Why do people here insist on denying these verified facts?21Richard Damon
22 Jun 24 i   i     i`* Re: Why do people here insist on denying these verified facts?20olcott
22 Jun 24 i   i     i +* Re: Why do people here insist on denying these verified facts?9Richard Damon
22 Jun 24 i   i     i i`* Re: Why do people here insist on denying these verified facts?8olcott
22 Jun 24 i   i     i i `* Re: Why do people here insist on denying these verified facts?7Richard Damon
23 Jun 24 i   i     i i  `* Re: Why do people here insist on denying these verified facts?6olcott
23 Jun 24 i   i     i i   `* Re: Why do people here insist on denying these verified facts?5Richard Damon
23 Jun 24 i   i     i i    `* Re: Why do people here insist on denying these verified facts?4olcott
23 Jun 24 i   i     i i     `* Re: Why do people here insist on denying these verified facts?3Richard Damon
23 Jun 24 i   i     i i      `* Re: Why do people here insist on denying these verified facts?2olcott
23 Jun 24 i   i     i i       `- Re: Why do people here insist on denying these verified facts?1Richard Damon
22 Jun 24 i   i     i `* Re: Why do people here insist on denying these verified facts?10joes
23 Jun 24 i   i     i  `* Re: Why do people here insist on denying these verified facts?9olcott
23 Jun 24 i   i     i   +* Re: Why do people here insist on denying these verified facts?7Richard Damon
23 Jun 24 i   i     i   i`* Re: Why do people here insist on denying these verified facts?6olcott
23 Jun 24 i   i     i   i `* Re: Why do people here insist on denying these verified facts?5Richard Damon
23 Jun 24 i   i     i   i  `* Re: Why do people here insist on denying these verified facts?4olcott
23 Jun 24 i   i     i   i   `* Re: Why do people here insist on denying these verified facts?3Richard Damon
23 Jun 24 i   i     i   i    `* Re: Why do people here insist on denying these verified facts?2olcott
23 Jun 24 i   i     i   i     `- Re: Why do people here insist on denying these verified facts?1Richard Damon
25 Jun 24 i   i     i   `- Re: Why do people here insist on denying these verified facts?1joes
23 Jun 24 i   i     `* Re: Why do people here insist on denying these verified facts?17Mikko
23 Jun 24 i   i      `* Re: Why do people here insist on denying these verified facts?16olcott
24 Jun 24 i   i       `* Re: Why do people here insist on denying these verified facts?15Mikko
24 Jun 24 i   i        `* Re: Why do people here insist on denying these verified facts?14olcott
25 Jun 24 i   i         +- Re: Why do people here insist on denying these verified facts?1Richard Damon
25 Jun 24 i   i         `* Re: Why do people here insist on denying these verified facts?12Mikko
25 Jun 24 i   i          `* Re: Why do people here insist on denying these verified facts?11olcott
26 Jun 24 i   i           +- Re: Why do people here insist on denying these verified facts?1Richard Damon
26 Jun 24 i   i           `* Re: Why do people here insist on denying these verified facts?9Mikko
26 Jun 24 i   i            `* Re: Why do people here insist on denying these verified facts?8olcott
27 Jun 24 i   i             `* Re: Why do people here insist on denying these verified facts?7Mikko
27 Jun 24 i   i              `* Re: Why do people here insist on denying these verified facts?6olcott
28 Jun 24 i   i               +- Re: Why do people here insist on denying these verified facts?1Richard Damon
28 Jun 24 i   i               `* Re: Why do people here insist on denying these verified facts?4Mikko
28 Jun 24 i   i                `* Re: Why do people here insist on denying these verified facts?3olcott
29 Jun 24 i   i                 +- Re: Why do people here insist on denying these verified facts?1Richard Damon
29 Jun 24 i   i                 `- Re: Why do people here insist on denying these verified facts?1Mikko
25 Jun 24 i   `* Re: Why do people here insist on denying these verified facts?9joes
25 Jun 24 i    `* Re: Why do people here insist on denying these verified facts?8olcott
26 Jun 24 i     +- Re: Why do people here insist on denying these verified facts?1Richard Damon
26 Jun 24 i     +* Re: Why do people here insist on denying these verified facts?5Mikko
26 Jun 24 i     i`* Re: Why do people here insist on denying these verified facts?4olcott
27 Jun 24 i     i +- Re: Why do people here insist on denying these verified facts?1Richard Damon
27 Jun 24 i     i `* Re: Why do people here insist on denying these verified facts?2Mikko
27 Jun 24 i     i  `- Re: Why do people here insist on denying these verified facts?1olcott
26 Jun 24 i     `- Re: Why do people here insist on denying these verified facts?1joes
23 Jun 24 `* Re: Why do people here insist on denying these verified facts?20Mikko
23 Jun 24  `* Re: Why do people here insist on denying these verified facts?19olcott
24 Jun 24   +* Re: Why do people here insist on denying these verified facts?17Mikko
24 Jun 24   i`* Re: Why do people here insist on denying these verified facts?16olcott
24 Jun 24   i +* Re: Why do people here insist on denying these verified facts?13immibis
25 Jun 24   i i`* Re: Why do people here insist on denying these verified facts?12Mikko
25 Jun 24   i i `* Re: Why do people here insist on denying these verified facts?11olcott
26 Jun 24   i i  +- Re: Why do people here insist on denying these verified facts?1Richard Damon
26 Jun 24   i i  `* Re: Why do people here insist on denying these verified facts?9Mikko
26 Jun 24   i i   `* Re: Why do people here insist on denying these verified facts?8olcott
27 Jun 24   i i    +- Re: Why do people here insist on denying these verified facts?1Richard Damon
27 Jun 24   i i    `* Re: Why do people here insist on denying these verified facts?6Mikko
27 Jun 24   i i     `* Re: Why do people here insist on denying these verified facts?5olcott
28 Jun 24   i i      +- Re: Why do people here insist on denying these verified facts?1Richard Damon
28 Jun 24   i i      `* Re: Why do people here insist on denying these verified facts?3Mikko
28 Jun 24   i i       `* Re: Why do people here insist on denying these verified facts?2olcott
29 Jun 24   i i        `- Re: Why do people here insist on denying these verified facts?1Mikko
25 Jun 24   i +- Re: Why do people here insist on denying these verified facts?1Richard Damon
25 Jun 24   i `- Re: Why do people here insist on denying these verified facts?1Mikko
25 Jun 24   `- Re: Why do people here insist on denying these verified facts?1joes

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal