Properties (65)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:claims |
gptkb:Alonzo_Church
gptkb:Alan_Turing |
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:hasFacility |
no
|
| https://www.w3.org/2000/01/rdf-schema#label |
Entscheidungsproblem
|
| gptkbp:isA |
logical paradox
problem in computer science mathematical conjecture philosophical problem theoretical construct computational problem decision problem logical problem problem in set theory problem in formal logic problem in logic mathematical inquiry abstract problem algorithmic problem computational theory problem formal problem historical problem problem in algebra problem in algorithmic theory problem in analysis problem in applied mathematics problem in category theory problem in combinatorics problem in computability problem in decidability problem in discrete mathematics problem in formal systems problem in geometry problem in mathematical biology problem in mathematical economics problem in mathematical education problem in mathematical engineering problem in mathematical finance problem in mathematical foundations problem in mathematical history problem in mathematical logic problem in mathematical philosophy problem in mathematical physics problem in mathematical statistics problem in mathematics problem in model theory problem in number theory problem in philosophy problem in proof theory problem in theoretical computer science problem in topology theoretical question undecidable problem |
| gptkbp:isAssociatedWith |
gptkb:Hilbert's_problems
|
| gptkbp:isConsidered |
mathematical logic
|
| gptkbp:isDiscussedIn |
philosophy of mathematics
|
| gptkbp:isExploredIn |
theoretical computer science
|
| gptkbp:isImportantFor |
computability theory
|
| gptkbp:isInfluencedBy |
mathematical logic
|
| gptkbp:isRelatedTo |
gptkb:Gödel's_incompleteness_theorems
Turing machines lambda calculus |
| gptkbp:relatedTo |
first-order logic
decidability |