استیون آرتور کوک ( به انگلیسی: Stephen Arthur Cook ) ( زاده ۱۴ دسامبر، ۱۹۳۹ - بوفالو، نیویورک ) ، یک دانشمند آمریکایی علوم رایانه و یک ریاضیدان سرشناس است که سهم عمده ای در رشته های نظریه پیچیدگی محاسباتی و پیچیدگی اثبات داشته است. وی در حال حاضر یک استاد دانشگاه در بخش علوم کامپیوتر و ریاضیات دانشگاه تورنتو است.
کوک در سال ۱۹۳۹ در بوفالو، نیویورک به دنیا آمد. پدرش یک شیمیدان بود و برای Union Carbide کار می کرد و در دانشگاه محلی بوفالو نیز تدریس می کرد.
وقتی کوک ۱۰ ساله شد، خانواده اش به مزرعه ای در کلارنس، نیویورک، نقل مکان کردند. در آنجا با ویلسون گریت بچ، مخترع ضربان ساز قابل کشت، آشنا شد. کوک، رابطه دوستی را با گریت بچ برقرار کرد و وقت زیادی را در کمک کردن به وی در لحیم کاری ترانزیستور صرف کرد. همین تجربه ها، دوره ای از مهندسی برق را برایش به ارمغان آورد.
در سال ۱۹۵۷ به دانشگاه میشیگان رفت. در آنجا او و دوستش برنامه ای برای تست کردن حدس گلدباخ نوشتند. تا وقتی که برنامه ادامه پیدا می کرد، بیانگر درستی حدس بود. در سال ۱۹۶۱ وی مدرک لیسانس خود را که بخش عمده اش را ریاضیات تشکیل می داد گرفت.
مدرک کارشناسی ارشد و دکترای خود را به ترتیب در سال های ۱۹۶۲ و ۱۹۶۶ از دانشگاه هاروارد دریافت کرد که هر دوی آن ها در ریاضیات بودند. هدف اولیهٔ کوک، تحقیقات در زمینه جبر بود، ولی در مقطع دکترا به طلسم علوم کابردی هائو ونگ، کسی که در منطق ریاضی و فلسفه تعلیم دیده بود، دچار شد. در این زمان، ونگ در حال کار روی اثبات خودکار قضیه، کشف خودکار اثبات ها به وسیلهٔ رایانه، بود.
کوک همچنین به کار مایکل رابین، به ویژه مقاله اش بر روی نظریه محاسبات پی برد. در ادامه، رابین تعدادی از لکچرها را به دست کوک رساند و در پایان، این اتفاقات کوک را به سمت مطالعه در زمینه محاسبات گزاره ای سوق داد.
او در سال ۱۹۶۶ به عنوان پروفسور دستیار به بخش ریاضیات دانشگاه کالیفرنیا، برکلی، پیوست و تا سال ۱۹۷۰، هنگامی که از انتصاب مجددش منع شد در آنجا ماند.
در یک سخنرانی که با سی امین سالگرد بخش EECS برکلی همراه بود، برنده جایزه تورینگ و پروفسور برکلی، ریچارد کارپ اظهار داشت: «سرافکندگی ابدی ماست که ما قادر نبودیم بخش ریاضی را ترغیب کنیم تا او را نگه دارند».
کوک در سال ۱۹۷۰ به عنوان یک پروفسور دستیار به هیئت علمی دانشگاه تورنتو، بخش های علوم کامپیوتر و ریاضیات پیوست که بعدها در آنجا، در سال ۱۹۷۵ به مقام پروفسور و در سال ۱۹۸۵ به مقام پروفسور دانشگاه ارتقا پیدا کرد.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفکوک در سال ۱۹۳۹ در بوفالو، نیویورک به دنیا آمد. پدرش یک شیمیدان بود و برای Union Carbide کار می کرد و در دانشگاه محلی بوفالو نیز تدریس می کرد.
وقتی کوک ۱۰ ساله شد، خانواده اش به مزرعه ای در کلارنس، نیویورک، نقل مکان کردند. در آنجا با ویلسون گریت بچ، مخترع ضربان ساز قابل کشت، آشنا شد. کوک، رابطه دوستی را با گریت بچ برقرار کرد و وقت زیادی را در کمک کردن به وی در لحیم کاری ترانزیستور صرف کرد. همین تجربه ها، دوره ای از مهندسی برق را برایش به ارمغان آورد.
در سال ۱۹۵۷ به دانشگاه میشیگان رفت. در آنجا او و دوستش برنامه ای برای تست کردن حدس گلدباخ نوشتند. تا وقتی که برنامه ادامه پیدا می کرد، بیانگر درستی حدس بود. در سال ۱۹۶۱ وی مدرک لیسانس خود را که بخش عمده اش را ریاضیات تشکیل می داد گرفت.
مدرک کارشناسی ارشد و دکترای خود را به ترتیب در سال های ۱۹۶۲ و ۱۹۶۶ از دانشگاه هاروارد دریافت کرد که هر دوی آن ها در ریاضیات بودند. هدف اولیهٔ کوک، تحقیقات در زمینه جبر بود، ولی در مقطع دکترا به طلسم علوم کابردی هائو ونگ، کسی که در منطق ریاضی و فلسفه تعلیم دیده بود، دچار شد. در این زمان، ونگ در حال کار روی اثبات خودکار قضیه، کشف خودکار اثبات ها به وسیلهٔ رایانه، بود.
کوک همچنین به کار مایکل رابین، به ویژه مقاله اش بر روی نظریه محاسبات پی برد. در ادامه، رابین تعدادی از لکچرها را به دست کوک رساند و در پایان، این اتفاقات کوک را به سمت مطالعه در زمینه محاسبات گزاره ای سوق داد.
او در سال ۱۹۶۶ به عنوان پروفسور دستیار به بخش ریاضیات دانشگاه کالیفرنیا، برکلی، پیوست و تا سال ۱۹۷۰، هنگامی که از انتصاب مجددش منع شد در آنجا ماند.
در یک سخنرانی که با سی امین سالگرد بخش EECS برکلی همراه بود، برنده جایزه تورینگ و پروفسور برکلی، ریچارد کارپ اظهار داشت: «سرافکندگی ابدی ماست که ما قادر نبودیم بخش ریاضی را ترغیب کنیم تا او را نگه دارند».
کوک در سال ۱۹۷۰ به عنوان یک پروفسور دستیار به هیئت علمی دانشگاه تورنتو، بخش های علوم کامپیوتر و ریاضیات پیوست که بعدها در آنجا، در سال ۱۹۷۵ به مقام پروفسور و در سال ۱۹۸۵ به مقام پروفسور دانشگاه ارتقا پیدا کرد.
wiki: استیون کوک