Properties (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:appliesTo |
formal systems
|
| gptkbp:description |
a property of certain functions
|
| gptkbp:has_implications_for |
recursive functions
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ackerman's theorem
|
| gptkbp:is_a |
a non-constructive proof
|
| gptkbp:is_a_subject_of |
theoretical computer science
philosophy of mathematics mathematical research the field of logic |
| gptkbp:is_essential_for |
the hierarchy of functions
the study of decidability |
| gptkbp:is_studied_in |
logicians
|
| gptkbp:is_used_in |
academic papers
mathematical logic the context of model theory the limits of provability |
| gptkbp:isConnectedTo |
the_Ackermann_function
|
| gptkbp:previousName |
gptkb:Wilhelm_Ackermann
|
| gptkbp:related_to |
gptkb:Gödel's_incompleteness_theorems
the concept of infinity computability theory |
| gptkbp:suitableFor |
algorithm analysis
|
| gptkbp:was_a_result_of |
set theory
|