دانا اسکات

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

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

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

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

  • مشارکت‌کنندگان ویکی‌پدیا، «Dana Scott»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۱۹ آوریل ۲۰۱۴).
  • «Dana Scott». بازبینی‌شده در ۱۹ آوریل ۲۰۱۴. 

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