Кліні (Kleene) Стівен Коул (р. 5.1.1909, Хартфорд, штат Коннектікут), американський логік і математик. У 1934 отримав міру доктора філософії в Прінстонськом університеті. Професор університету (Мадісон) Вісконсіна з 1948. Основні роботи присвячені теорії алгоритмів і рекурсивних функцій, а також проблемам інтуїционістськой логіки і математики. Зокрема, їм доведена еквівалентність введеного А. Черчем поняття l-візначності функцій з общерекурсивностью. Введене До. поняття (рекурсивною) тієї, що реалізовується формул лежить в основі інтуїционістськой інтерпретації арифметичних думок. До. — автор ряду широко відомих монографій по математичній логіці, підставам математики і теорії рекурсивних функцій.
Соч. у русявий.(російський) пер.(переведення): Введення в метаматематику, М., 1957.
