Российский математик, лингвист и публицист, доктор физико-математических наук (1964), профессор. Выпустил труды по математической логике, лингвистике; автор мемуарной прозы. Инициатор реформы лингвистического образования в России.
Окончил механико-математический факультет МГУ (1952), ученик А.Н. Колмогорова. Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ (1966). Один из организаторов Отделения теоретической и прикладной лингвистики МГУ, где также преподает.
Дата рождения: 27 ноября 1930 г.