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

Réel et réalités

Article | 2022

La science décrit-elle le monde qui nous entoure ? En d'autres termes, les théories scientifiques sont-elles de " bonnes " descriptions de la réalité ? En général, oui, nous disent les chercheurs et les chercheuses, à condition de...

Pourquoi raconter des maths à un ordinateur /...

Article | Massot, Patrick | 2022

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

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

Des Nids de guêpes d'une intense fluorescence...

Article | Berthier, Serge | 2022

Dans la forêt tropicale au nord du Vietnam, nous avons mis au jour, de nuit, un phénomène biologique exceptionnel : des nids de guêpes ont des alvéoles aux opercules fluorescents. Les mesures que nous avons menées en laboratoire o...

Chargement des enrichissements...