Sin embargo, tras unos pocos años decidió que el intuicionismo de Brouwer ponía restricciones demasiado grandes a la matemática.