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

0 avis

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

Article

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, 01/04/2011»

Autres articles du numéro «Pour la science»

Description physique: pp.90-95

Date de publication: 2011

Publié dans: Pour la science, 402, 01/04/2011

Sujets

Suggestions

Du même auteur

Tangram / Jean-Paul Delahaye

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

La Culturomique / Jean-Paul Delahaye

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

Mystérieux diviseurs / Jean-Paul Delahaye

Article | Delahaye, Jean-Paul | 2019

La somme des diviseurs d'un nombre entier suscite une multitude d'interrogations. Depuis plus de deux millénaires, des passionnés tentent d'y répondre. Une tâche inachevée!

De la même série

Les Vikings de la Seine / Vincent Carpentier

Article | Carpentier, Vincent | 2011

Les Vikings n'ont laissé pratiquement aucune empreinte archéologique en Normandie, mais seulement des traces linguistiques et historiques. Elles attestent de leur volonté de s'intégrer dans la société carolingienne .

Onduler pour avancer / Daniel Goldman

Article | Goldman, Daniel | 2011

Pour se déplacer, les serpents et d'autres animaux se tortillent. Leurs ondulations se ressemblent, mais sont en fait régies par des mécanismes très différents suivant le support.

Mercure : une planète dans la fournaise / Sco...

Article | Murchie, Scott | 2011

Après trois survols, la sonde Messenger s'est mise en orbite autour de Mercure pour observer en détail cette planète méconnue.

La Supraconductivité à l'ère industrielle / P...

Article | Tixador, Pascal | 2011

Certains matériaux perdent toute résistance électrique au-dessous d'une certaine température. Ce phénomène découvert il y a tout juste 100 ans a des applications méconnues, mais de plus en plus présentes.

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

Article | Delahaye, Jean-Paul | 2011

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.

Chargement des enrichissements...