С 1908 начинает критиковать классическое математическое доказательство, особенно доказательство существования, высказывает ряд идей, получивших название интуиционистской логики (формализована была позже А. Гейтингом (см.)). В 1911-1913 ввел ряд понятий в топологии и получил ряд результатов в этой области.
Сочинения: Zur intuitionistischen Zerlegung mathematischer Grundbigriffe (1927); Intuitionistische Betrachtungen uber den Formalismus (1931); Historical backgraund, principles and method of intuitionism (1952).