Deutsch English Français Italiano |
<ut51pi$335e0$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: immibis <news@immibis.com> Newsgroups: comp.theory,sci.logic Subject: Re: Halt deciders accurately predict future behavior based on past behavior Date: Sat, 16 Mar 2024 22:09:05 +0100 Organization: A noiseless patient Spider Lines: 26 Message-ID: <ut51pi$335e0$1@dont-email.me> References: <ut1sgk$2buev$2@dont-email.me> <ut20uf$1vtvi$1@i2pn2.org> <ut21t3$2d19j$1@dont-email.me> <ut24j0$2dnbk$2@dont-email.me> <ut24kj$2djbv$5@dont-email.me> <ut2675$1vtvj$9@i2pn2.org> <ut26mi$2e06s$5@dont-email.me> <ut27l8$1vtvj$17@i2pn2.org> <ut283n$2e06s$9@dont-email.me> <ut2ava$1vtvi$14@i2pn2.org> <ut2dml$2ffu8$3@dont-email.me> <ut2h1a$1vtvj$24@i2pn2.org> <ut2iqa$2gkoj$1@dont-email.me> <ut2ler$1vtvj$28@i2pn2.org> <ut32q0$2n0uu$2@dont-email.me> <ut3589$2ni4k$1@dont-email.me> <ut36rv$2nm61$2@dont-email.me> <ut382d$218kh$4@i2pn2.org> <ut4dq6$2ut4d$5@dont-email.me> <ut4l07$30ge0$1@dont-email.me> <ut4nrp$31614$1@dont-email.me> <ut4th1$32ba0$1@dont-email.me> <ut4tkr$32b79$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 16 Mar 2024 21:09:07 -0000 (UTC) Injection-Info: dont-email.me; posting-host="9416729331008e05b2a2bbdf5315a61a"; logging-data="3249600"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX197SlCRc/0vb2SUAmapRGDp" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:2S35TIVaXa3dpN4eKKHZpNTPeNE= Content-Language: en-US In-Reply-To: <ut4tkr$32b79$2@dont-email.me> Bytes: 2796 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.