Pourquoi raconter des maths à un ordinateur / Patrick Massot | Massot, Patrick
/5

0 avis

Pourquoi raconter des maths à un ordinateur / Patrick Massot

Article

Massot, Patrick

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»

Suggestions

De la même série

" J'ai cherché à remettre de l'ordre dans le désordre ", entretien avec Giorgio Parisi / Philippe Pajot | Pajot, Philippe

" J'ai cherché à remettre de l'ordre dans le ...

Article | Pajot, Philippe | 2022

Professeur d'université à Rome, l'Italien Giorgio Parisi a reçu le Nobel de physique 2021 pour ses apports aux systèmes complexes. Après un début de carrière en physique des particules, il s'est intéressé aux systèmes qui émergent...

L' Endométriose sous l'oeil des chercheurs |

L' Endométriose sous l'oeil des chercheurs

Article | 2022

Connue dès l'Antiquité, l'endométriose est une maladie gynécologique inflammatoire chronique et hormono-dépendante. Elle affecterait aujourd'hui près d'une femme en âge de procréer sur dix, entraînant des douleurs sévères, avec pa...

Pourquoi raconter des maths à un ordinateur / Patrick Massot | Massot, Patrick

Pourquoi raconter des maths à un ordinateur /...

Article | Massot, Patrick | 2022

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 ...

Aux origines génétiques des Européens d'aujourd'hui |

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...

Archéologie de nos villes après l'apocalypse / Valérie L'Hostis | L'Hostis, Valérie

Archéologie de nos villes après l'apocalypse ...

Article | L'Hostis, Valérie | 2022

Romans, films, BD et jeux vidéo d'anticipation dépeignent les prodigieux cadavres de béton, de pierre et d'acier que deviendraient les villes après la chute de l'humanité. Cette vision est-elle réaliste ? Quel serait le vieillisse...

Chargement des enrichissements...