دینا اسکات
دانا اسکات | |
|---|---|
 | |
| زادهٔ | ۱۱ اکتبر ۱۹۳۲ (۹۲ سال) |
| محل تحصیل | دکترای ریاضیات ۱۹۵۴, دانشگاه کالیفرنیا، برکلی دکترای فلسفه. ۱۹۵۸, دانشگاه پرینستون |
| شناخته‌شده برای | نظریه اتوماتا, معناشناسی زبان‌های برنامه‌نویسی |
| جوایز | جایزه تورینگ 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». بایگانی‌شده از اصلی در ۷ اکتبر ۲۰۱۴. دریافت‌شده در ۱۹ آوریل ۲۰۱۴.
پیوند به بیرون
[ویرایش]
- استادان دانشگاه شیکاگو
- استادان دانشگاه کارنگی ملون
- اعضای انجمن ریاضی آمریکا
- اعضای فرهنگستان ملی دانش آمریکا
- اعضای هیئت علمی دانشگاه برکلی
- افراد زنده
- اهالی برکلی، کالیفرنیا
- برندگان جایزه تورینگ
- توپولوژیدانان
- دانشمندان اهل کالیفرنیا
- دانشمندان رایانه اهل ایالات متحده آمریکا
- دانشمندان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
- دانشمندان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
- دانشآموختگان دانشگاه پرینستون
- دانشآموختگان دانشگاه کالیفرنیا، برکلی
- دریافتکنندگان جایزه گوگنهایم
- ریاضیدانان اهل ایالات متحده آمریکا
- ریاضیدانان سده ۲۰ (میلادی)
- ریاضیدانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
- ریاضیدانان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
- زادگان ۱۹۳۲ (میلادی)
- فیلسوفان اهل ایالات متحده آمریکا
- محققین زبان‌های برنامه‌نویسی
- مربیان تارسکی (دانشگاه)
- معناشناسان
- منطقدانان اهل ایالات متحده آمریکا
- مهندسان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
- مهندسان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
- نظریهپردازان مجموعه
- مهندسان اهل کالیفرنیا
- فلوهای انجمن ماشینهای حسابگر