Escribió los Fundamentos de la matemática, junto a Hermann Weyl y Oskar Becker, donde trató de aplicar la Fenomenología de Edmund Husserl para la Matemática Constructiva.