Emil Post
From Wikipedia, the free encyclopedia
Emil Leon POST [EMil LIan post] (naskiĝis la 11-an de februaro 1897, mortis la 21-an de aprilo, 1954) estis pola matematikisto kiu esploris aro-teorion kaj la teorion de komputado.
Por samtitola artikolo vidu la paĝon Post. |
Emil Post | ||
---|---|---|
Persona informo | ||
Emil Leon Post | ||
Naskonomo | Emil Leon Post | |
Naskiĝo | 11-an de februaro 1897 (1897-02-11) en Augustów, Rusia Imperio | |
Morto | 21-an de aprilo 1954 (1954-04-21) (57-jaraĝa) en Nov-Jorko | |
Tombo | Mount Hebron Cemetery (en) , Block 39, Ref 18, Sec J, Line 1, Grave 21 40.731771 °N, 73.828595 °U / 40.731771; -73.828595 (mapo) vd | |
Lingvoj | angla vd | |
Ŝtataneco | Usono vd | |
Alma mater | Universitato Kolumbio (1917–1920) Townsend Harris High School (en) (–1913) Urba Kolegio de Nov-Jorko (–1917) vd | |
Profesio | ||
Okupo | matematikisto logikisto filozofo universitata instruisto vd | |
Laborkampo | Matematiko vd | |
Doktoreca konsilisto | Cassius Jackson Keyser vd | |
Verkado | ||
Verkoj | respondoproblemo de Post ❦ Post's inversion formula ❦ latiso de Post ❦ teoremo de Post ❦ kanona sistemo de Post vd | |
Filozofo | ||
vd | Fonto: Vikidatumoj | |
Post naskiĝis en Augustów, Pollando. Li doktoriĝis ĉe la Universitato Columbia en 1920 per disertaĵokiu pruvis la koherecon de la propozicia kalkulo priskribita en Principia mathematica de Bertrand Russell kaj Alfred Whitehead. Li aliĝis al la fakultato de Urba Universitato de Novjorko en 1932, kie li restis ĝis lia morto en 1954. Kvankam malsaneco daŭre interrompis lian karieron, Post grave kontribuis al la konceptoj de kompleteco kaj kohereco kaj al rekursiaj funkcioj, fundamenta al moderna komputada teorio. En 1936, li enkondukis la koncepton de Post-a maŝino, enkondukaĵo al la nocio de programo fare de John von Neumann.
Studantoj de komputada teorio renkontos la nomon de Post en la Post-a interrilata problemo, kiun li enkondukis 1946 kiel ekzemplo de nedecidebla problemo.
- Kategorio Emil Post en la Vikimedia Komunejo (Multrimedaj datumoj)
|
Ĉi tiu artikolo ankoraŭ estas ĝermo pri matematikisto kaj usonano. Helpu al Vikipedio plilongigi ĝin. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton). |