Валерий Иванович Гливенко
(02.01.1897 - 15.02.1940)

Гливéнко Валерий Иванович, род. 2.1.1897 (21.12.1896), Киев - ум. 15.2.1940, Москва.

Математик, окончил Московский университет (1925), с 1928 проф. Московского пед.института им.К.Либкнехта. Основные труды по основаниям математики и матем.логике, теории функций действительного переменного и теории вероятностей (теорема Гливенко-Кантелли). Одним из первых исследовал вопросы обоснования математики. Показал, что если в классическом исчислении доказуема некоторая формула, то соответствующая формула доказуема и в конструктивном исчислении. Одновременно с А.Н.Колмогоровым и А.Гейтингом разработал формальную систему конструктивной логики. Указал, что конструктивная логика не допускает точной интерпретации посредством трехзначных таблиц истинности. В теории вероятностей разрабатывал аксиоматизацию понятия события без применения той или иной интерпретации. В математической статистике доказал теорему о равномерной сходимости эмпирического закона распределения к заданному теоретическому. В теории функций и теории множеств дал наиболее общее определение предела и изучил строение неявных функций, определенных с помощью непрерывных функций.