… habría demostrado el teorema de Gödel en 1921… si hubiera sido Gödel |
Escrito por Marta Macho Stadler |
Jueves 21 de Abril de 2016 |
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:
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:
Artículo publicado en el blog de la Facultad de Ciencia y Tecnología (ZTF-FCT) de la Universidad del País Vasco ztfnews.wordpress.com |
© Real Sociedad Matemática Española. Aviso legal. Desarrollo web |