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

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

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

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

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

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

Սա անձի մասին անավարտ հոդված է։ Դուք կարող եք օգնել Վիքիպեդիային՝ ուղղելով և լրացնելով այն։

[_9b2a633373c39b68-1] 1 2 3 4 5 6 7 8 9 10 11 12 13 Մակտյուտոր մաթեմատիկայի պատմության արխիվ — 1995.

[_3f27261dd8b470ca-2] 1 2 3 4 Encyclopædia Britannica

[_5a0c3ef123d1135a-3] 1 2 3 4 Սոլոմոն Գուգենհայմի թանգարան — 1937.

[_61ecc078271b852a-4] 1 2 Клини Стивен Коул // Большая советская энциклопедия (ռուս.): [в 30 т.] — 3-е изд. — М.: Советская энциклопедия, 1969.

[_98c7b2d9dada4be8-5] 1 2 Deutsche Nationalbibliothek Record #136329632 // Gemeinsame Normdatei (գերմ.) — 2012—2016.

[_e842dfd248881a35-6] Identifiants et Référentiels (ֆր.) — ABES, 2011.

[_aca72607f8628f03-7] CONOR.Sl

[_7ea3fae061c189a9-8] 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Mathematics Genealogy Project — 1997.

[_f2c4fc339d4ddc3b-9] ttps://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]