دینا اسکات - ویکی‌پدیا، دانشنامهٔ آزاد

دانا اسکات
دانا اسکات
زادهٔ	۱۱ اکتبر ۱۹۳۲ ‏(۹۲ سال)
محل تحصیل	دکترای ریاضیات ۱۹۵۴, دانشگاه کالیفرنیا، برکلی; دکترای فلسفه. ۱۹۵۸, دانشگاه پرینستون
شناخته‌شده; برای	نظریه اتوماتا, معناشناسی زبان‌های برنامه‌نویسی
جوایز	جایزه تورینگ 1976, Tarski Lectures (other languages) 1989
	پیشینه علمی
شاخه(ها)	علوم رایانه; ریاضیات; فلسفه
محل کار	دانشگاه کالیفرنیا، برکلی; دانشگاه استنفورد; دانشگاه آکسفورد; دانشگاه کارنگی ملون
پایان‌نامه	دنباله‌های همگرا از نظریه های کامل (۱۹۵۸)
استاد راهنما	آلونزو چرچ
دانشجویان دکتری	جک کوپلند; Michael Fourman; Kenneth Kunen; Angus Macintyre; Ketan Mulmuley; Marko Petkovšek; Fred S. Roberts; David Turner

دِینا اسکات (انگلیسی: Dana Scott؛ زاده ۱۱ اکتبر ۱۹۳۲) استاد بازنشستهٔ دانشگاه کارنگی ملون، ریاضی‌دان و فیلسوف و متخصص مشهور آمریکاییِ علوم رایانه است. اسکات در سال ۱۹۵۴ در دانشگاه پرینستون و در منطق ریاضی زیر نظر آلونزو چرچ دکتری گرفته است و در آکسفورد و برکلی استاد بوده است. در حیطه‌های گوناگونی از منطق ریاضی اسکات دارای آثار بسیار مهمی است، از جمله در نظریهٔ مجموعه‌ها و منطق موجهات و منطق‌های نامتناهی.

در فلسفه و منطق، اسکات برندهٔ جایزه‌ٔ شوک در ۱۹۹۷ شده است (پس از مایکل دامت و پیش از جان رولز). در علوم رایانه نیز او، به همراه مایکل رابین، در ۱۹۷۶ برندهٔ جایزه تورینگ شده است.^[۲]^[۳]

شروع کار حرفه‌ای

او مدرک کارشناسی در ریاضیات از دانشگاه کالیفرنیا، برکلی را در سال ۱۹۵۴ دریافت کرد. او در دانشگاه پرینستون پی‌اچ‌دی خود را با پایان‌نامه‌اش در مورد توالی همگرای نظریه‌های کامل تحت نظارت آلونزو چرچ گرفت و از پایان‌نامه‌اش در سال ۱۹۵۸ دفاع کرد.^[۴]^[۵]^[۶] پس از اتمام دکترای به دانشگاه شیکاگو نقل مکان کرد و تا سال ۱۹۶۰ به عنوان مربی در آنجا مشغول کار شد.^[۷]^[۸]

منابع

↑ "Dana Stewart Scott". Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.
↑ "Dana Scott". Simons Institute for the Theory of Computing (به انگلیسی). Retrieved 2023-07-01.
↑ «Dana Scott». Society for Science (به انگلیسی). دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
↑ «Dana Scott's Home Page». www.cs.cmu.edu. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
↑ University, Carnegie Mellon. "Dana S. Scott - Mathematical Sciences - Mellon College of Science - Carnegie Mellon University". www.cmu.edu (به انگلیسی). Retrieved 2023-07-01.
↑ «Computer Pioneers - Dana Stewart Scott». history.computer.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
↑ «Dana S Scott - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
↑ "Dana Scott | Biography, A.M. Turing Award, & Facts | Britannica". www.britannica.com (به انگلیسی). Retrieved 2023-07-01.

مشارکت‌کنندگان ویکی‌پدیا. «Dana Scott». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ آوریل ۲۰۱۴.
«Dana Scott». بایگانی‌شده از اصلی در ۷ اکتبر ۲۰۱۴. دریافت‌شده در ۱۹ آوریل ۲۰۱۴.

پیوند به بیرون

[1] "Dana Stewart Scott". Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.

[2] "Dana Scott". Simons Institute for the Theory of Computing (به انگلیسی). Retrieved 2023-07-01.

[3] «Dana Scott». Society for Science (به انگلیسی). دریافت‌شده در ۲۰۲۳-۰۷-۰۱.

[4] «Dana Scott's Home Page». www.cs.cmu.edu. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.

[5] University, Carnegie Mellon. "Dana S. Scott - Mathematical Sciences - Mellon College of Science - Carnegie Mellon University". www.cmu.edu (به انگلیسی). Retrieved 2023-07-01.

[6] «Computer Pioneers - Dana Stewart Scott». history.computer.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.

[7] «Dana S Scott - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.

[8] "Dana Scott | Biography, A.M. Turing Award, & Facts | Britannica". www.britannica.com (به انگلیسی). Retrieved 2023-07-01.

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]

[۸]

