Matematico e filosofo olandese (Overschie, Rotterdam, 1881 - Laren, Olanda Settentr., 1966); dal 1912 prof. all'univ. di Amsterdam. È stato uno dei fondatori della moderna topologia, e di vedute topologiche si è valso in indagini critiche in varî campi (teoria delle curve, gruppi continui, ecc.). Come filosofo ed epistemologo, è da considerare il caposcuola della corrente cosiddetta dell'intuizionismo, la quale afferma la possibilità di logiche trivalenti o addirittura polivalenti, mettendo in discussione il principio logico del terzo escluso. I suoi principali scritti sono raccolti in Philosophy of mathematics. Selected readings, 1964.