Советский математик, член-корреспондент АН СССР (с 1964), один из основоположников советской кибернетики. Родился в Москве. Окончил Московский университет (1933). В 1934—1962 работал в Математическом институте АН СССР, в 1953—1962 — одновременно в Московском университете, в 1962— 1973 — в институте теоретической кибернетики и институте математики СО АН СССР.

Основные направления исследований — математическая логика, математическая статистика, ЭВМ, приближенные и численные методы, программирование, кибернетика. Ряд работ относится к дескриптивной теории множеств, теории функций, математической лингвистике, математической биологии. Важные результаты получил в дескриптивной теории множеств. Показал (1963), что операция может быть обобщена на произвольные теоретико-множественные операции применительно к произвольному пространству индексов со счетной глубиной цепей; определил трансфинитные индексы этих операций. Развил общую теорию операций. Разработал одну из алгоритмических систем, ориентированную на практические применения. Внес фундаментальный вклад в построение алгебры программ. Сформулировал метод описания программ с помощью операторной схемы, который был положен в основу развития идей советской школы программирования.