Ateneo de Córdoba. Calle Rodríguez Sánchez, número 7 (Hermandades del Trabajo).

PRÓXIMOS ACTOS DEL ATENEO DE CÓRDOBA

Nueva Junta Junta Directiva del Ateneo de Córdoba

Marzo , 1a.quincena. Conferencia de JUAN ORTIZ VILLALBA. " LA MASONERÍA EN CÓRDOBA ". (Presenta José Luis García Clavero).
Jueves 11 de abril. Conferencia de DESIDERIO VAQUERIZO." LOS ORIGENES DE CÓRDOBA". (Presenta J.L.G.C).
Finales de abril, primera semana de mayo. Proyección del documental "MONTE HORQUERA" de FERNANDO PENCO, galardonado en diversos Festivales internacionales (Italia, India, Holanda etc,)
Lunes 11 de Mayo. Conferencia de MANUEL VACAS." LA GUERRA CIVIL EN EL NORTE DE LA PROVINCIA DE CÓRDOBA.LAS BATALLAS DE POZOBLANCO Y PEÑARROYA- VALSEQUILLO". (Presenta Antonio BARRAGÁN).Todos los actos en la Sede del Ateneo.

CONVOCADOS LOS PREMIOS DEL ATENEO DE CÓRDOBA
XI Premio de Relato Rafael Mir.
XXXIX Premio de Poesía Juan Bernier.
IX Premio Agustín Gómez de Flamenco Ateneo de Córdoba.

Fallo de las Fiambreras de Plata 2023, relación de homenajeados aquí.

¡Ayúdanos! Inserta tus fotos

Kurt Gödel

De Ateneo de Córdoba
Esta es una <a href="/mediawiki/index.php?title=Ayuda:Historial" title="Ayuda:Historial">revisión antigua</a> de esta página, editada por Jacobino (discusión | contribuciones) a las 22:29 16 jun 2013. Puede ser diferente de la <a href="/mediawiki/index.php?title=Kurt Gödel" title="Kurt Gödel">versión actual</a>.

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

Kurt Gödel (Brünn, actual Austria, 28 de abril de 1906 - Princeton, EE UU, 14 de enero de 1978) Lógico y matemático estadounidense de origen austriaco. En 1930 entró a formar parte del cuerpo docente de la Universidad de Viena. Por su condición de judío se vio obligado a abandonar la ciudad durante la ocupación alemana de Austria y a emigrar a Estados Unidos, donde pasó a ocupar una plaza de profesor en el Instituto de Estudios Avanzados de Princeton, institución que ya había visitado con anterioridad.

En 1931 publicó el artículo «Sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados», en el que propuso sus dos teoremas de la iocompletitud, el primero de los cuales establece que ninguna teoría finitamente axiomatizable y capaz de derivar los postulados de Peano (esto es, abarcar un nivel mínimo de complejidad) es a la vez consistente y completa.

En otras palabras, si se intenta elaborar una teoría fundacional de las matemáticas que establezca los axiomas y las reglas de inferencia asociadas a los mismos, de modo que sea posible estipular con precisión qué es y qué no es un axioma, la teoría resultante será bien insuficiente (no permitirá derivar los postulados de Peano), incompleta (existirá al menos una proposición matemáticamente válida que no será derivable de la teoría) o inconsistente.

El segundo teorema de la incompletitud, corolario del primero, afirma que si una teoría es finitamente axiomatizable, consistente y capaz de derivar los postulados de Peano, entonces dicha teoría no puede probar su propia consistencia. Mediante la demostración de las imperfecciones del sistema axiomático como herramienta, heredada de los antiguos griegos, para la elaboración de teorías complejas, completas y consistentes, la obra de Gödel echó definitivamente por tierra las empresas formalistas (Hilbert) y logicistas (Russell y Whitehead) y, en definitiva, más de un siglo de intentos de desarrollar una fundamentación de las matemáticas basada en dichos instrumentos.

Fuente