Kleene
Kleene [klín] Stephen Cole , *5. l. 1909, amer. logik a matematik; prof. univ. v Madisonu. Práce v oblasti mat. spjaty s rozpracováním teorie obecně rekursívních funkcí, kde dokázal řadu zákl. teorémů. Upřesnil též pojetí algoritmu. Jeho práce je jedním z pokusů intuicionistického založení mat. Hl. dílo: Introduction to Metamathematics (Uvod do metamatematiky).
