Post Emil Leon
1897-1954
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 pobytu 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.(db)
2016-12-20 20:54:03
1998, 2004, 2016
2018-08-25 20:28:46