Vladimir Voevodsky (1966-2017)-matematyk, który zrewolucjonizował geometrię algebraiczną i dowody wspomagane komputerowo