Stephen Kleene

Stephen Cole KLEENE (naskiĝis la  en Hartford (Konetikuto); mortis la  en Madison (Wisconsin)) estis usona matematikisto, kies laboro pri komputebleco provizas la fundamenton de teoria komputiko.

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 funkcioj povas esti komputataj.

La plej konataj libroj de Kleene estas (en la angla) Enkonduko al Matematiko (1952) kaj Matematika Logiko (1967).

 Vidu ankaŭ 
 Algebro de Kleene
 Stelo de Kleene

Kategorio:Usonaj komputikistoj
Kategorio:Usonaj matematikistoj
Kategorio:Pioniraj komputikistoj