Pourquoi raconter des maths à un ordinateur / Patrick Massot

0 avis

Pourquoi raconter des maths à un ordinateur / Patrick Massot

Article

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.

Voir le numéro de la revue «La Recherche, 571, 01/10/2022»

Autres articles du numéro «La Recherche»

Description physique: pp.72-80

Date de publication: 2022

Publié dans: La Recherche, 571, 01/10/2022

ISSN: 0029-5671

Sujets

Suggestions

De la même série

" L'Europe a l'ambition d'être à la pointe de...

Article | Leglu, Dominique | 2022

En quinze ans d'existence, le Conseil européen de la recherche (ERC) a financé plus de 12 000 propositions de recherche fondamentale en Europe. Pour la biologiste et immunologue allemande Maria Leptin, qui a pris les rênes de cett...

Pourquoi raconter des maths à un ordinateur /...

Article | Massot, Patrick | 2022

Aux origines génétiques des Européens d'aujou...

Article | 2022

Dans "Le Voyage de nos gènes" (Odile Jacob, à paraître le 28 septembre 2022), l'archéogénéticien Johannes Krause et le journaliste Thomas Trappe retracent l'histoire du peuplement de l'Europe, du Paléolithique à nos jours, grâce a...

Les Forêts d'algues, une richesse insoupçonné...

Article | Potin, Philippe | 2022

La prolifération d'algues vertes sur les côtes bretonnes ou de sargasses (algues brunes) aux Caraïbes donne à ces végétaux sous-marins une mauvaise réputation - même si les algues sont consommées depuis longtemps à travers le mond...

Devenir scientifique, un parcours semé d'inég...

Article | Perronnet, Clémence | 2022

Les filières scientifiques sont perçues comme un moyen d'ascension sociale efficace pour les jeunes issus des classes populaires et des minorités. Et pourtant Au même titre que les femmes, ces élèves restent exclus des études et ...

Chargement des enrichissements...