El trabajo de Hilbert había empezado lógico en su camino a la clarificación; la necesidad de entender el trabajo de Gödel llevó entonces al desarrollo de la teoría de la computabilidad y después de la lógica matemática como disciplina autónoma en la década de 1930–1940.