who proved significant results in the areas of set theory, topology, and measure theory He was also the founder of the doctrine known as intuitionism, which insists on constructive proofs and so rejects proofs which make use of the principle of the excluded middle. This resulted in much controversy, particularly with Hilbert and his formalist philosophy.