Post Emil
ur: 11 lutego 1897 w Augustowie - Polska
zm: 21 kwietnia 1954 w Nowym Jorku - USA
Emil Post, syn polskich Żydów Arnolda i Pearl Post urodził się 11 lutego 1897 roku w Augustowie w Polsce. I tu spędził pierwszych siedem lat życia. W maju 1904 roku rodzina Post opuściła Polskę i w poszukiwaniu lepszego życia wyemigrowała do USA i osiadła w Nowym Jorku.
Emil był zadziwiająco inteligentnym dzieckiem , jego zycie było jednak wielką tragedią. Jako młody chłopiec stracił w wypadku ramię , jednakże z tym upośledzeniem umiał sobie dobrze poradzić. W dorosłym życiu musiał stawić czoło psychicznym problemom , które miały destrukcyjny wpływ na jego dalsze życie.
W Nowym Jorku Emil Post uczęszczał do drugorzędnej , darmowej szkoły Townsend Harris High School udostępnionej dla szczególnie uzdolnionych dzieci. Na tym samym terenie znajdował się również College of the City of New York , gdzie Emil Post rozpoczął studia po ukończeniu szkoły średniej.
Emil Post uważany jest za matematyka-logika. Jednak Jego pierwszym przedmiotem który zafascynował i przyciągnął jego uwagę była astronomia. W College of the City of New York skupił swoją uwagę przede wszystkim na matematyce i logice. W 1917 roku Emil Post uzyskał swój pierwszy stopień naukowy , tj. licencjat w dziedzinie nauk ścisłych przyznany przez City College.
Już jako absolwent College napisał swój pierwszy referat dotyczący uogólnienia różniczkowania. Nurtujące pytanie które go prześladowało brzmiało: "Co oznacza operator różniczkowy Dn kiedy n nie jest liczbą całkowitą? " Emil Post złożył swój referat w1923 roku do American Mathematical Society , który został opublikowany dopiero w 1930 roku. Post udowadnia w nim idee dotyczące odwróconego przekształcenia Laplace'a.
Po uzyskaniu pierwszego stopnia naukowego Emil Post rozpoczął badania do pracy magisterskiej na Columbia University Znaczącym wydarzeniem w karierze Post'a była publikacja Principia Mathematica Russel'a i Whitehead'a .Pierwsze wydanie tego dzieła było w 1910 roku. Kiedy rozpoczął pracę dyplomową wziął udział w seminarium Cassius'a J Keyser'a który studiował Principia Mathematica. W 1918 roku został mu przyznany tytuł magistra nauk humanistycznych a w 1920 roku stopień doktora. Jego doktorancka praca naukowa dotyczyła logiki matematycznej , jednak na obronę studiów napisał krótką pracę dotyczącą równania funkcjonalnego z wyrazem funkcyjnym gamma.
W swojej doktoranckiej pracy naukowej Emil Post dowiódł całości i konsystencji zdaniowego rachunku opisany w "Participia Mathematica" poprzez tabele metodyczne prawdy. Post uogólnił swoja tabelę metodyczną prawdy , która była oparta na dwóch wartościach "prawdzie" i "fałszu" , metodę która miała dowolną ograniczoną liczbę wartości prawdy. Ostatnia i możliwie najbardziej niezwykła , nowa idea Posta przedstawiona w pracy naukowej podawała konstrukcję systemu logiki jako systemu wnioskowania o ograniczonym procesie manewrowania symbolami. Emil Post udowodnił że istnieją niesprzeczne systemy logiczne , które nie muszą zakładać słuszności prawa wyłączonego środka. System ten nazwano logikami trójwartościowymi , gdyż dopuszczają oprócz zdań prawdziwych i fałszywych także zdania nierozstrzygalne. Po otrzymaniu doktoratu Emil Post przeniósł sie na Princeton University , gdzie podjął pracę. Po roku powrócił na Columbia University i krótko po tym miał pierwszy atak choroby która ograniczała jego karierę.
W 1924 roku Emil Post pojechał do Cornell ale powtórnie rozchorował się. W 1927 przyjął posadę nauczyciela w szkole średniej w Nowym Jorku. W 1929 roku ożenił się z Gertrude Singer , niedługo potem urodziła się im córka Phyllis. W 1932 roku Emil Post został zatrudniony w City College. Po krótkim czasie znowu musiał stawić czoła swojej chorobie psychicznej. Po trzech latach powraca i spędza tam resztę życia. Podczas nauczania w City College trudno mu było znaleźć czas potrzebny na badania naukowe. Nie miał odpowiednich do tego warunków ani w szkole ani w domu.
Emil Post zmarł w wieku 57 lat w USA . 21czerwca 1954 roku w Nowym Jorku , podczas kuracji elektrowstrząsami które spowodowały atak serca. Emil Post jest uznawany za prekursora logicznych i matematycznych podstaw informatyki. Stworzył nowy dział logiki jakim jest teoria rekursji. Jest również twórcą matryc logicznych. Był człowiekiem obdarzonym niezwykłym talentem , któremu cierpienie i życiowe trudności nie pozwoliły na pełną samorealizację.
