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