Советский математик и философ, член-корреспондент АН ГрузССР (с 1961). Родился в Кутаиси. Окончил Тбилисский университет (1924). В 1925—1975 работал в Тбилисском университете (с 1936— профессор), с 1935—также в Математическом институте АН ГрузССР.

Основные исследования посвящены математической логике, теории множеств, истории и философии математики. Разработал теорию коренных выводов, на основании которой разъяснил математические и логические парадоксы. Изучал математические рукописи К. Маркса (1947). Автор учебников по высшей математике.

Заслуженный деятель науки ГрузССР (с 1944).