Российский математик, лингвист и публицист, доктор физико-математических наук (1964), профессор. Автор многочисленных трудов по математической логике, лингвистике, мемуарной прозы. Инициатор реформы лингвистического образования в России.

Окончил механико-математический факультет МГУ (1952), ученик Андрея Николаевича Колмогорова. Под его руководством защитил кандидатскую диссертацию (1955), темой которой были вычислимые операции над перечислимыми множествами. С 1995 года по настоящее время является заведующим кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ. Один из основателей Отделения теоретической и прикладной лингвистики (ОТиПЛ) на филологическом факультете МГУ, где также преподает.

Подготовил 25 кандидатов и 4 докторов наук. Автор многих книг и свыше 100 научных работ. Его филологические и культурологические работы опубликованы в журналах «Новое литературное обозрение», «Неприкосновенный запас», «Новый мир», «Знамя», «Вопросы литературы».