1. Quotes
  2. Authors
  3. Vladimir Voevodsky

Vladimir Voevodsky Quotes

Vladimir Alexandrovich Voevodsky 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. He is also known for the proof of the Milnor conjecture and motivic Bloch–Kato conjectures and for the univalent foundations of mathematics and homotopy type theory. Wikipedia  

✵ 4. June 1966 – 30. September 2017
Vladimir Voevodsky photo
Vladimir Voevodsky: 4 quotes0 likes

Famous Vladimir Voevodsky Quotes

“Today we face a problem that involves two difficult to satisfy conditions. On the one hand we have to find a way for computer assisted verification of mathematical proofs. This is necessary, first of all, because we have to stop the dissolution of the concept of proof in mathematics. On the other hand, we have to preserve the intimate connection between mathematics and the world of human intuition. This connection is what moves mathematics forward and what we often experience as the beauty of mathematics.”

Vladimir Voevodsky

UniMath by Vladimir Voevodsky, Heidelberg Laureate Forum, Sept. 22, 2016, Heidelberg https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf p. 3

“Mathematical research currently relies on a complex system of mutual trust based on reputations. By the time Simpson's paper appeared, both Kapranov and I had strong reputations. Simpson's paper created doubts in our result, which led to it being unused by other researchers, but no one came forward and challenged us on it.”

Vladimir Voevodsky

Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 http://www.math.ias.edu/vladimir/files/2014_IAS.pdf p. 10

“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”

Vladimir Voevodsky

Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 http://www.math.ias.edu/vladimir/files/2014_IAS.pdf p. 8

“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.”

Vladimir Voevodsky

Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 http://www.math.ias.edu/vladimir/files/2014_IAS.pdf p. 13

Similar authors

Marek Żukow-Karczewski photo
Marek Żukow-Karczewski10
Polish historian, journalist and opinion journalist None
Barack Obama photo
Barack Obama1158
44th President of the United States of America None
Grigori Perelman photo
Grigori Perelman1
Russian mathematician None
Dmitry Rogozin photo
Dmitry Rogozin11
Russian diplomat None
Paullina Simons photo
Paullina Simons55
Russian writer None
Dmitry Muratov photo
Dmitry Muratov4
Russian journalist and television presenter None
Maryam Mirzakhani photo
Maryam Mirzakhani4
Iranian mathematician None
Pavel Durov photo
Pavel Durov1
Russian entrepreneur None
Alexey Navalny photo
Alexey Navalny5
Russian anti-corruption activist None
Alexander Ovechkin photo
Alexander Ovechkin27
Russian ice hockey player None