Род. 1924, ум. 1998. Математик, специалист по математической логике и теоретическим вопросам кибернетики. Лауреат Ленинской премии (1966). С 1968 г. чл.-корр. АН СССР, с 1991 г. — РАН.