Gödel para todos: Gödel y Lacan

En este enlace puede leerse la primera parte una nota de Guillermo Martínez titulada "Gödel y Lacan". En este otro enlace está la segunda parte.

Bibliografía

Desde este enlace puede descargarse el texto "Los fundamentos lógicos de las matemáticas", también de David Hilbert (en castellano).

Aquí puede hallarse más información sobre el Programa de Hulbert (en inglés). Desde este enlace se puede descargar el artículo Hilbert's Program Revisited de Panu Raatikainen, una de las exposiciones más claras sobre el Programa de Hilbert (en inglés).

Desde aquí puede descargarse la conferencia en la que David Hilbert planteó sus famosos 23 problemas (París, 1900). (El texto está en inglés.)

Bibliografía para el capítulo 2

Desde este enlace puede descargarse (en castellano) la Conferencia Gibbs (1951) en la que Gödel reflexiona sobre las consecuencias filosóficas de sus teoremas. Aquí, a su vez, Solomon Feferman analiza profundamente la conferencia (el texto está en inglés). Otro artículo de Feferman, relacionado también con el teorema de Gödel, puede descargarse desde este enlace.

Desde este enlace puede descargarse un artículo de Paul Bernays (colaborador de David Hilbert y contemporáneo de Gödel) sobre el Programa de Hilbert. Aquí pueden descargarse otros textos del mismo autor. Muy recomendables. (Los textos están en inglés). Otros textos de Hilbert y Bernays pueden hallarse aquí.

Aquí, un artículo de Panu Raatikainen sobre consecuencias filosóficas del Teorema de Gödel. Muy recomendable. (En inglés.)