Математик. Академик АН СССР (1960; член-корреспондент 1953). Родился 15(28).8.1901 в Москве. Окончил Московский университет (1925). В 1929—34 работал в Московском химико-технологическом институте, с 1934 — в Математическом институте им. В. А. Стеклова АН СССР, с 1957 руководил отделом математической логики. Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп. Создал сильный метод исследования проблем дескриптивной теории множеств, получивший название «принцип сравнения индексов». Доказал, что во втором классе проективных множеств имеют место законы отделимости, обратные по отношению к законам отделимости в первом проективном классе. Создал метод доказательства непротиворечивости формальных систем, основанный на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряженности и изоморфизма в теории групп. Получил (вместе со своим учеником С. И. Адяном) решение известной проблемы Бернсайда о периодических группах. Создал школу математической логики в СССР. Ленинская премия (1957). Награждён 2 орденами Ленина, орденом Трудового Красного Знамени и медалями. Скончался 9.1.1975 в Москве.

БСЭ