Statements (78)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
gptkb:Alonzo_Church
|
| gptkbp:affiliation |
gptkb:Cornell_University
|
| gptkbp:awards |
Fellow_of_the_American_Academy_of_Arts_and_Sciences
Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:birthDate |
1932-01-27
|
| gptkbp:contribution |
Theory of set theory
Theory of category theory Theory of algorithms Theory of logic Theory of automata Theory of information theory Theory of artificial intelligence Theory of bioinformatics Theory of complexity Theory of computability Theory of computational art Theory of computational biology Theory of computational chemistry Theory of computational economics Theory of computational ethics Theory of computational finance Theory of computational law Theory of computational linguistics Theory of computational neuroscience Theory of computational philosophy Theory of computational physics Theory of computational social science Theory of computer graphics Theory of computer vision Theory of data structures Theory of databases Theory of distributed systems Theory of formal languages Theory of human-computer interaction Theory of lambda calculus Theory of logical frameworks Theory of machine learning Theory of model checking Theory of models Theory of natural language processing Theory of network theory Theory of operating systems Theory of programming languages Theory of proof assistants Theory of proof theory Theory of quantum computing Theory of recursion Theory of robotics Theory of semantics Theory of software engineering Theory of syntax Theory of type theory Theory of verification |
| gptkbp:field |
Computer Science
Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Anil Nerode
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
gptkb:John_von_Neumann |
| gptkbp:knownFor |
Contributions to mathematical logic
Contributions to automata theory Nerode's_theorem Nerode_hierarchy Nerode_relations |
| gptkbp:nationality |
American
|
| gptkbp:notableFeature |
gptkb:Michael_O._Rabin
gptkb:Stephen_Cole_Kleene John_H._Reif Richard_E._Stearns Robert_M._Solovay |
| gptkbp:placeOfBirth |
gptkb:India
|
| gptkbp:placeOfDeath |
gptkb:United_States
|
| gptkbp:researchInterest |
Mathematical logic
Model theory Set theory Computability theory Formal languages |
| gptkbp:residence |
gptkb:Ithaca,_New_York
|