Path: ...!3.us.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!fdn.fr!usenet-fr.net!.POSTED!not-for-mail
From: Erwan David <erwan@rail.eu.org>
Newsgroups: fr.comp.algorithmes
Subject: Re: =?utf-8?Q?Fiabilit=C3=A9?= des algorithmes
Supersedes: <87ttwti6rh.fsf@maine-ocean.rail.eu.org>
Date: Thu, 04 May 2023 19:28:10 +0200
Organization: There's no cabale
Lines: 17
Message-ID: <87mt2kt39x.fsf@maine-ocean.rail.eu.org>
References: <aB7UgWd11uFDPAovxjUs7Bq3-rk@jntp>
	<87a5yo2cqv.fsf@maine-ocean.rail.eu.org>
	<M78XPdcgbtuL7aQhpPKjCMMdxdk@jntp> <u2qpuh$cdt$1@cabale.usenet-fr.net>
NNTP-Posting-Host: 2a01:e0a:2b7:70e1:588b:134e:2037:3c3a
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1683221291 700 2a01:e0a:2b7:70e1:588b:134e:2037:3c3a (4 May 2023 17:28:11 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Thu, 4 May 2023 17:28:11 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Mail-Copies-To: nobody
Cancel-Key: sha1:jUa5e6Rx3zbMUIhhwV7pDS84+qI=
Cancel-Lock: sha1:bvD2IMEsVG6BgdKWFhU2dlzMkNY=
Bytes: 1836

Olivier Miakinen <om+news@miakinen.net> écrivait :

>
> Et donc, pour un algorithme donné il sera parfois possible de te répondre si
> celui-ci est fiable ou s'il ne l'est pas (il existe des techniques de preuve
> d'algorithme).
>
> Mais il n'est évidemment pas possible de répondre d'un coup à une question
> portant sur *les* algorithmes dans leur ensemble : certains sont fiables,
> d'autres non.

Et même "correct" fait référence à un comportement défini comme tel. On
ne peux parler de correction d'un algorithme sans description de ce
qu'on veut qu'il fasse : une spécification.

-- 
Les simplifications c'est trop compliqué