Partielle Berechenbarkeit

Weitere unlösbare Probleme• Natürlich gibt es einige einfache Programme, für die das Halteproblemeinfach zu entscheiden ist.• Der oben angegebene Beweis sagt lediglich, dass es im Allgemeinenunentscheidbar ist.• Ein bekanntes Beispiel für unentscheidbare Probleme aus derMathematik sind die so genannten diophantischen Gleichungen.• Eine diophantische Gleichung ist eine Gleichung der Formwobei P ein Polynom mit ganzzahligen Koeffizienten über den Variablenx,y,... ist.• Ein typisches Beispiel für eine diophantische Gleichung ist14.16