1. Цитаты
  2. Авторы
  3. Воеводский, Владимир Александрович

Воеводский, Владимир Александрович цитаты

Владимир Александрович Воеводский — советский, российский и американский математик, внесший значительный вклад в алгебраическую геометрию и основания математики. Лауреат Филдсовской премии , постоянный профессор Института перспективных исследований.

Среди основных результатов на стыке алгебраической геометрии и алгебраической топологии — построение теории мотивных когомологий и доказательство её средствами гипотезы Милнора и гипотезы Блоха — Като, составлявших существенную проблемную часть алгебраической







K





{\displaystyle K}

-теории. В области оснований математики инициировал и внёс решающий вклад в программу создания унивалентных оснований математики — формального языка для абстрактных разделов математики, обеспечивающего автоматическую проверку доказательств на компьютере. Wikipedia  

✵ 4. Июнь 1966 – 30. Сентябрь 2017
Воеводский, Владимир Александрович фото
Воеводский, Владимир Александрович: 4 цитаты0 Нравится

Воеводский, Владимир Александрович: Цитаты на английском языке

“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

Подобные авторы

Хит Леджер фото
Хит Леджер34
американский актёр и режиссёр None
Леонардо Ди Каприо фото
Леонардо Ди Каприо40
американский актёр и продюсер None
Уилл Смит фото
Уилл Смит76
американский актёр, продюсер и рэпер None
Том Хиддлстон фото
Том Хиддлстон25
британский актёр None
Джаред Лето фото
Джаред Лето200
американский актёр и рок-певец None
Джонни Депп фото
Джонни Депп88
американский актёр, режиссёр, музыкант, сценарист и продюсер None
Анджелина Джоли фото
Анджелина Джоли92
американская актриса, режиссёр и сценарист, фотомодель, пос… None
Рената Литвинова фото
Рената Литвинова48
Режиссер авторского независимого кино, сценарист, продюсер,… None
Джим Керри фото
Джим Керри54
канадо-американский актёр, комик, сценарист, продюсер и худ… None
Чак Паланик фото
Чак Паланик90
американский писатель и журналист None