Его бывшая жена Надя Шалаби сказала, что ученый был найден мертвым в своем доме друзьями, которым она позвонила после того, как не смогла связаться с бывшим супругом, сообщает New York Times.
Обнаружив тело, друзья вызвали полицию. Шалаби предположила, что Воеводскому стало плохо, и он, по-видимому, упал, но точная причина смерти пока не была определена.
Он был профессором Института перспективных исследований в Принстоне, Нью-Джерси.
«Воеводский — поистине экстраординарный и необычный математик, который внес большой вклад в развитие математической науки»,— говорится в сообщении института.
Математик был известен работами в алгебраической геометрии и алгебраической К-теории. Он также разрабатывал новые подходы к формализации математических доказательств. Ученый разработал теории гомотопий и мотивных когомологий алгебраических многообразий. Благодаря его работам была решена гипотеза Милнора (Блоха-Като).
Совсем недавно он стал интересоваться теоретико-типовыми формализациями математики и автоматизированной проверки доказательств. Он работал над новыми основами математики, базирующимися на гомотопически-теоретической семантике теорий типа Мартина-Лёфа. Его новая «аксиома одноличности» оказала огромное влияние как на математику, так и на информатику.
Владимир Воеводский родился в 1966 году в Москве. В 1992 году получил докторскую степень в Гарвардском университете. В 2002 году стал лауреатом медали Филдса, которая вручается раз в четыре года выдающимся математикам в возрасте до 40 лет.