ن ب و برندگان جایزه تورینگ
دهه ۱۹۶۰	آلن پرلیس (۱۹۶۶) موریس ویلکس (۱۹۶۷) ریچارد همینگ (۱۹۶۸) ماروین مینسکی (۱۹۶۹)
دهه ۱۹۷۰	جیمز ویلکینسون (۱۹۷۰) جان مک‌کارتی (دانشمند علوم رایانه) (۱۹۷۱) ادسخر دیکسترا (۱۹۷۲) چارلز بکمن (۱۹۷۳) دانلد کنوت (۱۹۷۴) آلن نیوول; هربرت الکساندر سایمون (۱۹۷۵) مایکل رابین; دینا اسکات (۱۹۷۶) جان باکوس (۱۹۷۷) رابرت فلوید (۱۹۷۸) کنت ای. آیورسن (۱۹۷۹)
دهه ۱۹۸۰	تونی هور (۱۹۸۰) ادگار کاد (۱۹۸۱) استیون کوک (۱۹۸۲) کن تامسون; دنیس ریچی (۱۹۸۳) نیکلاوس ویرت (۱۹۸۴) ریچارد ام. کارپ (۱۹۸۵) جان هاپکرافت; رابرت تارجان (۱۹۸۶) جان کوک (۱۹۸۷) ایوان سادرلند (۱۹۸۸) ویلیام کاهان (۱۹۸۹)
دهه ۱۹۹۰	فرناندو کورباتو (۱۹۹۰) رابین میلز (۱۹۹۱) باتلر لامپسن (۱۹۹۲) یوریس هارتمانیس; ریچارد استیرنز (۱۹۹۳) ادوارد فاین‌باوم; راج ردی (۱۹۹۴) مانوئل بلوم (۱۹۹۵) امیر پنوئلی (۱۹۹۶) داگلاس انگلبارت (۱۹۹۷) جیم گری (۱۹۹۸) فردریک بروکز (۱۹۹۹)
دهه ۲۰۰۰	اندرو یائو (۲۰۰۰) اوله-یوهان دال; کریستین نیگارد (۲۰۰۱) رونالد ریوست; ادی شامیر; لئونارد آدلمن (۲۰۰۲) الن کی (۲۰۰۳) وینتون سرف; باب کان (۲۰۰۴) پیتر ناور (۲۰۰۵) فرانسیس آلن (۲۰۰۶) ادموند ام کلارک; ارنست آلن امرسون; جوزف سیفاکیس (۲۰۰۷) باربارا لیسکف (۲۰۰۸) چارلز ثاکر (۲۰۰۹)
دهه ۲۰۱۰	لسلی والینت (۲۰۱۰) یودیا پرل (۲۰۱۱) شافی گولدواسر; سیلویو میکالی (۲۰۱۲) لزلی لمپورت (۲۰۱۳) مایکل استون‌براکر (۲۰۱۴) مارتین هلمن; ویتفیلد دیفی (۲۰۱۵) تیم برنرز-لی (۲۰۱۶) جان هنسی; دیوید پترسون (دانشمند رایانه) (۲۰۱۷) یوشوا بنجیو; جفری هینتون; یان لی کان (۲۰۱۸) ادوین کتمول; پت هانراهان (۲۰۱۹)
دهه ۲۰۲۰	آلفرد آهو; جفری اولمن (۲۰۲۰) جک دونگارا (۲۰۲۱)

ن ب و برندگان جایزه رولف شوک
منطق و فلسفه	ویلارد کواین (۱۹۹۳) مایکل دامت (۱۹۹۵) دینا اسکات (۱۹۹۷) جان رالز (۱۹۹۹) سول کریپکی (۲۰۰۱) سولومون ففرمن (۲۰۰۳) یاکو هینتیکا (۲۰۰۵) تامس نیگل (۲۰۰۸) هیلاری پاتنم (۲۰۱۱) درک پارفیت (۲۰۱۴)
ریاضی	الیاس ام اشتاین (۱۹۹۳) اندرو وایلز (۱۹۹۵) میکیو ساتو (۱۹۹۷) یوری آی. مانین (۱۹۹۹) الیوت اچ لیب (۲۰۰۱) ریچارد پ. استنلی (۲۰۰۳) لویی کافارلی (۲۰۰۵) آندره سمردی (۲۰۰۸) مایکل آشباخر (۲۰۱۱) ایتانگ ژانگ (۲۰۱۴)
هنرهای موسیقایی	اینگوار لیدهلم (۱۹۹۳) جرج لیگتی (۱۹۹۵) یورما پانولا (۱۹۹۷) کرونوس کوارتت (۱۹۹۹) کایا ساریاهو (۲۰۰۱) آنه سوفی فن اوتر (۲۰۰۳) موریسیو کاگل (۲۰۰۵) گیدون کرمر (۲۰۰۸) اندرو مانتز (۲۰۱۱) هربرت بلومشتد (۲۰۱۴)
هنرهای تجسمی	رافائل مونئو (۱۹۹۳) کلاس اولدنبرگ (۱۹۹۵) تورستن اندرسون (۱۹۹۷) هرتزوگ و دمویرون (۱۹۹۹) جوزپه پنون (۲۰۰۱) سوزان روتنبرگ (۲۰۰۳) SANAA / کازویو سجیما + ریوئه نیشی‌زاوا (۲۰۰۵) مونا حاطوم (۲۰۰۸) مارلن دوما (۲۰۱۱) آن لاکاتون / ژان-فیلیپ واسال (۲۰۱۴)