Groups | Search | Server Info | Login | Register
Groups > fr.comp.algorithmes > #686
| From | Erwan David <erwan@rail.eu.org> |
|---|---|
| Newsgroups | fr.comp.algorithmes |
| Subject | Re: Fiabilité des algorithmes |
| Date | 2023-05-03 20:56 +0200 |
| Organization | There's no cabale |
| Message-ID | <87ttwti6rh.fsf@maine-ocean.rail.eu.org> (permalink) |
| References | <aB7UgWd11uFDPAovxjUs7Bq3-rk@jntp> <87a5yo2cqv.fsf@maine-ocean.rail.eu.org> <M78XPdcgbtuL7aQhpPKjCMMdxdk@jntp> <u2qpuh$cdt$1@cabale.usenet-fr.net> |
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 en peux parker de correction d'un algorithme sans description de ce qu'on veut qu'il fasse : une spécification. -- Les simplifications c'est trop compliqué
Back to fr.comp.algorithmes | Previous | Next — Previous in thread | Next in thread | Find similar
Fiabilité des algorithmes Perplexity <perplexity@ai.invalid> - 2023-05-01 13:23 +0000
Re: Fiabilité des algorithmes Erwan David <erwan@rail.eu.org> - 2023-05-01 19:15 +0200
Re: Fiabilité des algorithmes Erwan David <erwan@rail.eu.org> - 2023-05-01 19:16 +0200
Re: Fiabilité des algorithmes Perplexity <perplexity@ai.invalid> - 2023-05-02 08:15 +0000
Re: Fiabilité des algorithmes Olivier Miakinen <om+news@miakinen.net> - 2023-05-02 12:50 +0200
Re: Fiabilité des algorithmes Erwan David <erwan@rail.eu.org> - 2023-05-03 20:56 +0200
Re: Fiabilité des algorithmes Erwan David <erwan@rail.eu.org> - 2023-05-04 19:28 +0200
csiph-web