Du rêve à la réalité des preuves / Jean-Paul Delahaye | Delahaye, Jean-Paul
/5

0 avis

Du rêve à la réalité des preuves / Jean-Paul Delahaye

Article

Delahaye, Jean-Paul

Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

Voir le numéro de la revue «Pour la science, 402, Avril 2011»

Autres articles du numéro «Pour la science»

Suggestions

Du même auteur

Tangram / Jean-Paul Delahaye | Delahaye, Jean-Paul

Tangram / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2010

Le plus célèbre des puzzles suggère de nouvelles variantes du jeu et d'intéressants problèmes de géométrie, qui parfois seule la patience d'un ordinateur peut affronter.

Folie mathématique (Une) / Jean-Paul Delahaye | Delahaye, Jean-Paul

Folie mathématique (Une) / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2009

Qu'on puisse démontrer que (presque) tout est prévisible est inquiétant, et devrait faire douter de certains axiomes qui, sous des dehors innocents, produisent de graves absurdités.

Le Pizzaiolo mathématicien / Jean-Paul Delahaye | Delahaye, Jean-Paul

Le Pizzaiolo mathématicien / Jean-Paul Delaha...

Article | SYRACUSE | Delahaye, Jean-Paul | 2010

La plus innocente soirée entre amis peut donner naissance à des problèmes mathématiques. Rendez-vous à la pizzeria, pour vous entraîner à couper des parts égales.

Mesurer les chercheurs / Jean-Paul Delahaye | Delahaye, Jean-Paul

Mesurer les chercheurs / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2011

La folie évaluatrice dans le monde de la recherche scientifique a provoqué une multiplication des méthodes. L'indicateur de Hirsch est devenu le moyen le plus expéditif de noter un chercheur.

Le Calculateur amnésique / Jean-Paul Delahaye | Delahaye, Jean-Paul

Le Calculateur amnésique / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2011

Un calculateur sans mémoire est-il sérieusement limité ? Les résultats de l'algorithmique in situ montrent que non : avec un peu d'astuce, il s'en sortira toujours.

La Culturomique / Jean-Paul Delahaye | Delahaye, Jean-Paul

La Culturomique / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2011

L'étonnant corpus de textes créé récemment par une équipe internationale de chercheurs dévoile des phénomènes linguistiques insoupçonnés.

Du même sujet

Paver le plan avec un pentagone convexe / Jean-Paul Delahaye | Delahaye, Jean-Paul

Paver le plan avec un pentagone convexe / Jea...

Article | SYRACUSE | Delahaye, Jean-Paul | 2017

L'ordinateur est parfois bon géomètre. C'est en l'utilisant qu'un mathématicien français vient de mettre le point final à la solution du problème des polygones convexes permettant de recouvrir le plan.

Chargement des enrichissements...