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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 23. Jun 2024, 15:23:10
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v597ju$brmn$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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.
_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]
It is a verified fact that the call from DDD to H0(DDD)
cannot possibly return to DDD correctly emulated by H0
according to the semantics of the x86 language.
Anyone having an opinion that contradicts this is WRONG.

What Professor Sipser has verfied below is not a fact but a criterion.
 
It is a verified fact that professor Sipser agreed with my
verbatim words.

On 2024-06-22 14:31:45 +0000, olcott said:
 
https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/
>
To understand this analysis requires a sufficient knowledge of
the C programming language and what an x86 emulator does. HHH0
and HHH1 have this criteria as their algorithm:
>
<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>
  ...
 
--
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
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