Entscheidungsproblem für diophantische Gleichungen
GPTKB entity
Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematisches Problem
|
| gptkbp:describes |
die Frage nach der Existenz eines Algorithmus zur Entscheidung der Lösbarkeit diophantischer Gleichungen
|
| gptkbp:hasSubfield |
gptkb:Zahlentheorie
Mathematische Logik |
| https://www.w3.org/2000/01/rdf-schema#label |
Entscheidungsproblem für diophantische Gleichungen
|
| gptkbp:Jahr_der_Lösung |
1970
|
| gptkbp:Lösung |
unentscheidbar
|
| gptkbp:namedAfter |
gptkb:David_Hilbert
|
| gptkbp:relatedTo |
gptkb:Entscheidungsproblem
gptkb:Turingmaschine Rekursive Funktionen Unentscheidbarkeit |
| gptkbp:wurde_gelöst_von |
gptkb:Juri_Matijassewitsch
|
| gptkbp:تسمى_أيضا |
gptkb:Hilberts_zehntes_Problem
|
| gptkbp:bfsParent |
gptkb:Hilbert's_tenth_problem
|
| gptkbp:bfsLayer |
7
|