Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Actualités

JPEG - 6.5 ko
Disparition de Vladimir Voevodsky, Médaille Fields 2002, à l’âge de 51 ans.

par Lozingot Eric - publié le

Il avait notamment développé la cohomotopie motivique conjecturée par Alexandre Grothendieck dans les années 60.
-
Vladimir Voevodsky, médaille Fields en 2002, est décédé le 30 septembre 2017 à l’âge de 51 ans.
-
Célèbre pour résoudre les problèmes les plus difficiles dans la géométrie algébrique abstraite, Voevodsky s’est concentré sur la théorie homotopique des schémas, la théorie K algébrique et les interrelations entre la géométrie algébrique et la topologie algébrique. Il a réalisé l’un des progrès les plus remarquables de la géométrie algébrique au cours des dernières décennies en développant de nouvelles théories de cohomologie pour les variétés algébriques. Parmi les conséquences de son travail figurent les solutions des Conjectures Milnor et Bloch-Kato.
-
Plus récemment, il s’est intéressé à la formalisation théorique des mathématiques et à la vérification automatisée des preuves. Il travaillait sur de nouvelles fondations de mathématiques basées sur la sémantique théorique de l’homotopie des théories de type Martin-Löf. Son nouvel "Axiome d’Univalence" a eu un impact considérable tant en mathématiques qu’en informatique.
-

JPEG - 26.3 ko
Vladimir VOEVODSKY

-
Quelques liens :
- Le Printemps Logique (oct. 2013) sur l’Axiome d’univalence ( slide )
- Anecdotes (en anglais) issues du site web Hacker News.
- Universalis.fr

Voir en ligne : Wiki Vladimir Voevodsky

Portfolio