Matematico e logico (Amsterdam 1898 - Lugano 1980), prof. all'univ. di Amsterdam. Insieme con L. E. J. Brouwer è uno dei creatori dell'intuizionismo. Tra le sue opere: Die formalen Regeln der intuitionistischen Logik (1930), Die intuitionistische Grundlegung der Mathematik (1931), Intuitionism (1956).