Stephen Kleene: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Laturo (diskuto | kontribuoj)
e rikursi- > rikur-
Laturo (diskuto | kontribuoj)
eNeniu resumo de redakto
Linio 3:
Kleene doktoriĝis ĉe la [[Universitato Princeton]] en [[1934]]. Lia tez-direktoro estis [[Alonzo Church]] kaj la titolo de lia tezo estis ''Teorio de Pozitivaj Entjeroj en Formala Logiko''. Poste, Kleene instruis ĉe la universitato ĝis li membriĝis la fakultaton de la [[Universitato de Viskonsino]] en [[1935]]. Li fariĝis plena profesoro en [[1948]] kaj restis tie ĝis emeritiĝo en [[1979]].
 
La esplorado de Kleene temis pri la [[teorio de algoritmoj]] kaj [[rikuraj funkcioj]]. Li disvolvis la fakon de la [[teorio de [[rikuro]] kun Alonzo Church, [[Kurt Gödel]], [[Alan Turing]], kaj aliaj. Li kontribuis al matematika [[intuiciismo]] kiun fondis [[Luitzen Brouwer]].
 
Lia laboro pri la teorio de [[rikuro]] helpis provizi la bazojn de teoria komputiko. Per provizi metodojn por determini, kiuj problemoj estas solveblaj, lia laboro kondukis al la studado de kiuj [[funkcio]]j povas esti komputitaj.