Ստիվեն Կոուլ Կլինի
Ստիվեն Կոուլ Կլինի, կամ Կլեյնի (անգլ.՝ Stephen Cole Kleene, հունվարի 5, 1909[1][2][3][…], Հարթֆորդ, Կոնեկտիկուտ[4] - հունվարի 25, 1994[1][2][3][…], Մեդիսոն, Վիսկոնսին[5]), ամերիկացի մաթեմատիկոս և տրամաբան, ալգորիթմների տեսության հիմնադիրներից։ Վիսկոնսինի համալսարանի պրոֆեսոր (1948 թվականից)։ 1930-ական թթ. ապացուցել է ռեկուրսիվ ֆունկցիաների տեսության հիմնական թեորեմները (այդ թվում համընդհանուր ֆունկցիայի մասին, անշարժ կետի մասին)։ Սահմանել և հետազոտել է կոնստրուկտիվ տրամաբանության ձևայնացումը ալգորիթմի ճշգրտված գաղափարի հիման վրա (1945) և ինտուիցիոնիստական մաթեմատիկայի ձևայնացած տրամաբանա-մաթեմատիկական համակարգը։
Ծանոթագրություններ խմբագրել
- ↑ 1,00 1,01 1,02 1,03 1,04 1,05 1,06 1,07 1,08 1,09 1,10 1,11 1,12 1,13 Մակտյուտոր մաթեմատիկայի պատմության արխիվ — 1994.
- ↑ 2,0 2,1 2,2 2,3 2,4 Encyclopædia Britannica
- ↑ 3,0 3,1 3,2 3,3 3,4 Սոլոմոն Գուգենհայմի թանգարան — 1937.
- ↑ 4,0 4,1 4,2 Клини Стивен Коул // Большая советская энциклопедия (ռուս.): [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
- ↑ 5,0 5,1 5,2 Deutsche Nationalbibliothek Record #136329632 // Gemeinsame Normdatei (գերմ.) — 2012—2016.
- ↑ Identifiants et Référentiels (ֆր.) — ABES, 2011.
- ↑ CONOR.Sl
- ↑ Mathematics Genealogy Project — 1997.
- ↑ 9,00 9,01 9,02 9,03 9,04 9,05 9,06 9,07 9,08 9,09 9,10 9,11 9,12 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)։ |