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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Picto Info sciences exactes.png
Ստիվեն Կոուլ Կլինի
Stephen Cole Kleene
Kleene.jpg
Ծնվել է հունվարի 5, 1909({{padleft:1909|4|0}}-{{padleft:1|2|0}}-{{padleft:5|2|0}})[1][2][3]
Հարթֆորդ, Հարտֆորդ շրջան, Ամերիկայի Միացյալ Նահանգներ[4]
Մահացել է հունվարի 25, 1994({{padleft:1994|4|0}}-{{padleft:1|2|0}}-{{padleft:25|2|0}})[1][2][3] (85 տարեկանում)
Մեդիսոն, Ամերիկայի Միացյալ Նահանգներ[5]
Քաղաքացիություն Flag of the United States.svg Ամերիկայի Միացյալ Նահանգներ
Մասնագիտություն մաթեմատիկոս, համակարգչային գիտնական, փիլիսոփա և համալսարանի պրոֆեսոր
Հաստատություն(ներ) Վիսկոնսինի համալսարան Մեդիսոնում
Գործունեության ոլորտ տեսական համակարգչային գիտություն
Անդամակցություն ԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատեր Փրինսթոնի համալսարան և Ամհերստի քոլեջ
Գիտական ղեկավար Ալոնզո Չյորչ[6]
Պարգևներ

Ստիվեն Կոուլ Կլինի, կամ Կլեյնի (Stephen Cole Kleene) (1909- 1994, ), ամերիկացի մաթեմատիկոս և տրամաբան, ալգորիթմների տեսության հիմնադիրներից։ Վիսքոնսինի համալսարանի պրոֆեսոր (1948-ից)։ 1930-ական թթ. ապացուցել է ռեկուրսիվ ֆունկցիաների տեսության հիմնական թեորեմները (այդ թվում համընդհանուր ֆունկցիայի մասին, անշարժ կետի մասին)։ Սահմանել և հետազոտել է կոնստրուկտիվ տրամաբանության ձևայնացումը ալգորիթմի ճշգրտված գաղափարի հիման վրա (1945) և ինտուիցիոնիստական մաթեմատիկայի ձևայնացած տրամաբանա-մաթեմատիկական համակարգը։

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

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