(род. 1869 - ум. 1947) - рус. логик и математик, один из создателей школы математической логики. Построил логику высказываний в виде арифметики двух чисел - нуля ("четное") и единицы ("нечетное"), в которой в отличие от обычного способа построения логики высказываний использован не соединительный, а разделительный дизъюнктивный метод, соответствующий сложению в арифметике четного и нечетного. Тем самым была достигнута большая простота в решении логических задач.