WikiDer > Hilberts zehntes Problem
Es Hilberts zehntes Problem ist der zehnte auf der Liste der 23 Probleme von Hilbert Probleme, eine Agenda für die Mathematik des 20. Jahrhunderts, geschaffen 1900 vom deutschen Mathematiker David Hilbert ausgearbeitet wurde. Die Formulierung des zehnten Problems von Hilbert lautet wie folgt:
Gegeben sei eine diophantische Gleichung mit beliebig vielen Variablen und mit ganzzahligen Koeffizienten.
Entwickeln Sie eine Methode, um in endlich vielen Schritten zu bestimmen, ob es ganze Zahlen gibt, die die Gleichung erfüllen.[1]
EIN diophantische Gleichung ist ein Vergleich des Formulars
in welchem ein Polynom ist mit Integer Koeffizienten. Es hat viele Jahre gedauert, das Problem zu lösen. Die Antwort auf die gestellte Frage fiel negativ aus. Heute ist bekannt, dass es für den allgemeinen Fall keinen solchen Algorithmus gibt. Dieses Ergebnis ist die kombinierte Arbeit von Martin Davis, Yuri Matijasevich, Hilary Putnam und Julia Robinson.[2]
Externe Links
- (und) Hilberts zehntes Problem: eine Geschichte der mathematischen Entdeckung
- (und) Hilberts zehnte Problemseite!
Nüsse
- ↑(und) Zhi Wei SunUniversität Nanking, "Über Hilberts zehntes Problem und verwandte Themen" (pdf), 14. April 2000. Vortrag in Hongkong
- ↑S. Barry Cooper,Berechenbarkeitstheorie, S. 98