Metadata
Author: WikiMatrix
Data
English[en]
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.
Spanish[es]
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.