Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Flibble's Law
Date: Sat, 19 Apr 2025 11:00:37 +0300
Organization: -
Lines: 11
Message-ID: <vtvl75$106dc$1@dont-email.me>
References: <HjxMP.837300$7Fq7.451049@fx13.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 19 Apr 2025 10:00:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9771f33c4d6a22f3fac4581d4c75e530";
	logging-data="1055148"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FS10B6q5qez3p2jpVvSBa"
User-Agent: Unison/2.2
Cancel-Lock: sha1:yxnI8/vOSb1WZVzpUyGcn0IazGY=
Bytes: 1205

On 2025-04-18 19:00:55 +0000, Mr Flibble said:

> If a problem permits infinite behavior in its formulation, it permits
> infinite analysis of that behavior in its decidability scope.

Just make sure that your contract does not specify any deadline for the
solution if the problem permits an infinte analysis.

-- 
Mikko