Search results
Results from the WOW.Com Content Network
Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...
Stephen Cole Kleene, 1934 Simon B. Kochen, 1959 Maurice L'Abbé, 1951 Isaac Malitz, 1976 Gary R. Mar, 1985 Michael O. Rabin, 1957 Nicholas Rescher, 1951 Hartley Rogers, Jr, 1952 J. Barkley Rosser, 1934 Dana Scott, 1958 Norman Shapiro, 1955 Raymond Smullyan, 1959 Alan Turing, 1938 [1]
From Wikipedia, the free encyclopedia. Redirect page. Redirect to: Stephen Cole Kleene
The predicates can be used to obtain Kleene's normal form theorem for computable functions (Soare 1987, p. 15; Kleene 1943, p. 52—53). This states there exists a fixed primitive recursive function such that a function : is computable if and only if there is a number such that for all , …, one has
The Church–Turing Thesis: Stephen Kleene, in Introduction To Metamathematics, finally goes on to formally name "Church's Thesis" and "Turing's Thesis", using his theory of recursive realizability. Kleene having switched from presenting his work in the terminology of Church-Kleene lambda definability, to that of Gödel-Kleene recursiveness ...
From Wikipedia, the free encyclopedia. Redirect page
In mathematics and theoretical computer science, a Kleene algebra (/ ˈ k l eɪ n i / KLAY-nee; named after Stephen Cole Kleene) is a semiring that generalizes the theory of regular expressions: it consists of a set supporting union (addition), concatenation (multiplication), and Kleene star operations subject to certain algebraic laws.
Stephen or Steven Cole may refer to: Stephen Cole (broadcaster) (born 1954), news presenter; Stephen Cole (sociologist) (1941–2018), professor of sociology at State University of New York, Stony Brook; Stephen Cole (writer) (born 1971), author of children's books and science fiction; Stephen V. Cole, American game designer; Steven Cole (tenor ...