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
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.
|