NachwuchswettbewerbSieger von 'Jugend forscht 2018' gekürt
Die Gewinner des Bundesfinales von 'Jugend forscht 2018' stehen fest: Ende Mai zeichnete Bundesbildungsministerin Anja Karliczek die Talente aus. Die Sieger aus Technik, Informatik, Geo- und Raumwissenschaften und Physik samt Sonderpreisträger in einer Bilderstrecke.
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 die drei Schüler Benedikt Stock, Abhik Pal und Marco David 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.