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 ...
Regular expressions originated in 1951, when mathematician Stephen Cole Kleene described regular languages using his mathematical notation called regular events. [ 6 ] [ 7 ] These arose in theoretical computer science , in the subfields of automata theory (models of computation) and the description and classification of formal languages ...
In 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 represent computable functions within formal theories of arithmetic.
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]
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.
Mathematician Stephen Cole Kleene 1930, helped lay foundations for theoretical computer science; Chemist William Summer Johnson 1936, among the world's leading synthetic organic chemists; American historian, professor, and activist H. Stuart Hughes 1937; Historian John Whitney Hall 1939, pioneer in field of Japanese studies, authority on pre ...
From Wikipedia, the free encyclopedia. ... Stephen Cole Kleene; This page is a redirect. The following categories are used to track and monitor this redirect:
Stephen Cole Kleene described the result as "not a paradox in the sense of outright contradiction, but rather a kind of anomaly". [33] After surveying Skolem's argument that the result is not contradictory, Kleene concluded: "there is no absolute notion of countability". [33] Geoffrey Hunter described the contradiction as "hardly even a paradox ...