Skip to content

Vladimir Voevodsky Quotes

1966–2017 Russia

Vladimir Alexandrovich Voevodsky (4 June 1966 – 30 September 2017) was a Russian-American mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002.

Russia
Mathematicians

Random Vladimir Voevodsky quote

2 quotes

It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.

A technical argument by a trusted author, which is hard to check and looks similar to arguments known to be correct, is hardly ever checked in detail

Attribution

Quotes and notes from Wikiquote: Vladimir Voevodsky (page history), available under CC BY-SA 4.0.