… 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ó.

En 1938, tras haber publicado Gödel sus teoremas de incompletitud, Post le escribió unas letras:

[…] for fifteen years I carried around the thought of astounding the mathematical world with my unorthodox ideas, and meeting the man chiefly responsible for the vanishing of that dream rather carried me away. Since you seemed interested in my way of arriving at these new developments perhaps Church can show you a long letter I wrote to him about them. As for any claims I might make perhaps the best I can say is that I would have proved Gödel’s Theorem in 1921 – had I been Gödel.

[…] durante quince años, he acariciado la idea de asombrar al mundo matemático con mis ideas heterodoxas, y encontrar al hombre que era responsable del hundimiento de este sueño que me entusiasmaba. Como Vd. parecía interesarse por mi manera de llegar a estos nuevos desarrollos, a lo mejor Church puede enseñarle una larga carta que le escribí sobre este tema. En cuanto a las declaraciones que podría hacer, lo mejor que puedo decir es sin duda que habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel.

Su vida se vio marcada por trastornos bipolares, y falleció de una crisis cardiaca durante una de sus estancias en el hospital después de haberle sometido a un tratamiento por electrochoque.

Más información:

• Wikipedia
• Emil Leon Post Papers
• Emil Post est mort il y a soixante ans, Images des Maths
• Alasdair Urquhart, Emil Post, Handbook of the History of Logic. Volume 5. Logic from Russell to Church, 429-478, 2008