1. Frases
  2. Autores
  3. Vladímir Voyevodski

Frases de Vladímir Voyevodski

Vladímir Aleksándrovich Voyevodski ?, también trascrito como Voevodsky fue un matemático ruso nacionalizado estadounidense, ganador de la Medalla Fields en 2002. Wikipedia  

✵ 4. junio 1966 – 30. septiembre 2017
Vladímir Voyevodski Foto
Vladímir Voyevodski: 4 citas0 Me gusta

Vladímir Voyevodski: Frases en inglés

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

Help us translate this quote

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

Help us translate this quote

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”

Help us translate this quote

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

Help us translate this quote

Vladimir Voevodsky

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

Autores similares

Pável Dúrov Foto
Pável Dúrov5
emprendedor ruso None
Marta Macho Stadler Foto
Marta Macho Stadler6
matemática y divulgadora científica española None
Gari Kaspárov Foto
Gari Kaspárov13
ajedrecista, escritor, político ruso None
Sergey Brin Foto
Sergey Brin2
empresario de Internet None
Nassim Taleb Foto
Neal Stephenson Foto
Neal Stephenson35
escritor estadounidense de ciencia ficción None
Linus Torvalds Foto
Linus Torvalds8
Ingeniero de software finlandés residente en Estados Unidos. None