Gilles Dowek

> Ajouter une photo

Ajouter une vidéo
Ajouter une citation

3 livres
1 critiques

Note moyenne : 4.5/5 (sur 4 notes) Gilles Dowek

Biographie et informations

Nationalité : France

Biographie :

Gilles Dowek est professeur d'Informatique à l'École polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique (INRIA).

Ses travaux portent sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.

Il a été visiteur à l'Université Carnegie Mellon à Pittsburgh, dans les laboratoires de la société Computational Logic à Austin et dans le laboratoire ICASE de la Nasa à Hampton, tous trois aux États-unis. Il a également enseigné à l'Université de Nanjing en Chine durant l'été 2002.

En 2000, la Société mathématique de France lui a remis le Grand prix d'Alembert des Lycéens en pour une action de diffusion des mathématiques auprès des jeunes.

Il est l'auteur du livre Les Métamorphoses du calcul. Une étonnante histoire de mathématiques pour lequel il a reçu le Grand Prix de Philosophie de l'Académie Française.

> lire la suite Source : /www.futura-sciences.com/
Ajouter des informations

Etiquettes

histoire calcul raisonnement science mathématiques grec

Citations de Gilles Dowek

Par beverycool, le 24/10/2009
Les Métamorphoses du calcul : Une étonnante histoire des mathématiques de Gilles Dowek

En 1976, les mathématiques sont entrées dans la période instrumentée de leur histoire. Les instruments utilisés par les mathématiciens, ne sont pas des instruments qui prolongent les facultés de nos sens, mais qui prolongent les capacités de notre entendement: notre faculté de raisonner et surtout, de calculer. ( p 182 )

Citation de qualité ? (1 votes positifs)

Par beverycool, le 24/10/2009
Les Métamorphoses du calcul : Une étonnante histoire des mathématiques de Gilles Dowek

L'entrée des mathématiques dans leur ère instrumentée incite donc, non à accorder une confiance excessive dans les instruments utilisés, mais à restreindre prudemment la confiance parfois exagérée, que nous avons en nous-mêmes: nous aussi nous pouvons faire des erreurs. ( p 191 )

Citation de qualité ? (0 votes positifs)