Biografia Post, Emil Leon

Emil Leon Post (1897-1954) – amerykański matematyk polsko-żydowskiego pochodzenia.

Post uznawany jest za prekursora logicznych i matematycznych podstaw informatyki. Stworzył nowy dział logiki jakim jest teoria rekursji. Jest również twórcą matryc logicznych.

Rodzina Postów wyemigrowała z Polski do USA, kiedy Emil Post był jeszcze dzieckiem. 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ł już jednak swoją uwagę przede wszystkim na matematyce i logice. W 1917 r. roku Emil Post uzyskał tytuł licencjata w dziedzinie nauk ścisłych. Studia doktorskie z zakresu matematyki ukończył Post na Uniwersytecie Columbia, a podoktoranckie w Princeton. Podczas tego pobutu bliski był odkrycia nieskończoności aksjomatyki arytmetyki liczb naturalnych, którą udowodnił w 1931 r. Kurt Goedel. Po otrzymaniu doktoratu, Post podjął pracę na Princeton University. Po roku powrócił na Uniwersytet Columbia i krótko po tym miał pierwszy atak choroby, która ograniczała jego karierę. Post został nauczycielem matematyki w liceum w Nowym Jorku. W 1936 r. stał się członkiem wydziału matematycznego City College, gdzie pracował aż do śmierci.

Na zdjęciu z żoną i córką, lata 40.

Również w 1936, niezależnie od Alana Turinga, zaproponował abstrakcyjny model komputerowy nazwany „maszyną Posta”. Problem odpowiedniości Posta wpłynął na teorie komputerowe zajmujące się problemem decyzji w rekursji.

W swojej doktoranckiej pracy naukowej Emil Post dowiódł całości i konsystencji zdaniowego rachunku opisanego w Participia Mathematica przez Russella i Whiteheada 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. 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. 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).