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

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

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

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

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

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

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

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

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

Philosophy of mathematics Proof theory ( Bubliotheca Mathematica) Stephen Cole Kleene Introduction To Metamathematics Wolters Noordhoff Publishing ( 1971)...

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

Below is a set of truth tables showing the logic operations for Stephen Cole Kleene's "strong logic of indeterminacy" and Graham Priest's "logic of paradox"...

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

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

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

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

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

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

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

of the classical lambda calculus introduced by Alonzo Church and Stephen Cole Kleene in the 1930s. The purpose of quantum lambda calculi is to extend...

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

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

Wollaston Medal for Geology – William Jason Morgan January 25 – Stephen Cole Kleene (b. 1909), American mathematician. April 17 – Roger Wolcott Sperry...