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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
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]
Մահացել է հունվարի 25, 1994({{padleft:1994|4|0}}-{{padleft:1|2|0}}-{{padleft:25|2|0}}) (85 տարեկանում)
Մեդիսոն[1]
Քաղաքացիություն Flag of the United States.svg ԱՄՆ
Մասնագիտություն մաթեմատիկոս, համակարգչային գիտնական և փիլիսոփա
Հաստատություն(ներ) Վիսկոնսինի համալսարան Մեդիսոնում
Գործունեության ոլորտ Q2878974?
Անդամակցություն ԱՄՆ-ի Գիտությունների ազգային ակադեմիա
Ալմա մատեր Փրինսթոնի համալսարան և Ամհերստի քոլեջ
Պարգևներ Գուգենհայմի թոշակ

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

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

  1. 1,0 1,1 Record #136329632 // Gemeinsame Normdatei Ստուգված է դեկտեմբերի 14-ին 2014:
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից։ CC-BY-SA-icon-80x15.png