Emil Leon Post

Emil Leon Post giunse a una conclusione riguardante la completezza del calcolo proposizionale nel 1921, mappando efficacemente i fondamenti logici dei Principia Mathematica. La sua carriera si è evoluta attraverso significative ricerche matematiche negli Stati Uniti, spaziando dai suoi primi studi di dottorato alla Columbia University alla sua posizione di insegnante di lunga data al City College di New York.

Fondazione Accademica

Nato ad Augustów nel 1897, Post si trasferì a New York da bambino. Ha frequentato la Townsend Harris High School e ha completato la sua laurea al City College di New York prima di conseguire il dottorato alla Columbia University nel 1920 sotto la supervisione di Cassius Jackson Keyser. Il suo primo percorso professionale ha incluso un anno di post-dottorato all'Università di Princeton, seguito da periodi alla Cornell University e dall'insegnamento nelle scuole secondarie prima di ottenere un incarico di facoltà al City College di New York nel 1932.

Logica e Computabilità

Post ha sviluppato indipendentemente le tavole di verità e ha ampliato la teoria delle proposizioni elementari. Nel 1936, ha formulato un modello di calcolo equivalente alla macchina di Turing, ora indicato come macchina di Post-Turing. Il suo lavoro sui sistemi canonici, pubblicato nel 1943, ha stabilito metodi per la riscrittura di stringhe che rimangono fondamentali per la progettazione moderna dei linguaggi di programmazione. Nel 1946, ha introdotto il problema della corrispondenza di Post per dimostrare l'indecidibilità nei linguaggi formali.

Gruppi Poliadici e il Problema di Post

Oltre ai suoi contributi alla computabilità, Post ha condotto ricerche approfondite sui gruppi poliadici, o n-ari. Il suo articolo del 1940 ha fornito un teorema fondamentale che dimostrava che tali strutture potevano essere espresse tramite operazioni di gruppo standard. Più tardi, in un discorso all'American Mathematical Society nel 1944, ha proposto una domanda riguardante l'esistenza di un insieme ricorsivamente enumerabile non computabile con un grado di Turing inferiore al problema della fermata, una sfida ora nota come problema di Post.

Gestione della Salute

Iniziando durante il suo periodo a Princeton, Post ha lottato contro attacchi maniacali. Seguendo il consiglio medico, ha limitato la durata della sua ricerca quotidiana a non più di tre ore. È stato sposato con Gertrude Singer nel 1929, con la quale ha avuto una figlia, Phyllis Post Goodman. Post è morto di infarto a New York nel 1954 dopo aver ricevuto un trattamento con elettroshock per la depressione ed è stato sepolto al Mount Hebron Cemetery.

Fatti rapidi

- Nascita: 1897, Augustów - Morte: 1954, New York - Istruzione: City College di New York, Columbia University - Coniuge: Gertrude Singer - Figlia: Phyllis Post Goodman - Contributo chiave: Problema della corrispondenza di Post - Luogo di sepoltura: Mount Hebron Cemetery

Domande poste dai lettori

### Qual è stata l'importanza della tesi del 1921?

Ha dimostrato che il calcolo proposizionale dei Principia Mathematica era completo, il che significa che tutte le tautologie erano teoremi.

### Post ha scoperto per primo il teorema di incompletezza di Gödel?

Post è stato vicino alla scoperta mentre era a Princeton nel 1921, ma non ha pubblicato le sue idee in quel momento.