Nederlands wiskundige (Amsterdam 9 Mei 1898), sinds 1948 hoogleraar in de wiskunde aan de Universiteit van Amsterdam, heeft vnl. gewerkt aan de door prof. L.
E. J. Brouwer voorgestane intuïtionistische wiskunde. Hij schreef een overzicht van het wiskundige grondslagenonderzoek: Mathematische Grundlagenforschung. lntuitionismus, Beweistheorie (Berlin 1934).
