Properties (36)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
Logician Mathematician |
| gptkbp:academicAdvisor |
gptkb:Alonzo_Church
|
| gptkbp:almaMater |
gptkb:University_of_Chicago
|
| gptkbp:awards |
gptkb:National_Medal_of_Science
Fellow_of_the_American_Mathematical_Society Fellow_of_the_American_Academy_of_Arts_and_Sciences Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:birthDate |
1909-01-05
|
| gptkbp:deathDate |
1994-01-25
|
| gptkbp:field |
Computer Science
Logic Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Stephen C. Kleene
|
| gptkbp:influenced |
gptkb:John_McCarthy
gptkb:Michael_O._Rabin gptkb:Robert_W._Floyd |
| gptkbp:influencedBy |
gptkb:Alonzo_Church
gptkb:Gottlob_Frege gptkb:David_Hilbert |
| gptkbp:knownFor |
Regular expressions
Kleene_algebra Kleene_star |
| gptkbp:notableFeature |
gptkb:John_McCarthy
gptkb:Robert_W._Floyd |
| gptkbp:work |
gptkb:Formal_Languages
Mathematical Logic Automata Theory Computability Theory Theory of Computation Theory of Recursive Functions Mathematical_Foundations_of_Computer_Science Mathematical_Logic_and_Computability Introduction_to_Metamathematics Mathematical_Theory_of_Automata |