Սթիվեն Արթուր Կուկ (անգլ.՝ Stephen Arthur Cook, դեկտեմբերի 14, 1939(1939-12-14), Բուֆֆալո, Նյու Յորք, ԱՄՆ), հաշվողական համակարգերի տեսության բնագավառի ամերիկացի գիտնական։ Հայտնի է հաշվարկային բարդության տեսության վերաբերյալ իր աշխատանքով, Թյուրինգի մրցանակի դափնեկիր է։
Արագ փաստեր Սթիվեն Արթուր Կուկանգլ.՝ Stephen Cook, Ծնվել է ...
Սթիվեն Արթուր Կուկ անգլ.՝ Stephen Cook |
---|
![Thumb](//upload.wikimedia.org/wikipedia/commons/thumb/6/68/Prof.Cook.jpg/250px-Prof.Cook.jpg) |
Ծնվել է | դեկտեմբերի 14, 1939(1939-12-14) (84 տարեկան) Բուֆֆալո, Նյու Յորք, ԱՄՆ |
---|
Քաղաքացիություն | ԱՄՆ և Կանադա |
---|
Մասնագիտություն | համակարգչային գիտնական, համալսարանի դասախոս և մաթեմատիկոս |
---|
Հաստատություն(ներ) | Տորոնտոյի համալսարան և Կալիֆոռնիայի համալսարան, Բերքլի |
---|
Գործունեության ոլորտ | ինֆորմատիկա |
---|
Անդամակցություն | Լոնդոնի թագավորական ընկերություն, ԱՄՆ-ի Գիտությունների ազգային ակադեմիա, Կանադայի թագավորական ընկերություն, Արվեստների և գիտությունների ամերիկյան ակադեմիա, Գյոթինգենի Գիտությունների ակադեմիա և Հաշվողական տեխնիկայի ասոցիացիա[1] |
---|
Ալմա մատեր | Հարվարդի համալսարան և Միչիգանի համալսարան |
---|
Գիտական աստիճան | գիտությունների դոկտոր |
---|
Տիրապետում է լեզուներին | անգլերեն[2] |
---|
Գիտական ղեկավար | Hao Wang? |
---|
Եղել է գիտական ղեկավար | Toniann Pitassi?, Anna Lubiw?[3], Mark Braverman?[3], Walter Savitch?[3], Arvind Gupta?[3], Michael Soltys?[3], H. James (Howard) Hoover?[3], Paul William Beame?[3], Romas Aleliunas?[3], Valentine Kabanets?[3], François Pitt?[3], Bruce M. Kapron?[3], Pierre Murdock McKenzie?[3], Xudong Fu?[3], Patrick William Dymond?[3], Antonina Kolokolova?[3], Roberto Lins de Carvalho?[3], Alan Ramsay Skelley?[3], Tomoyuki Yamakami?[3], Tsuyoshi Morioka?[3], Phuong The Nguyen?[3], Steven Perron?[3], Leslie Michael Goldschlager?[3], Derek C. Oppen?[3], Daniel Brand?[3], Martin Dowd?[3], Gloria Kissin?[3], Stephen Bellantoni?[3], Robert A. Reckhow?[3], Akitoshi Kawamura?[3], Dai Tri Man Le?[3], Lila A. Fontes?[3], R. Dustin Wehr?[3], Kaveh Ghasemloo?[3] և Robert Robere?[3] |
---|
Պարգևներ | |
---|
Երեխա(ներ) | Gordon Cook? |
---|
Կայք | cs.toronto.edu/~sacook/ |
---|
Stephen Cook Վիքիպահեստում |
Փակել
Իր «The Complexity of Theorem Proving Procedures»[8] աշխատանքում Կուկն ապացուցել է, որ բուլյան բանաձևերի իրագործելիության խնդիրը NP-ամբողջական խնդիր է։ Դրանով նա բարձրացրել է հաշվողական համակարգերի տեսության բարդագույն հարցերից մեկը P և NP բարդության դասերի հավասարության վերաբերյալ, որի պատասխանը մինչ այժմ չկա։
Կանադայի թագավորական ընկերության (1984), ԱՄՆ գիտությունների ազգային ակադեմիայի (1985)[9], Լոնդոնի թագավորական ընկերության (1998)[10] անդամ է։
1961 թվականին Միչիգանի համալսարանում Կուկն ստացել է բակալավրի աստիճան։ Մեկ տարի անց Հարվարդում ստացել է գիտությունների մագիստրոսի աստիճան, իսկ 1966 թվականին՝ փիլիսոփայության դոկտորի կոչում։ Մինչև 1970 թվականը աշխատել է Կալիֆորնիայի Բերկլիի համալսարանում որպես մաթեմատիկայի պրոֆեսորի օգնական (անգլ.՝ assistant professor), որտեղ այդպես էլ չի ստացել մշտական աշխատողի կարգավիճակ։ 1985 թվականին Թյուրինգի մրցանակակիր Ռիչարդ Կարպը այդ մասին ասել է.
Այն, որ մենք չկարողացանք համոզել մաթեմատիկայի ֆակուլտետին տալ նրան այդ աստիճանը, մշտապես կմնա մեր մեղքը։
Բնօրինակ տեքստ (անգլ.)
It is to our everlasting shame that we were unable to persuade the math department to give him tenure.
1975 թվականին Սթիվեն Կուկը արժանացել է պրոֆեսորի պատվավոր կոչման Տորոնտոյի համալսարանի կողմից։
- 1982 – Թյուրինգի մրցանակ հաշվարկների բարդությունը հասկանալու մեջ նրա կատարած նշանակալի առաջընթացի համար։ Նրա աշխատանքը հիմք է հանդիսացել NP-ամբողջականության տեսության համար։ Այս դասի հատկությունների և սահմանների ուսումնասիրությունը դարձել է համակարգչային համակարգերի տեսության կարևորագույն ոլորտներից մեկը վերջին տասը տարիների ընթացքում[11](անգլ.)
- 1999 – CRM-Fields-PIMS prize
- 2012 – Կանադայի Գերհարդ Հերցբերգի անվան ոսկե մեդալ
- 2015 – BBVA Foundation Frontiers of Knowledge Awards՝ «իր կարևոր դերի համար այն բանի սահմանման մեջ, թե ինչ կարող են և չեն կարող համակարգիչները արդյունավետորեն լուծել։ Նրա աշխատանքները հսկայական ազդեցություն են թողել այն ոլորտներում, որտեղ բարդ հաշվարկներն ունեն կարևոր նշանակություն»[12](անգլ.)