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

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

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

Ծանոթագրություններ

1. Մակտյուտոր մաթեմատիկայի պատմության արխիվ — 1994.
2. Encyclopædia Britannica
3. Սոլոմոն Գուգենհայմի թանգարան — 1937.
4. Клини Стивен Коул // Большая советская энциклопедия (ռուս.): [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
5. Deutsche Nationalbibliothek Record #136329632 // Gemeinsame Normdatei (գերմ.) — 2012—2016.
6. Identifiants et Référentiels (ֆր.) — ABES, 2011.
7. CONOR.Sl
8. Mathematics Genealogy Project — 1997.
9. Mathematics Genealogy Project — 1997.
10. https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28

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