Голландский математик, член Нидерландской АН. Родился в Амстердаме. Окончил Амстердамский университет(1922). Работал там же (с 1948 — профессор).

Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма, последователь Л. Э. Я. Брауэра. Работал над перестройкой математики в соответствии с принципами интуиционизма. Одновременно с В. И. Гливенко и А. Н. Колмогоровым разработал формальную систему конструктивной логики. Предложил аксиоматическое построение проективной геометрии.