Hilbert meets Isabelle

2018 | Mathematik/Informatik | Bremen

Teilnehmende

  • Marco David (17, rechts), Bremen
    Jacobs University Bremen
  • Benedikt Stock (19, links), Bremen
    Jacobs University Bremen
  • Abhik Pal (19, Mitte), Bremen
    Jacobs University Bremen

Preise

  • Preis für eine außergewöhnliche Arbeit gestiftet vom Bundespräsidenten Frank-Walter Steinmeier - Bundessieg
  • Einladung zum 30. European Union Contest for Young Scientists in Dublin, Irland gestiftet von der Europäischen Kommission
  • Europa-Preis für Teilnehmer am European Union Contest for Young Scientists in Dublin, Irland gestiftet von der Deutschen Forschungsgemeinschaft
  • Preis für eine außergewöhnliche mathematische Arbeit gestiftet von der Deutschen Mathematiker-Vereinigung e. V.

Projekt

Trickreicher Computerbeweis

Hilbert meets Isabelle

Der 8. August 1900 gilt unter Mathematikern als besonderes Datum: Auf einem Kongress hatte das mathematische Genie David Hilbert die 23 drängendsten Probleme seines Fachgebiets vorgestellt und die weitere Forschung damit nachhaltig beeinflusst. In ihrem Projekt haben sich Marco David, Benedikt Stock und Abhik Pal des Problems Nummer 10 angenommen. Nach Hilbert galt es dabei herauszufinden, ob ein bestimmter Gleichungstyp – die sogenannte diophantische Gleichung – stets eine Lösung besitzt. Bereits 1970 bewies ein russischer Mathematiker, dass dies unmöglich ist. Den drei Jungforschern ist es nun gelungen, diesen hochkomplexen und schwer zu führenden Beweis per Computer nachzuvollziehen – und zwar mithilfe von „Isabelle“, einer raffinierten Software zur mathematischen Beweisführung.

 

  •  2 Klicks für mehr Datenschutz: Erst wenn Sie den Schalter aktivieren, wird der Button aktiv und Sie können Ihre Empfehlung an ShareNetwork senden. Schon beim Aktivieren werden Daten an Dritte übertragen.
  •  
  •  
  •  
  • Zum Seitenanfang

Cookie-Einstellungen

Wir nutzen Cookies, um Ihnen die bestmögliche Nutzung unserer Webseite zu ermöglichen und unsere Kommunikation mit Ihnen zu verbessern. Wir berücksichtigen Ihre Auswahl und verwenden nur die Daten, für die Sie uns Ihr Einverständnis geben.

Diese Cookies helfen dabei, unsere Webseite nutzbar zu machen, indem sie Grundfunktionen wie Seitennavigation und Zugriffe auf sichere Bereiche ermöglichen. Unsere Webseite kann ohne diese Cookies nicht richtig funktionieren.

Diese Cookies helfen uns zu verstehen, wie Besucher mit unserer Webseite interagieren, indem Informationen anonym gesammelt werden. Mit diesen Informationen können wir unser Angebot laufend verbessern.