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...
15 KB (1,354 words) - 21:26, 26 May 2024
lattice theory, the Kleene fixed-point theorem, named after American mathematician Stephen Cole Kleene, states the following: Kleene Fixed-Point Theorem...
6 KB (928 words) - 15:06, 31 May 2024
Regular language (redirect from Kleene's theorem)
expressions and finite automata is known as Kleene's theorem (after American mathematician Stephen Cole Kleene). In the Chomsky hierarchy, regular languages...
29 KB (3,414 words) - 16:57, 11 July 2024
In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed...
16 KB (1,914 words) - 01:56, 29 June 2024
expressions began in the 1950s, when the American mathematician Stephen Cole Kleene formalized the concept of a regular language. They came into common...
100 KB (8,963 words) - 03:34, 25 June 2024
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...
8 KB (1,207 words) - 12:24, 5 June 2023
Arithmetical hierarchy (redirect from Kleene hierarchy)
arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain...
25 KB (4,582 words) - 20:13, 1 April 2024
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...
7 KB (930 words) - 02:51, 5 December 2021
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...
7 KB (1,013 words) - 16:52, 18 July 2023
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...
4 KB (126 words) - 14:11, 12 July 2024