Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Flibble=E2=80=99s_Leap=3A_Why_Behavioral_Divergence?=
 =?UTF-8?Q?_Implies_a_Type_Distinction_in_the_Halting_Problem?=
Date: Sun, 11 May 2025 12:54:35 -0400
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <vvqkoa$h4nm$5@dont-email.me>
References: <vv1UP.77894$JJT6.54808@fx16.ams4> <vvqd4u$g8a1$1@dont-email.me>
 <7N2UP.527443$wBt6.464256@fx15.ams4> <vvqfgq$gmmk$1@dont-email.me>
 <os3UP.670056$BFJ.223954@fx13.ams4> <vvqgpt$gmmk$4@dont-email.me>
 <aG3UP.366972$wBVe.321504@fx06.ams4> <vvqhaj$gldn$6@dont-email.me>
 <bV3UP.101097$0ia.1168@fx11.ams4> <vvqkff$gldn$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 18:54:35 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="aad4969e8ca95f1c06ff9de97da90e9e";
	logging-data="561910"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/kbZYDSOkFEWGbVjL3yGpJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:m0MI9wqv9scqWbrj2p2aZMaEF4Q=
Content-Language: en-US
In-Reply-To: <vvqkff$gldn$13@dont-email.me>
Bytes: 1853

On 5/11/2025 12:49 PM, olcott wrote:
> The category error is actually the fact that everyone
> here expects a termination analyzer to report on behavior
> other than the behavior that its input finite string
> actually specifies.

That's because it's whether or not the algorithm described by the input 
halts when executed directly.

No one cares what "the behavior that its input finite string specifies" 
because that's not what we asked about.