Vladimir Veovodski

La Bifurcation

La FSMP a rencontré Vladimir Veovodsky, médaille Fields 2002, qui retrace ici son parcours singulier. Spécialiste de géométrie algébrique couronnée de succès, il a opéré depuis plusieurs années un tournant radical, se consacrant à la logique et à l'informatique fondamentale, en particulier aux assistants de preuve.