Kiel registrite je 20:25, 23 jun. 2009 redakti FlaBot (diskuto \| kontribuoj) 27 654 redaktoj e roboto aldono de: it:Emil Leon Post ← Iru al antaŭa ŝanĝo		Kiel registrite je 07:03, 22 aŭg. 2009 redakti malfari Castelobranco (diskuto \| kontribuoj) Patrolantoj, Grupano imuna de IP-forbaro 6 745 redaktoj e +bildon, +{{vivtempo}} +{{daton}} Iru al sekvanta ŝanĝo →
Linio 1: [[Dosiero:Emil Leon Post.jpg\|thumb\|right\|Emil Post]] [[Matematiko]] > [[Matematikistoj]] > Emil POST ---- '''Emil Leon POST''' [''EMil LIan post''] (naskiĝis je la [[{{daton\|11~~-a de~~ \|februaro~~]], [[~~\|1897]]}}, mortis je la [[{{daton\|21~~-a de~~ \|aprilo]]}}, [[1954]]) estis [[Pollando\|pola]] matematikisto kiu esploris [[arteorio\|arteorion]] kaj la [[teorio de komputado\|teorion de komputado]]. 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]]. Linio 7 ⟶ 8: 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:Naskiĝintoj en~~ {{vivtempo\|1897\|~~POST~~1954\|Post, Emil]]}} [[Kategorio:Matematikistoj]] [[de:Emil Leon Post]]

Emil Post: Malsamoj inter versioj