Re: Fiabilité des algorithmes

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é