Kleene
E601577
algebraic structure
classification of arithmetical sets
human
many-valued logic system
mathematician
operation on formal languages
surname
theorem in recursion theory
Kleene is a surname most notably associated with American mathematician Stephen Kleene, a pioneer in recursion theory and mathematical logic.
Observed surface forms (7)
| Surface form | Occurrences |
|---|---|
| Stephen Cole Kleene | 0 |
| Kleene algebra | 0 |
| Kleene hierarchy | 0 |
| Kleene star | 0 |
| Kleene’s recursion theorem | 0 |
| Kleene’s strong three-valued logic | 0 |
| Kleene’s weak three-valued logic | 0 |
Statements (29)
| Predicate | Object |
|---|---|
| instanceOf |
algebraic structure
ⓘ
classification of arithmetical sets ⓘ human ⓘ many-valued logic system ⓘ mathematician ⓘ operation on formal languages ⓘ surname ⓘ theorem in recursion theory ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| fieldOfWork |
mathematical logic
ⓘ
recursion theory ⓘ theoretical computer science ⓘ |
| hasNotableBearer | Stephen Cole Kleene NERFINISHED ⓘ |
| influenced |
development of automata theory
ⓘ
development of computability theory ⓘ |
| namedAfter |
Stephen Cole Kleene
NERFINISHED
ⓘ
Stephen Cole Kleene NERFINISHED ⓘ Stephen Cole Kleene NERFINISHED ⓘ Stephen Cole Kleene NERFINISHED ⓘ Stephen Cole Kleene NERFINISHED ⓘ Stephen Cole Kleene NERFINISHED ⓘ |
| notableFor |
Kleene algebra
NERFINISHED
ⓘ
Kleene hierarchy NERFINISHED ⓘ Kleene star in formal language theory NERFINISHED ⓘ Kleene’s recursion theorems NERFINISHED ⓘ Kleene’s strong three-valued logic NERFINISHED ⓘ Kleene’s weak three-valued logic NERFINISHED ⓘ contributions to mathematical logic ⓘ foundational work in recursion theory ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.