Ученик А. Н. Колмогорова, математик, лингвист, популяризатор науки и мемуарист. Доктор физико-математических наук, профессор, заведующий кафедрой математической логики и теории алгоритмов механико- математического факультета МГУ им. М. В. Ломоносова. Инициатор реформы лингвистического образования в России, один из организаторов отделения теоретической и прикладной лингвистики филологического факультета МГУ. 

Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной.