- Cole
Kleene (/ˈkleɪni/ KLAY-nee;
January 5, 1909 –
January 25, 1994) was an
American mathematician. One of the
students of
Alonzo Church,
Kleene, along...
- 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...
- In mathematics, a
Kleene algebra (/ˈkleɪni/ KLAY-nee;
named after Stephen Cole
Kleene) is an
idempotent (and thus
partially ordered)
semiring endowed...
- In com****bility theory,
Kleene's recursion theorems are a pair of
fundamental results about the
application of com****ble
functions to
their own descriptions...
-
ordinal is the
Church Kleene ordinal, ω 1 C K {\displaystyle \omega _{1}^{\mathsf {CK}}} ,
named after Alonzo Church and S. C.
Kleene; its
order type is...
- or false, but in many
cases we don't know which. Similarly,
Stephen Cole
Kleene used a
third value to
represent predicates that are "undecidable by [any]...
-
lattice theory, the
Kleene fixed-point theorem,
named after American mathematician Stephen Cole
Kleene,
states the following:
Kleene Fixed-Point Theorem...
-
expressions began in the 1950s, when the
American mathematician Stephen Cole
Kleene formalized the
concept of a
regular language. They came into
common use...
- In mathematics, the
Kleene–Rosser
paradox is a
paradox that
shows that
certain systems of
formal logic are inconsistent, in
particular the
version of Haskell...
-
expressions and
finite automata is
known as
Kleene's theorem (after
American mathematician Stephen Cole
Kleene). In the
Chomsky hierarchy,
regular languages...
