Гливенко Валерий Иванович
[21 дек. 1896 (2 янв. 1897) — 15 февр. 1940] — сов. математик.
В трудах по основаниям математики и математич. логике одним из первых рассматривал вопросы обоснования математики.
Г. доказал, что двойное отрицание каждого истинного предложения классич. логики суждений доказуемо в "интуиционистской" логике.
В теории множеств и теории функций Г. дал наиболее общее определение предела и исследовал строение неявных функций, определенных при помощи непрерывных функций.
В математич. статистике Г. доказал теорему о равномерной сходимости эмпирич. закона распределения к заданному теоретическому.
В последние годы жизни работал над теорией структур.
Лит.: Математика в СССР за тридцать лет 1917—1947. (Сб. статей, под ред. А. Г. Куроша [и др.], М.—Л., 1948 имеется библиография трудов Г.); Колмогоров А. Н., Валерий Иванович Гливенко (1897—1940) [Некролог], "Успехи математических наук", 1940, вып. 8. Гливенко, Валерий Иванович (2.1.1897—15.2.1940) — советский математик и логик. Род. в Киеве. Окончил Моск. ун-т (1925). Проф. (1928), д-р физико-матем. наук (1936). С 1928 работал в Моск. городском пед. ин-те. Осн. труды по основаниям математики и матем. логике, теории функций действительного переменного и теории вероятностей.
Г. доказал, что двойное отрицание каждого истинного предложения классической логики доказуемо в "интуиционистской" логике.
В теории множеств и теории функций дал наиболее общее определение предела и исследовал строение неявных функций, определенных с помощью непрерывных функций.
В матем. статистике доказал теорему о равномерной сходимости эмпирического закона распределения к заданному теоретическому.
В последние годы жизни работал над теорией структур.
Изучал матем. рукописи К. Маркса.
