Re: No one can correctly refute that simulating abort decider A(D,D) is correct

Liste des GroupesRevenir à s logic 
Sujet : Re: No one can correctly refute that simulating abort decider A(D,D) is correct
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 29. Mar 2024, 19:38:18
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <uu6uaa$3eioh$15@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
User-Agent : Mozilla Thunderbird
On 3/29/24 1:28 PM, olcott wrote:
On 3/29/2024 12:24 PM, Richard Damon wrote:
On 3/29/24 1:12 PM, olcott wrote:
On 3/29/2024 12:02 PM, Richard Damon wrote:
On 3/29/24 11:51 AM, olcott wrote:
On 3/29/2024 8:13 AM, Richard Damon wrote:
On 3/28/24 11:34 PM, olcott wrote:
On 3/28/2024 9:22 PM, Richard Damon wrote:
On 3/28/24 10:01 PM, olcott wrote:
>
<snip>
>
Right, but as you have admitted, the behavior of that machine code CHANGES depending on what is at the location of H.
>
>
The behavior of D simulated by any H that can possibly exist
remains the same.
>
Nope.
>
The behavior of D CHANGES based on the H it attaches to.
>
>
The behavior of D simulated by any H that can possibly exist
remains the same.
>
Nope. Since you are using a "meaningless" term, it is just a non-truth bearer. Partial simulations do not reveal behavior, only complete simulations.
>
>
Yes and your same reasoning says that mathematical induction can't
possibly work. No finite sequences of steps can every be extrapolated
to an in finite number of steps.
>
>
Why do you say that?
>
I guess you don't think all the Natural Numbers exist.
>
You are just showing that you are using incorrect logic;
>
Are you trying to get away with saying that you simply do not
"believe in" mathematical induction?
>
You need to show that actual steps that PROVE your induction, which I don't think you actually know what they are.
>
>
You already know these steps as you have implicitly admitted when
you repeatedly said that when no H(D,D) aborts its simulation then
H(D,D) never halts.
>
>
>
Nope, since D changes behavior with a change of the definition of H.
>
 You know this is a lie yet say it anyway.
So, you think that a D that calls an H that loops forever has the same behavior as a D that calls an H that returns 0?
THAT is the LIE, that gets you to Revelations 21:8

That would seem to fall under Revelations 21:8.
D has the exact same behavior when simulated by any H.
Nope.
Just shows that any H that aborts is simulation doesn't do a "Correct Simulaiton" that shows behavior.
THAT is another of your great lies.

 
That statement is not applicable.
>
The behavior of D for ANY other H has no bearing on the behavior of D with this H.
>
To claim otherwise is just a LIE.
 I am not and never have been intentionally saying anything
that is false.
 
If that it true, then you are mentally a MORON.
How is not making a copy of H to put into H_Hat following the instructions of Linz exactly?
Or, it is just you don't know the meaning of "Truth"?
Is that how you got of the child porn charges? You were mentally incompetent?

Date Sujet#  Auteur
27 Mar 24 * No one can correctly refute that simulating abort decider A(D,D) is correct39olcott
27 Mar 24 `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct38Fred. Zwarts
27 Mar 24  `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct37olcott
28 Mar 24   `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct36Richard Damon
28 Mar 24    `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct35olcott
28 Mar 24     `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct34Richard Damon
28 Mar 24      `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct33olcott
28 Mar 24       `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct32Richard Damon
28 Mar 24        `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct31olcott
28 Mar 24         `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct30Richard Damon
28 Mar 24          `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct29olcott
28 Mar 24           `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct28Richard Damon
28 Mar 24            `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct27olcott
28 Mar 24             +* Re: No one can correctly refute that simulating abort decider A(D,D) is correct13Fred. Zwarts
28 Mar 24             i`* Re: No one can correctly refute that simulating abort decider A(D,D) is correct12olcott
28 Mar 24             i +* Re: No one can correctly refute that simulating abort decider A(D,D) is correct2Fred. Zwarts
28 Mar 24             i i`- Re: No one can correctly refute that simulating abort decider A(D,D) is correct1olcott
29 Mar 24             i `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct9Richard Damon
29 Mar 24             i  `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct8olcott
29 Mar 24             i   `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct7Richard Damon
29 Mar 24             i    `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct6olcott
29 Mar 24             i     `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct5Richard Damon
29 Mar 24             i      `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct4olcott
29 Mar 24             i       `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct3Richard Damon
29 Mar 24             i        `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct2olcott
29 Mar 24             i         `- Re: No one can correctly refute that simulating abort decider A(D,D) is correct1Richard Damon
29 Mar 24             `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct13Richard Damon
29 Mar 24              `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct12olcott
29 Mar 24               `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct11Richard Damon
29 Mar 24                `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct10olcott
29 Mar 24                 `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct9Richard Damon
29 Mar 24                  `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct8olcott
29 Mar 24                   `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct7Richard Damon
29 Mar 24                    `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct6olcott
29 Mar 24                     `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct5Richard Damon
29 Mar 24                      `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct4olcott
29 Mar 24                       +- Re: No one can correctly refute that simulating abort decider A(D,D) is correct1Richard Damon
30 Mar 24                       `* Re: No one can correctly refute that simulating abort decider A(D,D) is correct2olcott
30 Mar 24                        `- Re: No one can correctly refute that simulating abort decider A(D,D) is correct1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal