Hilbert's work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.
O traballo de Hilbert empezara lóxico no seu camiño á clarificación; a necesidade de entender o traballo de Gödel levou entón ao desenvolvemento da teoría da computabilidad e logo da lóxica matemática como disciplina autónoma na década de 1930-1940.