Gödel para todos: Presentación en el IES Nº 2 "Mariano Acosta"

Gödel para todos fue presentado por tercera vez el 4 de junio de 2009 en el IES N° 2 "Mariano Acosta". Agradecemos a las autoridades del IES por la invitación y a todos quienes estuvieron allí presentes por su amable atención e interesantes preguntas.

Las fotografías son gentileza de Carlos Trapani.

Bibliografía

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

Aquí puede hallarse más información sobre el Programa de Hilbert (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.)