Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Halt deciders accurately predict future behavior based on past
 behavior
Date: Sat, 16 Mar 2024 14:58:19 -0500
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <ut4tkr$32b79$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 16 Mar 2024 19:58:19 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="3fab022aa6617bd72f29c84b8d0d5aa2";
	logging-data="3222761"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18GTYYeQkWv30eldKkT90w2"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:rE7U9RAenFNIlUPoWd3dajG79/s=
In-Reply-To: <ut4th1$32ba0$1@dont-email.me>
Content-Language: en-US
Bytes: 2714

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.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer