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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Picto Info sciences exactes.png
Ստիվեն Կոուլ Կլինի
Stephen ColeKleene
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 տարեկանում)
Մեդիսոն[2]
Քաղաքացիություն Flag of the United States.svg ԱՄՆ
Մասնագիտություն մաթեմատիկոս, համակարգչային գիտնական, փիլիսոփա և համալսարանի պրոֆեսոր
Հաստատություն(ներ) Վիսկոնսինի համալսարան Մեդիսոնում
Գործունեության ոլորտ տեսական համակարգչային գիտություն
Անդամակցություն ԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատեր Փրինսթոնի համալսարան և Ամհերստի քոլեջ
Գիտական ղեկավար Ալոնզո Չյորչ[3]
Պարգևներ Գուգենհայմի կրթաթոշակ և Ազգային գիտական մեդալ

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

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

  1. Клини Стивен Коул, Клини Стивен Коул // Սովետական մեծ հանրագիտարան (1969—1978) Ստուգված է սեպտեմբերի 28-ին 2015:
  2. Record #136329632 // Gemeinsame Normdatei Ստուգված է դեկտեմբերի 31-ին 2014:
  3. Mathematics Genealogy Project Ստուգված է օգոստոսի 8-ին 2016:
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 5, էջ 482 CC-BY-SA-icon-80x15.png