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.logicDate : 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 correct | 39 | | olcott |
27 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 38 | | Fred. Zwarts |
27 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 37 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 36 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 35 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 34 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 33 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 32 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 31 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 30 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 29 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 28 | | Richard Damon |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 27 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 13 | | Fred. Zwarts |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 12 | | olcott |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | Fred. Zwarts |
28 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 9 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 8 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 7 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 6 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 5 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 4 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 3 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 13 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 12 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 11 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 10 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 9 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 8 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 7 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 6 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 5 | | Richard Damon |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 4 | | olcott |
29 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |
30 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 2 | | olcott |
30 Mar 24 | Re: No one can correctly refute that simulating abort decider A(D,D) is correct | 1 | | Richard Damon |