Революцию в математике уже совершил Владимир Воеводский. Он полностью изгнал все варианты теории множеств из оснований математики, как зыбкую и ненадёжную опору. Также он разработал теорию, которая позволяет осуществить компьютерную проверку доказательств любых математических теорем. Но его теория использует алгебраическую теорию категорий и очень сложна для первоначального усвоения. Для продолжения и развития его теории около 2015 года образовался коллектив математиков, который выпустил совместное исследование, что является само по себе уникальным в математическом мире.
Воеводский в последние годы своей жизни работал в Принстоне, и одиноко жил в общежитии. Когда к 2017 стала более понятной его роль в современной математике, как и то, что она становится чрезмерной, он внезапно погиб. Смерть его остаётся загадочной.
Революцию в математике уже совершил Владимир Воеводский. Он полностью изгнал все варианты теории множеств из оснований математики, как зыбкую и ненадёжную опору. Также он разработал теорию, которая позволяет осуществить компьютерную проверку доказательств любых математических теорем. Но его теория использует алгебраическую теорию категорий и очень сложна для первоначального усвоения. Для продолжения и развития его теории около 2015 года образовался коллектив математиков, который выпустил совместное исследование, что является само по себе уникальным в математическом мире.
Воеводский в последние годы своей жизни работал в Принстоне, и одиноко жил в общежитии. Когда к 2017 стала более понятной его роль в современной математике, как и то, что она становится чрезмерной, он внезапно погиб. Смерть его остаётся загадочной.