Гливенко, Валерий Иванович

Найдено 1 определение
Гливенко, Валерий Иванович

[21 дек. 1896 (2 янв. 1897) — 15 февр. 1940] — сов. математик. В трудах по основаниям математики и математич. логике одним из первых рассматривал вопросы обоснования математики. Г. доказал, что двойное отрицание каждого истинного предложения классич. логики суждений доказуемо в "интуиционистской" логике. В теории множеств и теории функций Г. дал наиболее общее определение предела и исследовал строение неявных функций, определенных при помощи непрерывных функций. В математич. статистике Г. доказал теорему о равномерной сходимости эмпирич. закона распределения к заданному теоретическому. В последние годы жизни работал над теорией структур.


Лит.: Математика в СССР за тридцать лет 1917—1947. (Сб. статей, под ред. А. Г. Куроша [и др.], М.—Л., 1948 имеется библиография трудов Г.); Колмогоров А. Н., Валерий Иванович Гливенко (1897—1940) [Некролог], "Успехи математических наук", 1940, вып. 8.





Гливенко, Валерий Иванович


(2.1.1897—15.2.1940) — советский математик и логик. Род. в Киеве. Окончил Моск. ун-т (1925). Проф. (1928), д-р физико-матем. наук (1936). С 1928 работал в Моск. городском пед. ин-те. Осн. труды по основаниям математики и матем. логике, теории функций действительного переменного и теории вероятностей. Г. доказал, что двойное отрицание каждого истинного предложения классической логики доказуемо в "интуиционистской" логике. В теории множеств и теории функций дал наиболее общее определение предела и исследовал строение неявных функций, определенных с помощью непрерывных функций. В матем. статистике доказал теорему о равномерной сходимости эмпирического закона распределения к заданному теоретическому. В последние годы жизни работал над теорией структур. Изучал матем. рукописи К. Маркса.

Источник: Большая русская биографическая энциклопедия. 2008