Ստիվեն Կոուլ Կլինի, կամ Կլեյնի (անգլ.՝ Stephen Cole Kleene, հունվարի 5, 1909(1909-01-05)[1][2][3][…], Հարթֆորդ, Կոնեկտիկուտ[4] - հունվարի 25, 1994(1994-01-25)[1][2][3][…], Մեդիսոն, Վիսկոնսին[5]), ամերիկացի մաթեմատիկոս և տրամաբան, ալգորիթմների տեսության հիմնադիրներից։ Վիսկոնսինի համալսարանի պրոֆեսոր (1948 թվականից)։ 1930-ական թթ. ապացուցել է ռեկուրսիվ ֆունկցիաների տեսության հիմնական թեորեմները (այդ թվում համընդհանուր ֆունկցիայի մասին, անշարժ կետի մասին)։ Սահմանել և հետազոտել է կոնստրուկտիվ տրամաբանության ձևայնացումը ալգորիթմի ճշգրտված գաղափարի հիման վրա (1945) և ինտուիցիոնիստական մաթեմատիկայի ձևայնացած տրամաբանա-մաթեմատիկական համակարգը։

Ստիվեն Կոուլ Կլինի
Stephen Cole Kleene
Ծնվել էհունվարի 5, 1909(1909-01-05)[1][2][3][…]
Հարթֆորդ, Կոնեկտիկուտ[4]
Մահացել էհունվարի 25, 1994(1994-01-25)[1][2][3][…] (85 տարեկան)
Մեդիսոն, Վիսկոնսին[5]
Քաղաքացիություն ԱՄՆ
Մասնագիտությունմաթեմատիկոս, համակարգչային գիտնական, փիլիսոփա և համալսարանի դասախոս
Հաստատություն(ներ)Վիսկոնսինի համալսարան Մեդիսոնում[1], Փրինսթոնի համալսարան[1], Ամհերստի քոլեջ[1], ԱՄՆ ռազմածովային ուժեր[1] և Վիսկոնսինի համալսարան Մեդիսոնում[1]
Գործունեության ոլորտտեսական համակարգչային գիտություն և ալգորիթմների տեսություն
ԱնդամակցությունԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատերՓրինսթոնի համալսարան (1934)[1] և Ամհերստի քոլեջ (1930)[1]
Տիրապետում է լեզուներինանգլերեն[6][7]
Գիտական ղեկավարԱլոնզո Չյորչ[8]
Եղել է գիտական ղեկավարYiannis N. Moschovakis?[9], Robert Lee Constable?[9], Joan Moschovakis?[9], John West Addison Jr.?[9], Dick de Jongh?[9], Nels David Nelson?[9], Douglas Clarke?[9], Gene Fuerst Rose?[9], Clifford Spector?[9], Paul Axt?[9], Richard Vesley?[9], Shih-Chao Liu?[9] և David Philip Kierstead?[9]
Պարգևներ

Ծանոթագրություններ խմբագրել

Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 5, էջ 482