Biografia Post, Emil Leon
Emil Leon Post (1897-1954) – amerykański matematyk polsko-żydowskiego pochodzenia.
Jako dziecko emigruje z Polski do USA. Dziś uważany jest za matematyka i logika, jednak 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.
Studia doktorskie z matematyki kończy na Uniwersytecie Columbia, a podoktoranckie w Princeton. Podczas pobytu tam jest blisko odkrycia nieskończoności aksjomatyki arytmetyki liczb naturalnych, którą udowodnił w 1931 Kurt Goedel. Post zostaje nauczycielem matematyki w liceum w Nowym Jorku. W 1936 staje się członkiem wydziału matematycznego City College, gdzie pracuje aż do śmierci.
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ł się na Princeton University , gdzie podjął pracę. Po roku powrócił na Uniwersytet Kolumbia i krótko po tym miał pierwszy atak choroby, która ograniczała jego karierę.
Również w 1936, niezależnie od Alana Turinga, zaproponował abstrakcyjny model komputerowy nazwany „maszyną Posta”. Znany z wynalezienia tablic prawda/fałsz w celu symbolicznego przedstawienia klasycznego rachunku zdań – niezależnie od Wittgensteina, który jest bardziej znany jako ich wynalazca (a prawdopodobnie jeszcze przed nim). Problem odpowiedniości Posta wpłynął na teorie komputerowe zajmujące się problemem decyzji w rekursji.
Mimo, że całe życie zmagał się z niepełnosprawnością (jako chłopiec w wypadku stracił ramię) i chorobą psychiczną jest uznawany za prekursora logicznych i matematycznych podstaw informatyki. Stworzył nowy dział logiki jakim jest teoria rekursji. Jest również twórcą matryc logicznych.
