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ó.
Seguir leyendo ‘… habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel’