[article] in La Recherche > N°571 (Octobre-Novembre-Décembre 2022) . - p. 72-80 | Titre : | Pourquoi raconter des maths à un ordinateur | | Type de document : | Livres, articles, périodiques | | Auteurs : | Patrick Massot, Auteur | | Année de publication : | 2022 | | Article en page(s) : | p. 72-80 | | Langues : | Français (fre) | | Résumé : | Les ordinateurs sont d'une aide précieuse pour le calcul. Pourraient-ils passer au cran supérieur en aidant au raisonnement ? Des progrès récents font entrevoir une nouvelle ère dans laquelle les ordinateurs serviraient à prouver des théorèmes dans toutes les branches des mathématiques, qu'ils portent sur des objets calculables ou sur des entités plus abstraites. Le premier bénéfice attendu serait la certitude que tous les arguments utilisés sont corrects, mais la communication, l'enseignement et même la création mathématique en tireraient également parti. |
[article] Pourquoi raconter des maths à un ordinateur [Livres, articles, périodiques] / Patrick Massot, Auteur . - 2022 . - p. 72-80. Langues : Français ( fre) in La Recherche > N°571 (Octobre-Novembre-Décembre 2022) . - p. 72-80 | Résumé : | Les ordinateurs sont d'une aide précieuse pour le calcul. Pourraient-ils passer au cran supérieur en aidant au raisonnement ? Des progrès récents font entrevoir une nouvelle ère dans laquelle les ordinateurs serviraient à prouver des théorèmes dans toutes les branches des mathématiques, qu'ils portent sur des objets calculables ou sur des entités plus abstraites. Le premier bénéfice attendu serait la certitude que tous les arguments utilisés sont corrects, mais la communication, l'enseignement et même la création mathématique en tireraient également parti. |
|
Faire une suggestion Affiner la recherchePourquoi raconter des maths à un ordinateur / Patrick Massot in La Recherche, N°571 (Octobre-Novembre-Décembre 2022)
