Post
Post
Post Emil Leon (Augustów 1897 - New York 1954) matematico e logico statunitense di origine polacca. Emigrato fin da bambino negli Stati Uniti con la sua famiglia, conseguì il dottorato in matematica presso la Columbia University e successivamente insegnò matematica in alcune scuole di New York. Dette importanti contributi alle ricerche logiche e fondazionali relative alla matematica, dimostrando in particolare la completezza sintattica del calcolo proposizionale codificato nel sistema di assiomi dei Principia Mathematica di Whitehead e Russell. Riprendendo il lavoro di Ch.S. Peirce, utilizzò sistematicamente e indipendentemente da L. Wittgenstein, le tavole di verità per la logica elementare. Successivamente, in sintonia con i problemi che venivano emergendo sulle questioni della definibilità e della costruibilità, si occupò di computabilità (1936), definì la nozione di algoritmo (algoritmo di Post, 1943) e fornì una teoria degli insiemi ricorsivamente enumerabili, elaborando un sistema sintattico in grado di definire formalmente la nozione di calcolabilità (→ Post, sistema di).