Stephen Kleene
E148433
UNEXPLORED
Stephen Kleene was an American mathematician and logician who made foundational contributions to recursion theory and the theory of computation, helping to formalize concepts of computability and influence modern computer science.
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Church–Turing thesis
→
|
associatedWith |
|
Alonzo Church
→
|
influenced |
|
Alonzo Church
→
|
notableStudent |