News - Nordrhein-Westfalen - Regional - aktuelle Entwicklungen und Hintergründe
Wissenschaft: Fördermittel für Mathematik in Bonn
Bonn () – Zwei Bonner Mathematiker erhalten 6,4 Millionen Euro vom Europäischen Forschungsrat, um mathematische Beweise künftig durch Computer überprüfen zu lassen. Christoph Thiele und Floris van Doorn von der Universität Bonn wollen mit dem Projekt HALF in den nächsten sechs Jahren grundlegende Probleme der harmonischen Analyse erforschen und diese in der Programmiersprache Lean formalisieren, wie die Hochschule mitteilte.
Laut Thiele ist es zwar prinzipiell möglich, mathematische Beweise so aufzubereiten, dass Computer sie verifizieren können, aber der Aufwand sei bei Forschungsergebnissen noch zu hoch.
Das Projekt soll dazu beitragen, diesen Prozess zu beschleunigen und zu vereinfachen. Van Doorn betonte, dass solche Formaliserungen auch für künftige KI-Anwendungen wichtig seien, um automatisch generierte Beweise überprüfen zu können.
Bereits im vergangenen Jahr hatten die Forscher in einem Pilotprojekt erfolgreich ein neues Ergebnis der harmonischen Analyse sowie einen klassischen Beweis aus dem Jahr 1966 formalisiert.
Für HALF sind nun feste Stellen in der Forschungsgruppe vorgesehen, nachdem das Pilotprojekt noch mithilfe freiwilliger Helfer aus der internationalen Lean-Community umgesetzt werden konnte.
Bist du ein guter Leser? 👍
Welcher Begriff kam im Artikel vor?
Bist du ein guter Leser? 👍
Welcher Begriff kam im Artikel vor?
Bist du ein guter Leser? 👍
Welcher Begriff kam im Artikel vor?
Bist du gut in Tic Tac Toe? 👍
Spielername und geheimes Wort gehören zusammen. Das Captcha wird nur beim ersten autorisierten Spiel für diese Kombination in diesem Browser abgefragt.
Top 3
| Platz | Name | Punkte | Siege |
|---|---|---|---|
| Lade Rangliste ... | |||
| Text-/Bildquelle: | Übermittelt durch www.dts-nachrichtenagentur.de |
| Bildhinweis: | Euroscheine (Archiv) |
Häufig gestellte Fragen (FAQ)
Wie heißen die Personen in diesem Beitrag?
Christoph Thiele, Floris van Doorn
Welche Organisationen oder Institutionen werden genannt?
Europäischer Forschungsrat, Universität Bonn, Hochschule Bonn, Lean-Community
Wann ist das Ereignis passiert?
Nicht erwähnt
Wo spielt die Handlung des Artikels?
Bonn
Worum geht es in einem Satz?
Zwei Bonner Mathematiker erhalten 6,4 Millionen Euro vom Europäischen Forschungsrat, um im Projekt HALF mathematische Beweise mithilfe von Computern zu überprüfen und grundlegende Probleme der harmonischen Analyse zu erforschen.
Was war der Auslöser für den Vorfall?
- Förderung von mathematischer Forschung durch den Europäischen Forschungsrat
- Ziel der Formalisierung mathematischer Beweise zur Computerüberprüfung
- Hoher Aufwand bei der Aufbereitung von Forschungsergebnissen für Computer
- Notwendigkeit der Formaliserungen für zukünftige KI-Anwendungen
- Erfolgreiches Pilotprojekt mit neuem Ergebnis der harmonischen Analyse und klassischem Beweis
- Einrichtung fester Stellen in der Forschungsgruppe nach erfolgreichem Pilotprojekt
Wie hat die Öffentlichkeit oder Politik reagiert?
Die Reaktion von Politik, Öffentlichkeit oder Medien wird im Artikel nicht beschrieben.
Welche Konsequenzen werden genannt?
- Erhalt von 6,4 Millionen Euro Förderung
- Dauer des Projekts von sechs Jahren
- Erforschung grundlegender Probleme der harmonischen Analyse
- Formalisierung in der Programmiersprache Lean
- Beschleunigung und Vereinfachung des Verifizierungsprozesses von Beweisen
- Bedeutung für künftige KI-Anwendungen
- Festanstellung in der Forschungsgruppe
Gibt es bereits eine Stellungnahme?
Ja, im Artikel wird eine Stellungnahme von Christoph Thiele zitiert, in der er auf den hohen Aufwand der Verifikation mathematischer Beweise hinweist.
- Vollbrand einer Lkw-Zugmaschine auf A1 bei Schwelm - 30. Juli 2026
- Feuerwehr Gronau löscht Dachstuhlbrand in der Herzogstraße - 30. Juli 2026
- Brand eines Wohnhauses in Kastl – mehrere Personen verletzt - 30. Juli 2026
