Re: Anyone that disagrees with this is not telling the truth ---V2

Liste des GroupesRevenir à theory 
Sujet : Re: Anyone that disagrees with this is not telling the truth ---V2
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 20. Aug 2024, 10:10:43
Autres entêtes
Organisation : -
Message-ID : <va1mij$3b004$1@dont-email.me>
References : 1 2 3 4
User-Agent : Unison/2.2
On 2024-08-19 11:54:52 +0000, olcott said:

On 8/19/2024 2:36 AM, Mikko wrote:
On 2024-08-18 12:32:54 +0000, olcott said:
 
On 8/17/2024 7:29 AM, olcott wrote:
void DDD()
{
  HHH(DDD);
}
 _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]
 *It is a basic fact that DDD emulated by HHH according to*
*the semantics of the x86 language cannot possibly stop*
*running unless aborted* (out of memory error excluded)
 
 X = DDD emulated by HHH according to the semantics of the x86 language
Y = HHH never aborts its emulation of DDD
Z = DDD never stops running
 (X ∧ Y) ↔ Z
 What was wrong in the original version?
 
 I appended the above formula
How does that formula contradict the original version?
--
Mikko

Date Sujet#  Auteur
17 Aug 24 * Anyone that disagrees with this is not telling the truth107olcott
17 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth10olcott
17 Aug 24 i+* Re: Anyone that claims this is not telling the truth6Richard Damon
17 Aug 24 ii+* Re: Anyone that claims this is not telling the truth2olcott
17 Aug 24 iii`- Re: Anyone that claims this is not telling the truth1Richard Damon
17 Aug 24 ii`* Re: Anyone that claims this is not telling the truth3olcott
17 Aug 24 ii +- Re: Anyone that claims this is not telling the truth1Richard Damon
18 Aug 24 ii `- Re: Anyone that claims this is not telling the truth1Mikko
18 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth3Mikko
18 Aug 24 i `* Re: Anyone that disagrees with this is not telling the truth2olcott
18 Aug 24 i  `- Re: Anyone that disagrees with this is not telling the truth1Richard Damon
17 Aug 24 +* Re: Anyone that claims this is not telling the truth53Richard Damon
17 Aug 24 i`* Re: Anyone that claims this is not telling the truth52olcott
17 Aug 24 i `* Re: Anyone that claims this is not telling the truth51Richard Damon
17 Aug 24 i  `* Re: Anyone that claims this is not telling the truth50olcott
17 Aug 24 i   +* Re: Anyone that claims this is not telling the truth42Richard Damon
17 Aug 24 i   i`* Re: Anyone that claims this is not telling the truth41olcott
17 Aug 24 i   i +* Re: Anyone that claims this is not telling the truth33Richard Damon
17 Aug 24 i   i i`* Re: Anyone that claims this is not telling the truth32olcott
17 Aug 24 i   i i `* Re: Anyone that claims this is not telling the truth31Richard Damon
17 Aug 24 i   i i  `* Re: Anyone that claims this is not telling the truth30olcott
17 Aug 24 i   i i   `* Re: Anyone that claims this is not telling the truth29Richard Damon
17 Aug 24 i   i i    `* Re: Anyone that claims this is not telling the truth28olcott
17 Aug 24 i   i i     `* Re: Anyone that claims this is not telling the truth27Richard Damon
17 Aug 24 i   i i      `* Re: Anyone that claims this is not telling the truth26olcott
17 Aug 24 i   i i       +* Re: Anyone that claims this is not telling the truth21Richard Damon
17 Aug 24 i   i i       i`* Re: Anyone that claims this is not telling the truth20olcott
17 Aug 24 i   i i       i `* Re: Anyone that claims this is not telling the truth19Richard Damon
17 Aug 24 i   i i       i  `* Re: Anyone that claims this is not telling the truth18olcott
17 Aug 24 i   i i       i   `* Re: Anyone that claims this is not telling the truth17Richard Damon
17 Aug 24 i   i i       i    `* Re: Anyone that claims this is not telling the truth16olcott
17 Aug 24 i   i i       i     `* Re: Anyone that claims this is not telling the truth15Richard Damon
17 Aug 24 i   i i       i      `* Re: Anyone that claims this is not telling the truth14olcott
17 Aug 24 i   i i       i       `* Re: Anyone that claims this is not telling the truth13Richard Damon
17 Aug 24 i   i i       i        `* Re: Anyone that claims this is not telling the truth12olcott
18 Aug 24 i   i i       i         `* Re: Anyone that claims this is not telling the truth11Richard Damon
18 Aug 24 i   i i       i          `* Re: Anyone that claims this is not telling the truth10olcott
18 Aug 24 i   i i       i           `* Re: Anyone that claims this is not telling the truth9Richard Damon
18 Aug 24 i   i i       i            +* Re: Anyone that claims this is not telling the truth2olcott
18 Aug 24 i   i i       i            i`- Re: Anyone that claims this is not telling the truth1Richard Damon
18 Aug 24 i   i i       i            +* Re: Anyone that claims this is not telling the truth2olcott
18 Aug 24 i   i i       i            i`- Re: Anyone that claims this is not telling the truth1Richard Damon
18 Aug 24 i   i i       i            `* Re: Anyone that claims this is not telling the truth4olcott
18 Aug 24 i   i i       i             `* Re: Anyone that claims this is not telling the truth3Richard Damon
18 Aug 24 i   i i       i              `* Re: Anyone that claims this is not telling the truth2olcott
18 Aug 24 i   i i       i               `- Re: Anyone that claims this is not telling the truth1Richard Damon
18 Aug 24 i   i i       `* Re: Anyone that claims this is not telling the truth4Mikko
18 Aug 24 i   i i        `* Re: Anyone that claims this is not telling the truth3olcott
18 Aug 24 i   i i         +- Re: Anyone that claims this is not telling the truth1Richard Damon
19 Aug 24 i   i i         `- Re: Anyone that claims this is not telling the truth1Mikko
18 Aug 24 i   i `* Re: Anyone that claims this is not telling the truth7Mikko
18 Aug 24 i   i  `* Re: Anyone that claims this is not telling the truth6olcott
18 Aug 24 i   i   +* Re: Anyone that claims this is not telling the truth2Richard Damon
19 Aug 24 i   i   i`- Re: Anyone that claims this is not telling the truth1Mikko
19 Aug 24 i   i   `* Re: Anyone that claims this is not telling the truth3Mikko
19 Aug 24 i   i    `* Re: Anyone that claims this is not telling the truth2Richard Damon
20 Aug 24 i   i     `- Re: Anyone that claims this is not telling the truth1Mikko
18 Aug 24 i   `* Re: Anyone that claims this is not telling the truth7Mikko
18 Aug 24 i    `* Re: Anyone that claims this is not telling the truth6olcott
18 Aug 24 i     +- Re: Anyone that claims this is not telling the truth1Richard Damon
19 Aug 24 i     `* Re: Anyone that claims this is not telling the truth4Mikko
19 Aug 24 i      `* Re: Anyone that claims this is not telling the truth --- V43olcott
20 Aug 24 i       +- Re: Anyone that claims this is not telling the truth --- V41Richard Damon
20 Aug 24 i       `- Re: Anyone that claims this is not telling the truth --- V41Mikko
18 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth8Mikko
18 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth7olcott
18 Aug 24 i +- Re: Anyone that disagrees with this is not telling the truth1Richard Damon
19 Aug 24 i +* Re: Anyone that disagrees with this is not telling the truth4Mikko
19 Aug 24 i i`* Re: Anyone that disagrees with this is not telling the truth V43olcott
20 Aug 24 i i +- Re: Anyone that disagrees with this is not telling the truth V41Richard Damon
20 Aug 24 i i `- Re: Anyone that disagrees with this is not telling the truth V41Mikko
20 Aug 24 i `- Re: Anyone that disagrees with this is not telling the truth1Mikko
18 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth ---V27olcott
18 Aug 24 i+* Re: Anyone that disagrees with this is not telling the truth ---V22olcott
18 Aug 24 ii`- Re: Anyone that disagrees with this is not telling the truth ---V21Richard Damon
18 Aug 24 i+- Re: Anyone that disagrees with this is not telling the truth ---V21Richard Damon
19 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth ---V23Mikko
19 Aug 24 i `* Re: Anyone that disagrees with this is not telling the truth ---V22olcott
20 Aug 24 i  `- Re: Anyone that disagrees with this is not telling the truth ---V21Mikko
18 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth --- V310olcott
18 Aug 24 i+- Re: Anyone that disagrees with this is not telling the truth --- V31Richard Damon
19 Aug 24 i+* Re: Anyone that disagrees with this is not telling the truth --- V36olcott
19 Aug 24 ii+* Re: Anyone that disagrees with this is not telling the truth --- V34Richard Damon
19 Aug 24 iii+* Re: Anyone that disagrees with this is not telling the truth --- V32olcott
20 Aug 24 iiii`- Re: Anyone that disagrees with this is not telling the truth --- V31Richard Damon
20 Aug 24 iii`- Re: Anyone that disagrees with this is not telling the truth --- V31Mikko
20 Aug 24 ii`- Re: Anyone that disagrees with this is not telling the truth --- V31Mikko
19 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth --- V32Mikko
19 Aug 24 i `- Re: Anyone that disagrees with this is not telling the truth --- V31olcott
19 Aug 24 `* Re: Anyone that disagrees with this is not telling the truth18Fred. Zwarts
19 Aug 24  `* Re: Anyone that disagrees with this is not telling the truth ---- V417olcott
20 Aug 24   +* Re: Anyone that disagrees with this is not telling the truth ---- V415Richard Damon
20 Aug 24   i`* Re: Anyone that disagrees with this is not telling the truth ---- V414olcott
20 Aug 24   i `* Re: Anyone that disagrees with this is not telling the truth ---- V413Richard Damon
20 Aug 24   i  `* Re: Anyone that disagrees with this is not telling the truth ---- V412olcott
20 Aug 24   i   `* Re: Anyone that disagrees with this is not telling the truth ---- V411Richard Damon
20 Aug 24   i    `* Re: Anyone that disagrees with this is not telling the truth ---- V410olcott
20 Aug 24   i     `* Re: Anyone that disagrees with this is not telling the truth ---- V49Richard Damon
20 Aug 24   i      `* Re: Anyone that disagrees with this is not telling the truth ---- V48olcott
20 Aug 24   i       `* Re: Anyone that disagrees with this is not telling the truth ---- V47Richard Damon
20 Aug 24   i        `* Re: Anyone that disagrees with this is not telling the truth ---- V46olcott
20 Aug 24   `- Re: Anyone that disagrees with this is not telling the truth ---- V41Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal