Советский математик, историк математики. Родился в станице Луганская (ныне Ворошиловградской обл.). Окончил Московский университет (1936). Ученик С. А. Яновской. С 1945 преподает в Московском университете (с 1956 — профессор). Основные работы посвящены истории математики и математической логике. В 1968 опубликовал математические рукописи К. Маркса и прокомментировал их.
Заслуженный деятель науки и техники РСФСР (1973).