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

Dinosaures : on a retrouvé leur sang / Mary S...

Article | Schweitzer, Mary | 2011

La préservation de matériaux organiques durant plusieurs dizaines de millions d'années passait pour impossible. Pourtant , les paléontologues en trouvent de plus en plus dans des os de dinosaures.

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 .

Scarabées en vol... téléguidé / Michel Maharb...

Article | Maharbiz, Michel | 2011

Des chercheurs conçoivent de minuscules robots volants, mi-insectes, mi-machines. Ces hybrides du vivant et de l'électronique pourraient un jour sauver des vies en cas de catastrophes ou de guerres.

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.

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.

Chargement des enrichissements...