Diophantische Unentscheidbarkeit
Mathematik
Basiswissen
Man weiß nicht, ob eine Gleichung Lösungen hat oder nicht: diophantisch nennt man eine Gleichung, bei der ausschließlich natürliche Zahlen vorkommen. Es gibt diophantische Gleichungen, die unentscheidbar sind. Unentscheidbar heißt: es gibt kein Verfahren mit endlich vielen Schritten mit dem sich immer sicher sagen lässt, ob eine diophantische Gleichung eine Lösug hat. Siehe auch diophantische Gleichung ↗