Fue el fundador de la filosofía matemática del intuicionismo.