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