کلین استیون

دانشنامه آزاد فارسی

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

پیشنهاد کاربران

بپرس