کلین، استیون (۱۹۰۹ـ۱۹۹۴)

از ویکیجو | دانشنامه آزاد پارسی
نسخهٔ تاریخ ‏۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳ توسط Reza rouzbahani (بحث | مشارکت‌ها)
(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)

کِلین، اِستیون (۱۹۰۹ـ۱۹۹۴)(Kleen, Stephen)

کِلين، اِستيون

ریاضی‌دان و منطق‌دان امریکایی. از پایه‌‌گذاران علوم نظری رایانه بود. با دانشمندان دیگری چون آلن تورینگ[۱] نظریۀ بازگشت[۲] را گسترش داد که به نظریۀ تابع‌های قابل محاسبه[۳] منجر شد. از آثار اوست: منطق ریاضیات (۱۹۶۷).

 


  1. Alan Turing
  2. recursion theory
  3. computable functions