Sujet : Re: Flibble's Law
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 19. Apr 2025, 09:00:37
Autres entêtes
Organisation : -
Message-ID : <vtvl75$106dc$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
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