Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Walter_J._Mc_Carthy
|
| gptkbp:applies_to |
computability theory
|
| gptkbp:established |
the existence of computable functions
|
| gptkbp:has_programs |
formal verification
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mc Carthy's theorem
|
| gptkbp:influenced |
the development of Lisp programming language
|
| gptkbp:is_associated_with |
gptkb:Mc_Carthy_91
|
| gptkbp:is_cited_in |
numerous academic papers
|
| gptkbp:is_considered |
a fundamental result in logic
|
| gptkbp:is_discussed_in |
textbooks on computability
|
| gptkbp:is_essential_for |
gptkb:Artificial_Intelligence
|
| gptkbp:is_part_of |
the foundation of computer science
|
| gptkbp:is_related_to |
gptkb:Church-Turing_thesis
|
| gptkbp:is_used_in |
gptkb:language
|
| gptkbp:named_after |
gptkb:John_W._Mc_Carthy
|
| gptkbp:proposed_by |
gptkb:John_W._Mc_Carthy
|
| gptkbp:related_to |
recursive functions
|