Советский математик, доктор физико-математических наук, профессор. Окончил Московский университет (1925). Работал в Московском городском педагогическом институте. Основные труды в области оснований математики, математической логики, теория функций действительного переменного, теории вероятностей, алгебры. Одновременно с А. Н. Колмогоровым и А. Гейтингом разработал формальную систему конструктивной логики.
Математика в СССР за XV лет. — 1932Математика в СССР за XV лет : [сборник] / под ред. П. С. Александрова, М. Я. Выгодского, В. И. Гливенко. — М. ; Л. : ГТТИ, 1932. — [4], 239 с. — Библиогр. в конце статей и в прим. — Имен. указ.: с. 237—238.