Սթիվեն Արթուր Կուկ

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search
Սթիվեն Արթուր Կուկ
Prof.Cook.jpg
Ծնվել էդեկտեմբերի 14, 1939(1939-12-14) (80 տարեկան)
Բուֆֆալո, Նյու Յորք, ԱՄՆ
ՔաղաքացիությունFlag of the United States.svg ԱՄՆ
Flag of Canada.svg Կանադա
Մասնագիտությունհամակարգչային գիտնական, համալսարանի պրոֆեսոր և մաթեմատիկոս
Հաստատություն(ներ)Տորոնտոյի համալսարան և Կալիֆոռնիայի համալսարան, Բերքլի
Գործունեության ոլորտինֆորմատիկա
ԱնդամակցությունԼոնդոնի թագավորական ընկերություն, ԱՄՆ-ի Գիտությունների ազգային ակադեմիա, Կանադայի թագավորական ընկերություն, Արվեստների և գիտությունների ամերիկյան ակադեմիա, Գյոթինգենի Գիտությունների ակադեմիա և Հաշվողական տեխնիկայի ասոցիացիա
Ալմա մատերՀարվարդի համալսարան և Միչիգանի համալսարան
Գիտական աստիճանգիտությունների դոկտոր
Տիրապետում է լեզուներինանգլերեն[1]
Գիտական ղեկավարHao Wang?
Եղել է գիտական ղեկավարToniann Pitassi?
ՊարգևներԼոնդոնի թագավորական ընկերության անդամ Թյուրինգի մրցանակ[2][3] CRM-Fields-PIMS prize? Gödel Lecturer? Օնտարիոյի շքանշան Կանադայի միաբանության սպա BBVA Foundation Frontiers of Knowledge Awards ACM-ի անդամ[4] Կանադայի թագավորական ընկերության անդամ և Gerhard Herzberg Canada Gold Medal for Science and Engineering?
Երեխա(ներ)Gordon Cook?
Կայքcs.toronto.edu/~sacook/
Stephen Cook Վիքիպահեստում

Սթիվեն Արթուր Կուկ (անգլ.՝ Stephen Arthur Cook, դեկտեմբերի 14, 1939(1939-12-14), Բուֆֆալո, Նյու Յորք, ԱՄՆ), հաշվողական համակարգերի տեսության բնագավառի ամերիկացի գիտնական: Հայտնի է հաշվարկային բարդության տեսության վերաբերյալ իր աշխատանքով, Թյուրինգի մրցանակի դափնեկիր է:

Իր «The Complexity of Theorem Proving Procedures»[5] աշխատանքում Կուկն ապացուցել է, որ բուլյան բանաձևերի իրագործելիության խնդիրը NP-ամբողջական խնդիր է: Դրանով նա բարձրացրել է հաշվողական համակարգերի տեսության բարդագույն հարցերից մեկը P և NP բարդության դասերի հավասարության վերաբերյալ, որի պատասխանը մինչ այժմ չկա:

Կանադայի թագավորական ընկերության (1984), ԱՄՆ գիտությունների ազգային ակադեմիայի (1985)[6], Լոնդոնի թագավորական ընկերության (1998)[7] անդամ է:

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

1961 թվականին Միչիգանի համալսարանում Կուկն ստացել է բակալավրի աստիճան: Մեկ տարի անց Հարվարդում ստացել է գիտությունների մագիստրոսի աստիճան, իսկ 1966 թվականին՝ փիլիսոփայության դոկտորի կոչում: Մինչև 1970 թվականը աշխատել է Կալիֆորնիայի Բերկլիի համալսարանում որպես մաթեմատիկայի պրոֆեսորի օգնական (անգլ.՝ assistant professor), որտեղ այդպես էլ չի ստացել մշտական ​​աշխատողի կարգավիճակ: 1985 թվականին Թյուրինգի մրցանակակիր Ռիչարդ Կարպը այդ մասին ասել է.

Այն, որ մենք չկարողացանք համոզել մաթեմատիկայի ֆակուլտետին տալ նրան այդ աստիճանը, մշտապես կմնա մեր մեղքը։

1975 թվականին Սթիվեն Կուկը արժանացել է պրոֆեսորի պատվավոր կոչման Տորոնտոյի համալսարանի կողմից:

Պարգևներ[խմբագրել | խմբագրել կոդը]

  • 1982 – Թյուրինգի մրցանակ հաշվարկների բարդությունը հասկանալու մեջ նրա կատարած նշանակալի առաջընթացի համար։ Նրա աշխատանքը հիմք է հանդիսացել NP-ամբողջականության տեսության համար: Այս դասի հատկությունների և սահմանների ուսումնասիրությունը դարձել է համակարգչային համակարգերի տեսության կարևորագույն ոլորտներից մեկը վերջին տասը տարիների ընթացքում[8](անգլ.)
  • 1999 – CRM-Fields-PIMS prize
  • 2012 – Կանադայի Գերհարդ Հերցբերգի անվան ոսկե մեդալ
  • 2015 – BBVA Foundation Frontiers of Knowledge Awards՝ «իր կարևոր դերի համար այն բանի սահմանման մեջ, թե ինչ կարող են և չեն կարող համակարգիչները արդյունավետորեն լուծել: Նրա աշխատանքները հսկայական ազդեցություն են թողել այն ոլորտներում, որտեղ բարդ հաշվարկներն ունեն կարևոր նշանակություն»[9](անգլ.)

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

Արտաքին հղումներ[խմբագրել | խմբագրել կոդը]