Sujet : Re: Proof that H(D,D) meets its abort criteria --self-evident truth--
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 17. Mar 2024, 06:33:44
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ut5rr8$23hsb$18@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 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 3/16/24 9:26 PM, olcott wrote:
On 3/16/2024 11:21 PM, Richard Damon wrote:
On 3/16/24 9:14 PM, olcott wrote:
On 3/16/2024 11:12 PM, Richard Damon wrote:
On 3/16/24 9:08 PM, olcott wrote:
On 3/16/2024 10:50 PM, Richard Damon wrote:
On 3/16/24 7:54 PM, olcott wrote:
On 3/16/2024 9:50 PM, Richard Damon wrote:
>
So, are you admitting that you "Halt Deciders" are
>
Not being discussed. We are only looking at this:
[Proof that H(D,D) meets its abort criteria]
>
>
>
Then why do you call them Halt Deciders?
>
In this thread we must focus on the single point
[Proof that H(D,D) meets its abort criteria]
Or we will never ever get closure on this single point.
>
>
So, is this criteria supposed to be a Halt Deciding criteria?
>
>
H is an algorithm that simulates its input and correctly
determines whether or not it needs to abort this simulation.
That is all that this thread's H does.
>
>
>
And what defines "Need"?
>
Note, if H is an algorithm, we can't talk of "changing" it, or it looses its identity.
>
It is the set of every implementation of its spec:
But it was an algorithm, not a set. Make up your mind.
(a) H(D,D) Simulate input.
(b) Determine if it needs to stop simulating its input to prevent
the simulated D(D) from never halting.
And how do you determine NEED.
Remember, H does what it does, so you can't talk about it doing something else in a way that changes it.
Thus, the only possible interpreation would be to consider the Hypothetical complete simulation, and ask if that stops. If it does, then H doesn't need to abort (even if it did).
Buy you have rejected this, and not explained how to get any other interpreations in light of the problem being in the context of H being a computation and eventually being compared to a Halt Detector.
NOTE, You didn't answer the question, so I will presume you can't deny the implication.
Date | Sujet | # | | Auteur |
15 Mar 24 | Proof that H(D,D) meets its abort criteria | 467 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 23 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 22 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 10 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 6 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 4 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 2 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 2 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 11 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 10 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 9 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 8 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 7 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 6 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 5 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 4 | | Richard Damon |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 2 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 440 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 439 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 11 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 10 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 2 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 6 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 5 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | olcott |
16 Mar 24 | Re: Obviously Olcott doesn't understand what his own words mean! | 1 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 427 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 425 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 39 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 5 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 3 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --timing error-- | 2 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --timing error-- | 1 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 29 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 19 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 18 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 17 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 9 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 8 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 7 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 6 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 2 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 3 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 7 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 6 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | immibis |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 4 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 3 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | immibis |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | Richard Damon |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 9 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 8 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 7 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 6 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 5 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 4 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 3 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 2 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 3 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 2 | | immibis |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning-- | 1 | | olcott |
21 Mar 24 | Re: Proof that H(D,D) meets its abort criteria--Mikes-rebuttal-- | 1 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 385 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 384 | | olcott |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 383 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 382 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 381 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 363 | | olcott |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 362 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 361 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 360 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 25 | | immibis |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 24 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 16 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 15 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 14 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 13 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 12 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 11 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 9 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 8 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 7 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 6 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 5 | | Richard Damon |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 4 | | olcott |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 1 | | immibis |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 7 | | immibis |
17 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- | 334 | | Richard Damon |
16 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --mistake-- | 17 | | immibis |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria | 1 | | Richard Damon |
15 Mar 24 | Re: Proof that H(D,D) meets its abort criteria --moved dialogue-- | 3 | | olcott |