استیون کول کلینی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو
استیون کول کلین
Kleene.jpg
زادهٔ ۵ ژانویهٔ ۱۹۰۹(1909-01-05)
مرگ ۲۵ ژانویه ۱۹۹۴ میلادی (۸۵ سال)
ساکن ایالات متحده آمریکا
ملیت ایالات متحده آمریکا
زمینه فعالیت ریاضیات
سازمان دانشگاه ویسکانسین-مدیسن
محل تحصیل دانشگاه پرینستون
استاد راهنما آلونزو چرچ
دانشجوهای دکتری جان ادیسون جونیور
پاول اکست
داگلاس کلارک
رابرت کانستبل
دیوید کیستید
شی چائو لیو
جوآن موسکوواکیس
ینیس موسکوواکیس
نلز دیوید نلسون
جین رز
کلیفورد اسپکتور
ریچارد وزلی
دیک د جان
جوایز نشان ملی علوم

استیون کول کلینی (انگلیسی: Stephen Cole Kleene؛ ۵ ژانویهٔ ۱۹۰۹(1909-01-05) – ۲۵ ژانویه ۱۹۹۴(1994-01-25)) ریاضی‌دان اهل ایالات متحده آمریکا بود. کلینی، به همراه آلن تورینگ و امیل لئون پست، از پدیدآورندگان نظریه رایانش‌پذیری است که یکی از شاخه‌های اصلی منطق ریاضی است.

وی همچنین برنده جوایزی همچون نشان ملی علوم شده است.

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