دینا اسکات

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

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

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

منابع

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

استادان دانشگاه شیکاگو
استادان دانشگاه کارنگی ملون
اعضای انجمن ریاضی آمریکا
اعضای فرهنگستان ملی دانش آمریکا
اعضای هیئت علمی دانشگاه برکلی
افراد زنده
اهالی برکلی، کالیفرنیا
برندگان جایزه تورینگ
توپولوژی‌دانان
دانشمندان اهل کالیفرنیا
دانشمندان رایانه اهل ایالات متحده آمریکا
دانشمندان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
دانشمندان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
دانش‌آموختگان دانشگاه پرینستون
دانش‌آموختگان دانشگاه کالیفرنیا، برکلی
دریافت‌کنندگان جایزه گوگنهایم
ریاضی‌دانان اهل ایالات متحده آمریکا
ریاضی‌دانان سده ۲۰ (میلادی)
ریاضی‌دانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
ریاضی‌دانان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
زادگان ۱۹۳۲ (میلادی)
فیلسوفان اهل ایالات متحده آمریکا
محققین زبان‌های برنامه‌نویسی
مربیان تارسکی (دانشگاه)
معناشناسان
منطق‌دانان اهل ایالات متحده آمریکا
مهندسان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
مهندسان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
نظریه‌پردازان مجموعه
مهندسان اهل کالیفرنیا
فلوهای انجمن ماشین‌های حسابگر