Site Web de Quadrature

Vous pouvez également consulter le site de la revue à l'adresse suivante :
http://www.quadrature.info/

jeudi 23 novembre 2017

Vladimir Voevodsky

Nous avions passé sous silence le décès survenu le 30 septembre dernier de Vladimir Voevodsky, médaille Fields 2002, à Princeton à l'âge de 51 ans. Il s'était intéressé plus récemment à la vérification automatique de preuves et à l'informatique.
Il y a un excellent article sur lui à cette adresse pour les lecteurs anglophones


Aucun commentaire:

Enregistrer un commentaire