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, 21:56:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut4th1$32ba0$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
User-Agent : Mozilla Thunderbird
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.
| 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 |