Гливенко

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

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

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