Kurt Gödel: revolución en los fundamentos de las mateméticas
DOI:
https://doi.org/10.3989/arbor.2007.i725.113Palabras clave:
Filosofía de las matemáticas, lógica matemática, fundamentos de las matemáticas, consistencia, incompletud, teoría de conjuntos, metamatemática, programa de Hilbert, platonismoResumen
Ofrecemos un repaso a las principales contribuciones de Kurt Gödel en el campo de Lógica y fundamentos de las matemáticas, analizando su impacto, que bien puede llamarse revolucionario. La pretensión es hacer comprensible la tendencia y orientación metodológica de los trabajos de Gödel, y considerar en algún detalle sus repercusiones filosóficas. Así, se ofrece una perspectiva de cómo cambió la filosofía de las matemáticas entre las fechas de nacimiento y muerte del genial lógico matemático.
Descargas
Citas
Obras completas, Alianza, Madrid, 1989. “La situación presente en los fundamentos de las matemáticas”, en La Gaceta de la Real Sociedad Matemática Española, vol. 9, 3, 2006, 761-771.
Collected Works. Volúmenes I-V. Ed. S. Feferman et al., Oxford University Press, New York, 1986-2003.
Dawson, John W. (1997): Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, Wellesley (Mass.).
Análisis desde el punto de vista lógico y filosófico
Feferman, Solomon (1998): In the Light of Logic, Oxford University Press, New York, 1998.
Ferreirós, José (1999): “Matemáticas y platonismo(s)”, en La Gaceta de la Real Sociedad Matemática Española, vol. 2, 446-473.
Franzén, Torkel (2005): Gödel’s Theorem. An Incomplete Guide to Its Use and Abuse, A K Peters, Wellesley (Mass.).
Jané, Ignacio (2006): “La obra de Gödel en lógica matemática y teoría de conjuntos”, en La Gaceta de la Real Sociedad Matemática Española, vol. 9, 3, 772-788.
Tait, W. (1981): “Finitism”, Journal of Philosophy, 78; reimpreso en Tait, The Provenance of Pure Reason, Oxford University Press, 2005.
Wang, Hao (1991): Reflexiones sobre Kurt Gödel, Alianza, Madrid.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2007 Consejo Superior de Investigaciones Científicas (CSIC)
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
© CSIC. Los originales publicados en las ediciones impresa y electrónica de esta Revista son propiedad del Consejo Superior de Investigaciones Científicas, siendo necesario citar la procedencia en cualquier reproducción parcial o total.Salvo indicación contraria, todos los contenidos de la edición electrónica se distribuyen bajo una licencia de uso y distribución “Creative Commons Reconocimiento 4.0 Internacional ” (CC BY 4.0). Puede consultar desde aquí la versión informativa y el texto legal de la licencia. Esta circunstancia ha de hacerse constar expresamente de esta forma cuando sea necesario.
No se autoriza el depósito en repositorios, páginas web personales o similares de cualquier otra versión distinta a la publicada por el editor.