دینا اسکات

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو
دانا اسکات
Scott Dana small.jpg
زاده ۱۱ اکتبر ۱۹۳۲(1932-10-11) ‏(۸۵ سال)
محل تحصیل B.A. (mathematics) 1954, دانشگاه کالیفرنیا، برکلی
Ph.D. 1958, دانشگاه پرینستون
شناخته‌شده برای نظریه اتوماتا, semantics of programming languages
جایزه‌ها جایزه تورینگ 1976, Tarski Lectures (other languages) 1989
موقعیت‌های علمی
موضوع‌ها علوم رایانه
ریاضیات
فلسفه
مؤسسه‌ها دانشگاه کالیفرنیا، برکلی
دانشگاه استنفورد
دانشگاه آکسفورد
دانشگاه کارنگی ملون
پایان‌نامه Convergent Sequences of Complete Theories (1958)
استاد راهنما آلونزو چرچ
دانشجوهای دکتری جک کوپلند
Michael Fourman
Kenneth Kunen
Angus Macintyre
Ketan Mulmuley
Marko Petkovšek
Fred S. Roberts
David Turner[۱]

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

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

منابع[ویرایش]

پیوند به بیرون[ویرایش]