Sujet : Re: Halt deciders accurately predict future behavior based on past behavior
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 17. Mar 2024, 01:02:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut58e9$34cks$3@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 23 24
User-Agent : Mozilla Thunderbird
On 3/16/2024 4:09 PM, immibis wrote:
On 16/03/24 20:58, olcott wrote:
On 3/16/2024 2:56 PM, immibis wrote:
On 16/03/24 19:19, olcott wrote:
On 3/16/2024 12:30 PM, immibis wrote:
On 16/03/24 16:28, olcott wrote:
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 purpose of a halting decider is to be clairvoyant. A halting decider must decide that a program will never halt even if we run it forever, without actually running it forever.
>
Not at all. Something like mathematical induction accurately
extrapolates what the future behavior would be:
>
In other words: mathematical induction is clairvoyant.
>
Not at all. Mathematical induction extrapolates on the basis of
what it sees. Requiring H(D,D) to report on behavior that it cannot
even see is incorrect.
In other words: Mathematical induction reports on behaviour that it cannot even see.
Extrapolating with no basis is not the same as extrapolating from
a basis. H(D,D) has no basis to report on directly executed D(D).
It has sufficient basis (N steps of D(D) correctly simulated by H)
to report on ∞ steps of D(D) correctly simulated by H.
-- 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 |
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 |