Properties (47)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:hasAffiliation |
gptkb:Stanford_University
|
| gptkbp:hasAwards |
Turing Award
|
| gptkbp:hasBirthDate |
1927-09-09
|
| gptkbp:hasCharacter |
gptkb:John_von_Neumann
|
| gptkbp:hasContribution |
gptkb:McCarthy's_theorem
|
| gptkbp:hasFeature |
gptkb:Richard_M._Karp
gptkb:Marvin_Minsky gptkb:John_McCarthy_Jr. gptkb:Peter_G._Neumark |
| gptkbp:hasFieldOfUse |
Mathematics
|
| gptkbp:hasInfluenceOn |
Artificial Intelligence
Cognitive Science Computer Science Machine Learning Natural Language Processing Neuroscience Robotics Software Engineering Cybernetics Information Theory Systems Theory Philosophy of Mind AI Ethics AI Research AI Safety Ethics in AI AI Governance AI Policy AI Regulation Data_Science Human-Computer_Interaction Philosophy_of_Technology |
| gptkbp:hasNationality |
American
|
| gptkbp:hasNotableWork |
Recursive functions of symbolic expressions
|
| gptkbp:hasOccupation |
Mathematician
|
| gptkbp:hasPriorityDate |
2011-10-23
|
| gptkbp:hasPublications |
Programs with Common Sense
LISP programming language A Basis for a Mathematical Theory of Computation The_Philosophy_of_Artificial_Intelligence The_Future_of_AI |
| gptkbp:hasResearchInterest |
Artificial Intelligence
Logic Mathematical Logic Computer_Programming |
| https://www.w3.org/2000/01/rdf-schema#label |
Jacob J. McCarthy
|