Día Mundial de la Lógica

El 14 de enero se celebra el Día Mundial de la Lógica, para rendir homenaje a dos grandes lógicos del siglo XX: Kurt Gödel (1906-1978), que falleció el 14 de enero de 1978 (famoso por sus teoremas de incompletitud que transformaron el estudio de la lógica en el siglo XX) y Alfred Tarski (1901-1983), que nació el 14 de enero de 1901 (y formuló teorías en lógica y teoría de modelos que interactuaron con las de Gödel).

… habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel

El matemático Emil Leon Post (1897-1954) falleció un 21 de abril.

Creó el sistema formal llamado máquina de Post, equivalente a la máquina de Turing.

Sus trabajos más importantes fueron en lógica fundamental —grupos poliádicos, conjuntos recursivamente enumerables, resolubilidad de problemas combinatorios, etc.—.

En los años 1920, probó resultados similares a los que hicieron famosos a Kurt Gödel, Alonzo Church o Alan Turing, pero no los publicó.

Conocimiento peligroso

Mi amigo Juanjo Urbanski me llamaba la atención hace unos días sobre el documental de la BBC Dangerous Knowledge (2007), que puede verse desde hace un año con subtítulos en castellano.

Narrado por David Malone, el documental se centra en la vida de cuatro genios de las matemáticas: Georg Cantor, Ludwig Boltzmann, Kurt Gödel y Alan Turing.

Guateque en el Aftermath

Grandes matemáticos* reciben una invitación para una fiesta de celebrities en el Aftermath.  Fijaos en sus reacciones:

• Cauchy asegura que se integrará sin problemas.
• Hilbert  ha cerrado su hotel por esta noche y espera que nadie se aproxime demasiado a su espacio vital durante la fiesta.
• Erdös se pregunta si los epsilones también han sido convidados. Él ha invitado a sus amigos, a los amigos de sus amigos, a los amigos de los amigos de sus amigos…

Esperando a Godot, perdón a Gödel

Esperando a Godot Gödel es el título del libro de Francisco González Fernández [Esperando a Gödel. Literatura y Matemáticas, Editorial Nivola, 2012] en el que puedes encontrar -¿aún lo dudabas?- las estrechas relaciones que existen -y siempre han existido- entre las matemáticas y la literatura.

Francisco -profesor de literatura francesa de la Universidad de Oviedo- es un verdadero erudito en estas relaciones entre las ciencias y las letras. La primera cita que aparece en Esperando a Gödel -extraída de «Corriente alterna» de Octavio Paz-  es una exquisita invitación a no perderse las páginas que siguen:

La poesía y la matemática son los dos polos extremos del lenguaje. Más allá de ellos no hay nada -el territorio de lo indecible; entre ellos, el territorio inmenso, pero finito, de la conversación.