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

expressions and finite automata is known as Kleene's theorem (after American mathematician Stephen Cole Kleene). In the Chomsky hierarchy, regular languages...

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

expressions began in the 1950s, when the American mathematician Stephen Cole Kleene formalized the concept of a regular language. They came into common...

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

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

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

computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to...

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

the steps in a proof are mechanical, some being intuitive". Later, Stephen Cole Kleene brought forth a more rational consideration of intuitionism in his...

Gentzen (1934, 1935). Stephen Cole Kleene (1945) proved that Heyting arithmetic has the disjunction property and the existence property. Kleene's method introduced...

set, the Kleene–Brouwer order is itself a well-ordering if and only if the tree has no infinite branch. It is named after Stephen Cole Kleene, Luitzen...

Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L'Abbé, Gary R. Mar, Michael O. Rabin, Nicholas...

George A. Wentworth, Bertrand Russell, Nicolas Bourbaki, Paul Halmos, Stephen Cole Kleene, and John Horton Conway have preferred to include 0. Mathematicians...

computable functions) (Soare 1987, Rogers 1967). It was first proved by Stephen Cole Kleene (1943). The name S m n  comes from the occurrence of an S with subscript...

logicians did not view Skolem's paradox a fatal flaw in set theory. Stephen Cole Kleene described the result as "not a paradox in the sense of outright contradiction...

themselves. The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming...

named after Stephen Cole Kleene, who did pioneering work in the field of logic as related to computer science. Past recipients of the Kleene award are tabulated...

The three-valued logic K3, due to Stephen Cole Kleene. Kleene connectives Logical connectives defined using Kleene's three-valued logic, which includes...

ISBN 9783540440857. Kleene, Stephen Cole.(1952), Introduction to Metamathematics. New York: Van Nostrand. (Ishi Press: 2009 reprint). Kleene, Stephen Cole. (1967)...

facing English translation, preceded by an introductory note by Stephen Cole Kleene. —, 1951, "Some basic theorems on the foundations of mathematics...

propositions to be either true or false. For instance, Jan Łukasiewicz and Stephen Cole Kleene both proposed ternary logics which have a third truth value representing...

Stephen Cole Kleene. With the publication of this volume, "automata theory emerged as a relatively autonomous discipline". The book included Kleene's...

validity or provability), are Kurt Gödel’s dialectica interpretation, Stephen Cole Kleene’s realizability, Yurii Medvedev’s logic of finite problems, or Giorgi...

Karlin, Saunders Mac Lane, Donald C. Spencer 1990—George F. Carrier, Stephen Cole Kleene, John McCarthy 1991—Alberto Calderón 1992—Allen Newell 1993—Martin...

function#Equality predicate, and Primitive recursive function#Multiplication Stephen Cole Kleene (Jan 1943). "Recursive predicates and quantifiers" (PDF). Transactions...

Levenberg proposes a method for nonlinear least squares fitting. 1945 – Stephen Cole Kleene introduces realizability. 1945 – Saunders Mac Lane and Samuel Eilenberg...

Swiss-American sculptor, painter, and photographer (d. 1995) 1909 – Stephen Cole Kleene, American mathematician and computer scientist (d. 1994) 1910 – Jack...

Hofstadter, 1980. Gödel, Escher, Bach. Vintage Books. Aimed at laypeople. Stephen Cole Kleene, 1952. Introduction to Metamathematics. North Holland. Aimed at mathematicians...

Takeuti (called ordinal diagrams), Oswald Veblen. Stephen Cole Kleene has a system of notations, called Kleene's O, which includes ordinal notations but it is...