دینا اسکات
ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی
دِینا اسکات (انگلیسی: Dana Scott؛ زاده ۱۱ اکتبر ۱۹۳۲) استاد بازنشستهٔ دانشگاه کارنگی ملون، ریاضی‌دان و فیلسوف و متخصص مشهور آمریکاییِ علوم کامپیوتر است. اسکات در سال ۱۹۵۴ در دانشگاه پرینستون و در منطق ریاضی زیر نظر آلونزو چرچ دکتری گرفته است و در آکسفورد و برکلی استاد بوده است. در حیطه‌های گوناگونی از منطق ریاضی اسکات دارای آثار بسیار مهمی است، از جمله در نظریهٔ مجموعه‌ها و منطق موجهات و منطق‌های نامتناهی.
| دانا اسکات | |
|---|---|
| زادهٔ | ۱۱ اکتبر ۱۹۳۲ (۹۰ سال) |
| محل تحصیل | دکترای ریاضیات ۱۹۵۴, دانشگاه کالیفرنیا، برکلی دکترای فلسفه. ۱۹۵۸, دانشگاه پرینستون |
| شناخته‌شده برای | نظریه اتوماتا, معناشناسی زبان‌های برنامه‌نویسی |
| جایزه(ها) | جایزه تورینگ 1976, Tarski Lectures (other languages) 1989 |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه ریاضیات فلسفه |
| محل کار | دانشگاه کالیفرنیا، برکلی دانشگاه استنفورد دانشگاه آکسفورد دانشگاه کارنگی ملون |
| پایان‌نامه | دنباله‌های همگرا از نظریه های کامل (۱۹۵۸) |
| استاد راهنما | آلونزو چرچ |
| دانشجویان دکتری | جک کوپلند Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner |
در فلسفه و منطق، اسکات برندهٔ جایزه‌ٔ شوک در ۱۹۹۷ شده است (پس از مایکل دامت و پیش از جان رولز). در علوم کامپیوتر نیز او، به همراه مایکل رابین، در ۱۹۷۶ برندهٔ جایزه تورینگ شده است.
منابع
- ↑ "Dana Stewart Scott". Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.
- «Dana Scott». بایگانی‌شده از اصلی در ۷ اکتبر ۲۰۱۴. دریافت‌شده در ۱۹ آوریل ۲۰۱۴.