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 : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 29. Mar 2024, 19:28:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uu6to7$dit0$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
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.
That would seem to fall under Revelations 21:8.
D has the exact same behavior when simulated by any H.

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.
--
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
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