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