Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene...

In mathematical logic and computer science, the Kleene star (or Kleene operator or Kleene closure) is a unary operation, either on sets of strings or...

functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics...

In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed...

"thesis")? In the course of studying the problem, Church and his student Stephen Kleene introduced the notion of λ-definable functions, and they were able to...

systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935. Kleene and Rosser were able to show that both systems are...

synonymous with this notion are becoming or constructive. For example, Stephen Kleene describes the notion of a Turing machine tape as "a linear 'tape', (potentially)...

arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain...

Gödel, Escher, Bach. Vintage. Stephen Kleene, 1967. Mathematical Logic. Dover paperback reprint c. 2001. Stephen Kleene, 1980. Introduction to Metamathematics...

Turing in 1939 in terms of oracle machines. Later in 1943 and 1952 Stephen Kleene defined an equivalent concept in terms of recursive functions. In 1944...