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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search
Ստիվեն Կոուլ Կլինի
Stephen Cole Kleene
Kleene.jpg
Ծնվել էհունվարի 5, 1909(1909-01-05)[1][2][3][4]
Հարթֆորդ, Կոնեկտիկուտ[5]
Մահացել էհունվարի 25, 1994(1994-01-25)[1][2][3][4] (85 տարեկանում)
Մեդիսոն, Վիսկոնսին[6]
ՔաղաքացիությունFlag of the United States.svg ԱՄՆ
Մասնագիտությունմաթեմատիկոս, համակարգչային գիտնական, փիլիսոփա և համալսարանի պրոֆեսոր
Հաստատություն(ներ)Վիսկոնսինի համալսարան Մեդիսոնում
Գործունեության ոլորտտեսական համակարգչային գիտություն
ԱնդամակցությունԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատերՓրինսթոնի համալսարան և Ամհերստի քոլեջ
Գիտական ղեկավարԱլոնզո Չյորչ[7]
Եղել է գիտական ղեկավարYiannis N. Moschovakis?, Robert Lee Constable? և Joan Moschovakis?
ՊարգևներԳուգենհայմի կրթաթոշակ Ազգային գիտական մեդալ և Ստիլի մրցանակ

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

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

  1. 1,0 1,1 1,2 1,3 1,4 Մակտյուտոր մաթեմատիկայի պատմության արխիվ
  2. 2,0 2,1 2,2 2,3 2,4 Encyclopædia Britannica
  3. 3,0 3,1 3,2 3,3 3,4 SNAC — 2010.
  4. 4,0 4,1 4,2 4,3 4,4 Սոլոմոն Գուգենհայմի թանգարան — 1937.
  5. 5,0 5,1 5,2 Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
  6. 6,0 6,1 6,2 German National Library, Berlin State Library, Bavarian State Library et al. Record #136329632 // Gemeinsame Normdatei — 2012—2016.
  7. Mathematics Genealogy Project — 1997.
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 5, էջ 482 CC-BY-SA-icon-80x15.png