GÖDEL, Kurt

No figura en el Diccionario filosófico marxista · 1946

No figura en el Diccionario filosófico abreviado · 1959

Diccionario filosófico · 1965:205

Kurt Gödel (nacido en 1906)

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, etc. En sus concepciones filosóficas,
Gödel experimentó el influjo del neopositivismo (década de 1930);
posteriormente, ha criticado el subjetivismo.

Diccionario de filosofía · 1984:196-197

Kurt Goedel (1906-1978)

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.

Comparte este artículo