Ստիվեն Կոուլ Կլինի

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

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

Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]

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