Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 12. Jul 2024, 13:15:16
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <03ba90ee0fbe42d2596ab18d6a5ca17ecdf1e921@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Mozilla Thunderbird
On 7/11/24 11:30 PM, olcott wrote:
On 7/11/2024 10:18 PM, Richard Damon wrote:
On 7/11/24 10:28 PM, olcott wrote:
On 7/11/2024 9:08 PM, Richard Damon wrote:
On 7/11/24 10:51 AM, olcott wrote:
On 7/10/2024 8:50 PM, Richard Damon wrote:
On 7/10/24 9:21 PM, olcott wrote:
On 7/10/2024 8:11 PM, Richard Damon wrote:
On 7/10/24 9:01 PM, olcott wrote:
On 7/10/2024 7:37 PM, Richard Damon wrote:
On 7/10/24 8:24 PM, olcott wrote:
On 7/10/2024 7:01 PM, Richard Damon wrote:
On 7/10/24 9:41 AM, olcott wrote:
On 7/10/2024 8:27 AM, joes wrote:
Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
On 7/9/2024 11:01 PM, joes wrote:
  > That means that HHH doesn't return, in particular that it doesn't
  > abort.
DDD correctly emulated by any pure function HHH that correctly emulates
1 to ∞ steps of DDD can't make it past the above line of code no matter
what.
That line being the call to itself -> it can't simulate itself.
>
*DDD NEVER HALTS*
DDD ONLY calls HHH...
>
>
void DDD()
{
   HHH(DDD);
   return;
}
>
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
>
>
>
Nope, DDD does if HHH(DDD) returns.
>
>
You have a dead cat in your driveway does not mean that
you have a peanut butter sandwich on your front porch.
It has taken you at least 1000 messages to see that.
>
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
>
WRONG, you don't seem to understand the difference between DDD and HHH's emualtion of it.
>
>
>
Would you bet your immortal soul that DDD simulated
by HHH (as provided above) would terminate normally?
>
>
That is a ambiguous statement, showing your attempt at deciet.
>
>
We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated
by each pure function x86 emulator HHH (of the infinite
set of every HHH that can possibly exist) then DDD cannot
possibly reach its own machine address of 00002174 and halt.
>
And thus you stipulate that you are a LIAR.
>
By the semantic of the x86 programming language, the only correct simulation is a FULL simulation
In other words you are trying to get away with the lie that
when 1 step of DDD is correctly emulated that 0 steps of DDD
are correctly emulated.
>
Repent of this lie or risk damnation.
>
>
WHAT LIE?
>
>
When 1,2,3... ∞ steps of DDD are correctly emulated by
HHH it is a lie to say that this many instructions were
not correctly emulated and you know it.
>
>
But only N instructions "correctly emulated" is NOT a CORRECT emulaition of the instructions of DDD/HHH
>
 I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
 
So, I guess NONE of them ever stop before reaching the end, if none of them stop before that.
So ALL of them will run forever an never abort
So NONE of them ever answer
and ALL of them fail to be a decider
so NONE of them correctly answer
and EVREYTHING you said has been about HHH being a decider is just a LIE.
showing you know NOTHING of which you talk about.
So, 1,2,3,... ∞ means the go until they reach a final state, and thus you talk about it being ok to abort was just lies that you have seen the light now.
So, I guess you just flush your theory down the toilet as

