Filosofía en español
Filosofía en español
Matemático y lógico austríaco; ha contribuido de manera relevante en la investigación de los problemas de la lógica matemática. En la década de 1930, profesó en la Universidad de Viena; desde 1940 trabaja en los Estados Unidos. El resultado de mayor importancia obtenido por Gödel estriba en la demostración (1931) de que los sistemas formales son incompletos (por ejemplo, la aritmética de los números naturales, que admiten la formalización): en tales sistemas se dan siempre proposiciones que, en sus esferas, son indemostrables e irrefutables. Este resultado, obtenido por Gödel, ha dado origen a una intensa investigación acerca de los limitadores de los sistemas formales (trabajos de Alonzo Church, S. Kleene, Alfred Tarski, A. Mostowski, P. Nóvikov y otros), la cual ha llevado a formular la conclusión filosófica de principio sobre la imposibilidad de formalizar plenamente el saber científico. Gödel ha trabajado, asimismo, en la esfera de la metamatemática, de la lógica constructiva, de la teoría de las funciones recursivas, &c. En sus concepciones filosóficas, Gödel experimentó el influjo del neopositivismo (década de 1930); posteriormente, ha criticado el subjetivismo.
Diccionario filosófico · 1965:205
Matemático y especialista en lógica austríaco. Estudiaba los problemas de las metamatemáticas y la lógica matemática. El resultado más importante obtenido por Goedel consiste en haber demostrado (1931) el carácter incompleto de los sistemas formales suficientemente ricos: en tales sistemas figuran proposiciones verdaderas que en su marco son indemostrables e irrefutables. Este resultado originó una intensa investigación de las limitaciones de los sistemas formales (trabajos de A. Church, S. Kleene, Tarski, A. Mostovski, P. Nóvikov y otros), y en el plano filosófico significaba la afirmación de que es imposible por principio la total formalización del conocimiento científico. En sus concepciones filosóficas, Goedel experimentó en los años 30 la influencia del neopositivismo; más tarde criticó el subjetivismo.
Diccionario de filosofía · 1984:196-197