|
gptkbp:instance_of
|
gptkb:Mathematician
gptkb:Computer_Scientist
|
|
gptkbp:academic_advisor
|
gptkb:Alonzo_Church
|
|
gptkbp:alma_mater
|
gptkb:Princeton_University
gptkb:University_of_Wisconsin-Madison
|
|
gptkbp:awards
|
gptkb:National_Medal_of_Science
Fellow of the Association for Computing Machinery
Fellow of the American Academy of Arts and Sciences
Fellow of the American Mathematical Society
|
|
gptkbp:birth_date
|
1909-01-05
|
|
gptkbp:children
|
gptkb:David_Kleene
gptkb:Robert_Kleene
|
|
gptkbp:death_date
|
1994-01-25
|
|
gptkbp:field
|
gptkb:computer_science
gptkb:Mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Stephen Cole Kleene
|
|
gptkbp:inception
|
gptkb:1930
|
|
gptkbp:influenced
|
gptkb:David_Parnas
gptkb:John_von_Neumann
gptkb:Alan_Turing
gptkb:John_Hopcroft
gptkb:Edsger_W._Dijkstra
gptkb:Andrew_Yao
gptkb:Leslie_Valiant
gptkb:Peter_G._Neumark
gptkb:Robert_W._Floyd
gptkb:J._Strother_Moore
gptkb:Dr._Stephen_Wolfram
gptkb:Michael_Rabin
gptkb:Barbara_Liskov
gptkb:John_W._Mc_Carthy
gptkb:Donald_Knuth
|
|
gptkbp:known_for
|
computability theory
formal languages
automata theory
lambda calculus
Kleene star
Kleene algebra
recursion theory
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notable_work
|
Mathematical Logic
Finite State Machines
Mathematical Theory of Automata
Theory of Recursive Functions and Effective Computability
|
|
gptkbp:place_of_birth
|
gptkb:Hartford,_Connecticut
|
|
gptkbp:place_of_death
|
gptkb:Madison,_Wisconsin
|
|
gptkbp:spouse
|
gptkb:Ruth_Kleene
|
|
gptkbp:bfsParent
|
gptkb:Alfred_Tarski
|
|
gptkbp:bfsLayer
|
4
|