Ստիվեն Կոուլ Կլինի

Ստիվեն Կոուլ Կլինի, կամ Կլեյնի (, ), ամերիկացի մաթեմատիկոս և տրամաբան, ալգորիթմների տեսության հիմնադիրներից։ Վիսկոնսինի համալսարանի պրոֆեսոր (1948 թվականից)։ 1930-ական թթ. ապացուցել է ռեկուրսիվ ֆունկցիաների տեսության հիմնական թեորեմները (այդ թվում համընդհանուր ֆունկցիայի մասին, անշարժ կետի մասին)։ Սահմանել և հետազոտել է կոնստրուկտիվ տրամաբանության ձևայնացումը ալգորիթմի ճշգրտված գաղափարի հիման վրա (1945) և ինտուիցիոնիստական մաթեմատիկայի ձևայնացած տրամաբանա-մաթեմատիկական համակարգը։

Ծանոթագրություններ 

Ամերիկացի մաթեմատիկոսներ
ԱՄՆ-ի գիտությունների ազգային ակադեմիայի անդամներ
Մաթեմատիկոսներ այբբենական կարգով
Ամերիկացի գիտնականներ
Ամերիկացի փիլիսոփաներ
Փրինսթոնի համալսարանի շրջանավարտներ