Había cierta ironía en que a través del programa de largo alcance de David Hilbert un hogar natural para las ideas centrales de la lógica intuicionista fuera encontrado: Hilbert había detestado, nada cordialmente, la escuela de Brouwer.