Date Sujet#  Auteur
7 Jul 24 * Sequence of sequence, selection and iteration matters133olcott
7 Jul 24 +* Re: Sequence of sequence, selection and iteration matters3Richard Damon
9 Jul 24 i`* Re: Sequence of sequence, selection and iteration matters2olcott
10 Jul 24 i `- Re: Sequence of sequence, selection and iteration matters1Richard Damon
8 Jul 24 `* Re: Sequence of sequence, selection and iteration matters129Mikko
8 Jul 24  `* Re: Sequence of sequence, selection and iteration matters128olcott
9 Jul 24   +* Re: Sequence of sequence, selection and iteration matters46Richard Damon
9 Jul 24   i`* Re: Sequence of sequence, selection and iteration matters --- Ben agrees45olcott
9 Jul 24   i +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees40Richard Damon
9 Jul 24   i i`* Re: Sequence of sequence, selection and iteration matters --- Ben agrees39olcott
9 Jul 24   i i `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees38Richard Damon
9 Jul 24   i i  +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees12olcott
9 Jul 24   i i  i`* Re: Sequence of sequence, selection and iteration matters --- Ben agrees11Richard Damon
9 Jul 24   i i  i `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees10olcott
9 Jul 24   i i  i  `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees9Richard Damon
9 Jul 24   i i  i   `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees8olcott
9 Jul 24   i i  i    `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees to something different.7Richard Damon
9 Jul 24   i i  i     `* Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings6olcott
9 Jul 24   i i  i      `* Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings5Richard Damon
9 Jul 24   i i  i       `* Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings4olcott
9 Jul 24   i i  i        `* Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings3Richard Damon
9 Jul 24   i i  i         `* Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings2olcott
10 Jul 24   i i  i          `- Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings1Richard Damon
9 Jul 24   i i  +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees15olcott
9 Jul 24   i i  i`* Re: Sequence of sequence, selection and iteration matters --- Ben agrees14Richard Damon
9 Jul 24   i i  i +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees4olcott
9 Jul 24   i i  i i`* Re: Sequence of sequence, selection and iteration matters --- Ben agrees3Richard Damon
9 Jul 24   i i  i i `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees2olcott
9 Jul 24   i i  i i  `- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1Richard Damon
9 Jul 24   i i  i `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees9Mikko
9 Jul 24   i i  i  `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees8Richard Damon
10 Jul 24   i i  i   `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees7Mikko
10 Jul 24   i i  i    +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees2Richard Damon
11 Jul 24   i i  i    i`- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1Mikko
10 Jul 24   i i  i    `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees4olcott
11 Jul 24   i i  i     +- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1Richard Damon
11 Jul 24   i i  i     `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees2Mikko
11 Jul 24   i i  i      `- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1olcott
9 Jul 24   i i  `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)10olcott
9 Jul 24   i i   `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)9Richard Damon
9 Jul 24   i i    `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)8olcott
9 Jul 24   i i     `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)7Richard Damon
9 Jul 24   i i      +* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)2olcott
9 Jul 24   i i      i`- Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)1Richard Damon
9 Jul 24   i i      `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)4olcott
9 Jul 24   i i       `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)3Richard Damon
9 Jul 24   i i        `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)2olcott
10 Jul 24   i i         `- Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected)1Richard Damon
9 Jul 24   i `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees4Mikko
9 Jul 24   i  `* Re: Sequence of sequence, selection and iteration matters --- Ben agrees3olcott
10 Jul 24   i   +- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1Richard Damon
10 Jul 24   i   `- Re: Sequence of sequence, selection and iteration matters --- Ben agrees1Mikko
9 Jul 24   `* Re: Sequence of sequence, selection and iteration matters81Mikko
9 Jul 24    `* Re: Sequence of sequence, selection and iteration matters80olcott
9 Jul 24     +* Re: Sequence of sequence, selection and iteration matters77Fred. Zwarts
9 Jul 24     i`* Re: Sequence of sequence, selection and iteration matters76olcott
9 Jul 24     i +* Re: Sequence of sequence, selection and iteration matters74Fred. Zwarts
9 Jul 24     i i`* Re: Sequence of sequence, selection and iteration matters73olcott
9 Jul 24     i i +* Re: Sequence of sequence, selection and iteration matters68Fred. Zwarts
9 Jul 24     i i i`* Re: Sequence of sequence, selection and iteration matters67olcott
9 Jul 24     i i i +- Re: Sequence of sequence, selection and iteration matters1joes
9 Jul 24     i i i +* Re: Sequence of sequence, selection and iteration matters64Fred. Zwarts
9 Jul 24     i i i i+* Re: Sequence of sequence, selection and iteration matters61olcott
10 Jul 24     i i i ii+* Re: Sequence of sequence, selection and iteration matters31joes
10 Jul 24     i i i iii`* DDD correctly emulated by HHH cannot possibly halt30olcott
10 Jul 24     i i i iii `* Re: DDD correctly emulated by HHH cannot possibly halt29joes
10 Jul 24     i i i iii  `* Re: DDD correctly emulated by HHH cannot possibly halt28olcott
11 Jul 24     i i i iii   `* Re: DDD correctly emulated by HHH cannot possibly halt27Richard Damon
11 Jul 24     i i i iii    `* Re: DDD correctly emulated by HHH cannot possibly halt26olcott
11 Jul 24     i i i iii     `* Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does.25Richard Damon
11 Jul 24     i i i iii      `* Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does.24olcott
11 Jul 24     i i i iii       `* Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does.23Richard Damon
11 Jul 24     i i i iii        `* Re: DDD correctly emulated by HHH cannot possibly halt22olcott
11 Jul 24     i i i iii         `* Re: DDD correctly emulated by HHH cannot possibly halt21Richard Damon
11 Jul 24     i i i iii          `* Re: DDD correctly emulated by HHH cannot possibly halt20olcott
12 Jul 24     i i i iii           `* Re: DDD correctly emulated by HHH cannot possibly halt19Richard Damon
12 Jul 24     i i i iii            `* Re: DDD correctly emulated by HHH cannot possibly halt18olcott
12 Jul 24     i i i iii             `* Re: DDD correctly emulated by HHH cannot possibly halt17Richard Damon
12 Jul 24     i i i iii              `* Re: DDD correctly emulated by HHH cannot possibly halt16olcott
12 Jul 24     i i i iii               +* Re: DDD correctly emulated by HHH cannot possibly halt10joes
12 Jul 24     i i i iii               i`* Re: DDD correctly emulated by HHH cannot possibly halt9olcott
12 Jul 24     i i i iii               i +* Re: DDD correctly emulated by HHH cannot possibly halt4Fred. Zwarts
12 Jul 24     i i i iii               i i`* Re: DDD correctly emulated by HHH cannot possibly halt3olcott
12 Jul 24     i i i iii               i i +- Re: DDD correctly emulated by HHH cannot possibly halt1Fred. Zwarts
13 Jul 24     i i i iii               i i `- Re: DDD correctly emulated by HHH cannot possibly halt1Mikko
13 Jul 24     i i i iii               i +- Re: DDD correctly emulated by HHH cannot possibly halt1Richard Damon
14 Jul 24     i i i iii               i `* Re: DDD correctly emulated by HHH cannot possibly halt3joes
14 Jul 24     i i i iii               i  `* Re: DDD correctly emulated by HHH cannot possibly halt2olcott
14 Jul 24     i i i iii               i   `- Re: DDD correctly emulated by HHH cannot possibly halt1Richard Damon
12 Jul 24     i i i iii               `* Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt5Richard Damon
12 Jul 24     i i i iii                `* Re: DDD correctly emulated by HHH cannot possibly halt4olcott
12 Jul 24     i i i iii                 +- Re: DDD correctly emulated by HHH cannot possibly halt1Fred. Zwarts
12 Jul 24     i i i iii                 +- Re: DDD correctly emulated by HHH cannot possibly halt1joes
13 Jul 24     i i i iii                 `- Re: DDD correctly but partially emulated by HHH cannot possibly be seen to halt by HHH, but do halt1Richard Damon
10 Jul 24     i i i ii`* Re: Sequence of sequence, selection and iteration matters29Fred. Zwarts
10 Jul 24     i i i ii `* Re: Sequence of sequence, selection and iteration matters28olcott
10 Jul 24     i i i ii  `* Re: Sequence of sequence, selection and iteration matters27Fred. Zwarts
10 Jul 24     i i i ii   `* Re: Sequence of sequence, selection and iteration matters26olcott
10 Jul 24     i i i ii    `* Re: Sequence of sequence, selection and iteration matters25Fred. Zwarts
10 Jul 24     i i i ii     `* Re: Sequence of sequence, selection and iteration matters24olcott
10 Jul 24     i i i ii      +* Re: Sequence of sequence, selection and iteration matters3Fred. Zwarts
11 Jul 24     i i i ii      `* Re: Sequence of sequence, selection and iteration matters20Mikko
9 Jul 24     i i i i+- Re: Sequence of sequence, selection and iteration matters ---clarification1olcott
9 Jul 24     i i i i`- Re: Sequence of sequence, selection and iteration matters --- one more freaking time1olcott
10 Jul 24     i i i `- Re: Sequence of sequence, selection and iteration matters1Richard Damon
9 Jul 24     i i +* Re: Sequence of sequence, selection and iteration matters3joes
10 Jul 24     i i `- Re: Sequence of sequence, selection and iteration matters1Richard Damon
10 Jul 24     i `- Re: Sequence of sequence, selection and iteration matters1Richard Damon
10 Jul 24     +- Re: Sequence of sequence, selection and iteration matters1Richard Damon
10 Jul 24     `- Re: Sequence of sequence, selection and iteration matters1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal