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 mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed...

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

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

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

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

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

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

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

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

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

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

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

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

Princeton University Press (April 1, 1961) 156 pages ISBN 0-691-08047-X Stephen Cole Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0-486-42533-9...

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

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

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

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

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

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

as the following table for "P ⊃ (Q ∨ R ⊃ (R ⊃ ¬P))", produced by Stephen Cole Kleene: Colin Howson, on the other hand, believes that "it is a good practical...

Mary Dixon Kies (South Killingly) George E. Kimball (New Britain) Stephen Cole Kleene (Hartford) Edwin H. Land (Bridgeport) Henry Lee (Orange) Albert L...

II. Logic, Boston: Gould and Lincoln. Downloaded via googlebooks. Stephen Cole Kleene, 1967, Mathematical Logic reprint 2002, Dover Publications, Inc....

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

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