Vladimir Voevodsky

Vladimir Aleksandrovich Voevodsky sinh tại Moskva, học tại Đại học bang Moskva — nơi ông ban đầu nghiên cứu đại số phạm trù — trước khi sang Đại học Harvard và hoàn thành tiến sĩ năm 1992 dưới sự hướng dẫn của David Kazhdan. Sau các vị trí tại Harvard và Đại học Northwestern, ông trở thành giáo sư thường trú tại Viện Nghiên cứu Cao cấp Princeton năm 2002.

Trong thập niên 1990, Voevodsky — phần nào cùng Andrei Suslin, Eric Friedlander và Fabien Morel — xây dựng đồng điều motivic và lý thuyết đồng luân A^1: một phiên bản đại số của lý thuyết đồng luân, trong đó không gian được thay bằng scheme và đường affine thay cho đoạn thẳng. Với khung này ông chứng minh giả thuyết Milnor về quan hệ giữa K-lý thuyết Milnor và đồng điều Galois, đem về cho ông Huy chương Fields năm 2002. Cùng ý tưởng sau đó dẫn tới — cùng Charles Weibel, Markus Rost và những người khác — định lý phần dư chuẩn đầy đủ (giả thuyết Bloch–Kato), liên hệ K-lý thuyết đại số với đồng điều étale cho mọi số nguyên tố.

Từ khoảng năm 2006 Voevodsky chuyển sang nền tảng toán học. Lo ngại rằng toán học như đang thực hành chứa những lỗi mà việc bình duyệt không phát hiện được, ông phát triển nền tảng univalent: một phiên bản của lý thuyết kiểu Martin-Löf trong đó sự bằng nhau được diễn giải như tương đương đồng luân, phù hợp cho kiểm chứng bằng máy. Thư viện UniMath của ông trong trợ lý chứng minh Coq hiện thực hóa tầm nhìn đó, và năm học đặc biệt 2014 tại IAS cùng cuốn 'Homotopy Type Theory' đã khai sinh một cộng đồng mới. Ông đột ngột qua đời tại Princeton năm 2017, hưởng dương 51 tuổi.

Nơi làm việc: Viện Nghiên cứu Cao cấp, Princeton, Đại học Northwestern

Nga, Hoa Kỳ

Đóng góp, liên kết tới thư viện