Emil Leon Post

---

Życiorys

Emil Post przyszedł na świat w rodzinie żydowskiej. Jego ojciec, Arnold J. Post, w 1897 roku, na zaproszenie swojego brata, zdecydował się opuścić Europę i wyemigrować do Stanów Zjednoczonych. W maju 1904 roku do Ameryki przybyła także jego żona Pear, która przywiozła z sobą Emila oraz dwie córki, Annę i Ethel. Rodzina osiedliła się w Harlemie. Już jako dwunastolatek Emil stracił lewą rękę, co miało wpływ na jego późniejsze życie.

W 1920 roku obronił swoją pracę doktorską z matematyki na Uniwersytecie Columbia, po czym rozpoczął studia podoktoranckie na Uniwersytecie w Princeton. W czasie spędzonym w Princeton, Emil zbliżył się do odkrycia istotnych aspektów systemu przedstawionego w „Principia Mathematica” autorstwa Russella i Whiteheada. Ostateczne dowody dotyczące niezupełności tego systemu zostały jednak przedstawione dopiero przez Kurta Gödla w 1931 roku. Po zakończeniu studiów pracował jako nauczyciel matematyki w szkole średniej w Nowym Jorku. Od 1936 roku aż do swojej śmierci był związany z City College of New York.

W 1921 roku zdiagnozowano u niego chorobę maniakalno-depresyjną. Po przejściu drugiego ataku choroby, zmuszony był zrezygnować z nauczania na Cornell University. W latach dwudziestych XX wieku pracował w George Washington High School w Nowym Jorku, aby się utrzymać. W 1929 roku zawarł związek małżeński z Gertrudą Singer, która wspierała go w maszynopisaniu artykułów oraz zajęła się codziennymi sprawami życia, co było dla niego dużą pomocą. Ich jedyną córką była Phyllis Goodman.

W swojej pracy doktorskiej, której dokonania były realizowane na Columbia University, Emil Post udowodnił pełność rachunku zdań z „Principia Mathematica”, co oznacza, że w jego systemie, składającym się z aksjomatów i reguł, wszystkie tautologie można uznać za twierdzenia. W niezależności od Wittgensteina i Charlesa Sandersa Peirce’a, Post wprowadził oraz wykorzystywał tablice prawdy. Jednak to jego osiągnięcia w teorii rekursji najbardziej zyskują uznanie w świecie nauki.

Pomimo ciągłych zmagań z chorobą, w 1954 roku Emil doświadczył kolejnych nawrotów ataków. W kwietniu tego samego roku zmarł na skutek ataku serca po leczeniu elektrowstrząsami w szpitalu psychiatrycznym w Nowym Jorku. Dwa lata później, w 1956 roku, zmarła jego żona, Gertrude Singer Post, urodzona w 1900 roku. Od 1918 roku Emil był aktywnym członkiem American Mathematical Society, a od 1936 roku także Association for Symbolic Logic.

Teoria rekursji

W roku 1936, Emil Leon Post, niezależnie od Alana Turinga, który jest znany jako twórca maszyny Turinga, przedstawił nowatorski koncept obliczeń. Jego model obliczeniowy zyskał nazwę „maszyny Posta”.

Post również sformułował dwa istotne problemy związane z teorią obliczeń: problem odpowiedniości Posta oraz problem Posta. Pierwszy z nich dotyczy relacji między różnymi systemami formalnymi, podczas gdy drugi z nich stawia pytanie, czy istnieje zbiór, który jest nieobliczalny, ale równocześnie rekurencyjnie przeliczalny i ma stopień Turinga mniejszy niż stopień problemu stopu. W latach 50. XX wieku, problem Posta znalazł pozytywne rozwiązanie, co stanowiło istotny krok w rozwoju teorii obliczeń.

Publikacje

Emil Leon Post był znaczącą postacią w dziedzinie matematyki i logiki, bekannt zwłaszcza za swoje prace naukowe. Jego publikacje obejmują kluczowe zagadnienia, które miały duży wpływ na rozwój teorii kombinatorycznych i problemów decyzyjnych.

• 1936, „Finite Combinatory Processes – Formulation 1”, Journal of Symbolic Logic 1: s. 103–105,
• 1943, „Formal Reductions of the General Combinatorial Decision Problem”, American Journal of Mathematics 65: s. 197–215,
• 1944, „Recursively enumerable sets of positive integers and their decision problems”, Bulletin of the American Mathematical Society 50: s. 284–316, wprowadza ważne pojęcie redukcji many-one.

---

Oceń: Emil Leon Post

---