دینا اسکات

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو
دانا اسکات
Scott Dana small.jpg
زاده۱۱ اکتبر ۱۹۳۲ ‏(۸۷ سال)
محل تحصیل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؛ زاده ۱۱ اکتبر ۱۹۳۲) استاد بازنشستهٔ دانشگاه کارنگی ملون، ریاضی‌دان و فیلسوف و متخصص مشهور آمریکاییِ علوم کامپیوتر است. اسکات در سال ۱۹۵۴ در دانشگاه پرینستون و در منطق ریاضی زیر نظر آلونزو چرچ دکتری گرفته است و در آکسفورد و برکلی استاد بوده است. در حیطه‌های گوناگونی از منطق ریاضی اسکات دارای آثار بسیار مهمی است، از جمله در نظریهٔ مجموعه‌ها و منطق موجهات و منطق‌های نامتناهی.

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

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

  1. "Dana Stewart Scott". Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.
  • مشارکت‌کنندگان ویکی‌پدیا. «Dana Scott». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ آوریل ۲۰۱۴.
  • «Dana Scott». دریافت‌شده در ۱۹ آوریل ۲۰۱۴.

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