Оказывается, есть некоторое брожение умов по поводу совершенно классического результата---the moving lemma семинара Шевалле 50х. "Я когда-то понимал, в чем там можеть быть проблема в доказательства, но сейчас нет". Есть и отрицатель (the moving lemma denier), автор стандартной монографии, её избегающей...
K слову, заметка Воеводского об истории ошибок: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
K слову, заметка Воеводского об истории ошибок: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
It turns out that there is some ferment of minds about a completely classic result --- the moving lemma of the Chevalley 50s seminar. "I once understood what the problem could be in the proof, but not now." There is also a negative (the moving lemma denier), the author of a standard monograph, which avoids it ...
By the way, a note of Voevodsky on the history of errors: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
By the way, a note of Voevodsky on the history of errors: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
У записи 3 лайков,
0 репостов.
0 репостов.
Эту запись оставил(а) на своей стене Михаил Гаврилович
