Sujet : Re: Halt deciders accurately predict future behavior based on past behavior
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 16. Mar 2024, 23:09:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut51pi$335e0$1@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
User-Agent : Mozilla Thunderbird
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.
| 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 |