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.logicDate : 29. Mar 2024, 17:51:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uu6o1c$ceq1$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
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.
Are you trying to get away with saying that you simply do not
"believe in" mathematical induction?
This means that the only Hs that meet your "definition" of H are those that act like UTMs, and thus NO H that meets your specification are deciders.
You are too much of a liar. If you don't quit
I am going to give up on you.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits 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 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 |