H. var elev till Brouwer och har givit talrika bidrag till den matematiska intuitionismen, som denne grundlade. Av stort intresse även ur filosofisk synpunkt är hans axiomatisering av den intuitionistiska logiken och hans utveckling av ett bevisbegrepp med vars hjälp han förklarade de matematiska satsernas mening.