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 ...
Numerous results in recursion theory were obtained in the 1940s by Stephen Cole Kleene and Emil Leon Post. Kleene [36] introduced the concepts of relative computability, foreshadowed by Turing, [37] and the arithmetical hierarchy. Kleene later generalized recursion theory to higher-order functionals.
An illustration of how the levels of the hierarchy interact and where some basic set categories lie within it. In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain sets based on the complexity of formulas that define them.
1956 saw the publication of Automata Studies, which collected work by scientists including Claude Shannon, W. Ross Ashby, John von Neumann, Marvin Minsky, Edward F. Moore, and Stephen Cole Kleene. [4] With the publication of this volume, "automata theory emerged as a relatively autonomous discipline". [5]
Computability theory originated in the 1930s, with the work of Kurt Gödel, Alonzo Church, Rózsa Péter, Alan Turing, Stephen Kleene, and Emil Post. [3] [b]The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.
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 ...
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.
Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic" (Kleene 1952, p. 59). An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system.