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...

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...

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

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

"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...

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)...

lattice theory, the Kleene fixed-point theorem, named after American mathematician Stephen Cole Kleene, states the following: Kleene Fixed-Point Theorem...