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, 05:57:28
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ut5pn8$23hsb$17@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/16/24 7:52 PM, olcott wrote:
On 3/16/2024 9:43 PM, Richard Damon wrote:
On 3/16/24 5:50 PM, olcott wrote:
On 3/16/2024 7:21 PM, Richard Damon wrote:
On 3/16/24 8:29 AM, olcott wrote:
On 3/15/2024 11:29 PM, Richard Damon wrote:
On 3/15/24 8:45 PM, olcott wrote:
H(D,D) fails to make the required mistake of reporting on what it does not see.
>
But it DOES make a mistake, because it does answer the question correctly.
>
You are just PROVING you think lying is ok.
>
You TOTALLY don't understand the meaning of truth.
>
You are REALLY just a Pathological Liar, as you have no concept of real truth,
>
>
The original halt status criteria has the impossible requirement
that H(D,D) must report on behavior that it does not actually see.
Requiring H to be clairvoyant is an unreasonable requirement.
*The criteria shown below eliminate the requirement of clairvoyance*
>
(a) If simulating halt decider H correctly simulates its input D until
H correctly determines that its simulated D would never stop running
unless aborted then
>
*H correctly simulates its input D until*
Means H does a correct partial simulation of D until H correctly
matches the recursive simulation non-halting behavior pattern.
>
>
>
But turning out to be impposible, doesn't make it incorrect or invalid.
>
*You seems to be ridiculously disingenuous about the self-evident truth*
For every possible way that H can be encoded and D(D) calls H(D,D) either H(D,D) aborts its simulation or D(D) never stops running.
>
>
>
And you are incredably stupid to not see this doesn't prove what you need it to.
>
Yes, if you define H to not abort, the we get a non-haltig D(D), but H doesn't answwer.
>
But, if you define H to abort, then,
We see that you changed the subject away from:
[Proof that H(D,D) meets its abort criteria]
Nope.
Since you make it clear that the broad scope of this discussion is the Halting Problem, the definitions used in this narrow scope must comply with that.
or, you are just admitting to be a stupid liar.
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 |