Augustów
Post Emil Leon
1897-1954
add jewishbialystok@gmail.com 
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.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 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.
2016-12-20 20:54:03
2018-01-23 17:46:19
