Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:claims |
undecidability of certain logical statements
|
| gptkbp:designedBy |
gptkb:Martin_Davis
|
| gptkbp:has_implications_for |
Diophantine_equations
|
| https://www.w3.org/2000/01/rdf-schema#label |
Davis's theorem
|
| gptkbp:is_essential_for |
computability theory
|
| gptkbp:is_used_in |
the field of theoretical computer science
research on decidability |
| gptkbp:isConnectedTo |
recursive functions
|
| gptkbp:related_to |
gptkb:Hilbert's_tenth_problem
|
| gptkbp:was_a_result_of |
mathematical logic
|