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

Гливенко Валерий Иванович
Born
1897-01-02
Died
1940-02-15

Советский математик. Родился в Киеве. Окончил Московский университет (1925). Работал в Московском городском педагогическом институте (с 1928 — профессор).

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