Coq. Les maths ont trouvé leur maître
Enregistré dans:
| Publié dans: | Science et vie No 1148 |
|---|---|
| Auteur principal: | |
| Support: | Article de revue |
| Publié: |
2013.
|
| Sujets: | |
| Résumé: | Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths ! |
| Lien: | Dans:
Science et vie |
| Résumé: | Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths ! |
|---|---|
| Description matérielle: | p. 110-113. |
| ISSN: | 0036-8369 |