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

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

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

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

 

---