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