Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Ulrich Kohlenbach erhält den mit 100.000 Euro dotierten Forschungspreis der Kurt-Gödel-Gesellschaft

28.04.2011
Ein neuer Blickwinkel liefert oft neue Ergebnisse. Das macht sich Ulrich Kohlenbach, Professor am Fachbereich Mathematik der TU Darmstadt erfolgreich zu nutze. Er formuliert mathematische Beweise aus der Sicht des Logikers um und legt so neue, stärkere Aussagen frei. Für seine exzellente Arbeit ehren ihn die Kurt-Gödel-Gesellschaft und die John Templeton Foundation am Abend in Wien mit dem Kurt-Gödel-Forschungspreis. Mit einem Preisgeld von 100.000 Euro ist es der höchstdotierte Preis für Logik.

„Viele Beweise in der Mathematik verwenden komplizierte Prinzipien. Oft ist es unmöglich, effektive Schranken oder andere Daten direkt aus dem Beweis abzulesen“, sagt Professor Ulrich Kohlenbach vom Fachbereich Mathematik der TU Darmstadt. Um neue Informationen aus den Beweisen zu gewinnen, nutzt er Beweisinterpretationen. „Ich formuliere den Beweis so um, dass der endliche kombinatorische Kern freigelegt wird“, erläutert Kohlenbach. „Proof Mining“ heißt das Verfahren.

Beweise mit neuen und stärkeren Aussagen

Am Ende der Arbeit steht der Beweis einer neuen, stärkeren Aussage. Dieser Beweis ist auch ohne Kenntnis der angewandten logischen Methoden verständlich. Er kann daher in den einschlägigen Zeitschriften des jeweiligen Anwendungsgebiets veröffentlicht werden. Kohlenbach und seine Mitarbeiter haben schon zahlreiche Arbeiten in mathematischen Zeitschriften wie „Nonlinear Analysis“ oder „Ergodic Theory and Dynamical Systems“ veröffentlicht, die normalerweise keine Ergebnisse der Logik drucken.

Kohlenbachs Forschung zielt auf Anwendungen der Logik innerhalb der Mathematik. „Es geht mir um Erkenntnisgewinn bezüglich grundlagentheoretischer Fragen wie der Anwendbarkeit infinitärer mengentheoretischer Prinzipien zum Beweis finiter kombinatorischer Aussagen“, sagt er. Die Logik spielt auch in der Informatik eine große Rolle, etwa in der künstlichen Intelligenz, bei automatischen Beweisen oder in der Semantik funktionaler Programmiersprachen. So wurden schon Beweisinterpretationen implementiert, um Software automatisch zu verifizieren.

Auf den Spuren Kurt Gödels

Die beweistheoretischen Methoden, die Kohlenbach verwendet, haben ihren Ursprung in der Funktionalinterpretation, die der Mathematiker Kurt Gödel 1958 formuliert hat. Georg Kreisel, Gödels Kollege, hatte schon damals die Idee, beweistheoretische Techniken innerhalb der Mathematik anzuwenden. Aus dieser Idee entwickelte Kohlenbach ab 1990 das systematische Forschungsprogramm Proof Mining.

Kohlenbach hat das Prinzip auf viele Bereiche der Mathematik ausgedehnt. So lieferten seine Methoden neue Resultate in nichtlinearer Analysis, Fixpunkttheorie und Approximationstheorie. Ferner gelang es, mit Proof Mining allgemeine logische Meta-Theoreme zu beweisen. Diese Theoreme garantieren zum Beispiel, dass sich für große Klassen von Beweisen a priori explizite Schranken ableiten lassen. Für seine herausragende Arbeit wird Kohlenbach am Abend in Wien mit dem Forschungspreis der österreichischen Kurt-Gödel-Gesellschaft geehrt. Die US-amerikanische John Templeton Foundation stattet den Preis mit 100.000 Euro Preisgeld aus.

Die Kurt Gödel Gesellschaft wurde 1987 gegründet. Die internationale Gesellschaft hat ihren Sitz in Wien. Sie fördert die Forschung zur Geschichte der Mathematik, die im Zusammenhang mit der Biografie von Kurt Gödels steht, sowie die Forschung in allen Bereichen, in denen Gödel Beiträge leistete, insbesondere in der Mathematik, Physik, Theologie und Philosophie. Der Mathematiker Kurt Gödel wäre heute 105 Jahre alt geworden.

Jörg Feuck | idw
Weitere Informationen:
http://www.tu-darmstadt.de/

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Wirtschaftsmagazin Capital: Platz 1 für wohngesundes Bauen geht an das Ökohaus-Unternehmen Baufritz
18.06.2018 | Bau-Fritz GmbH & Co. KG, seit 1896

nachricht Muskelaufbau im Computer: Internationales Team will Entstehung von Myofibrillen enträtseln
13.06.2018 | Technische Universität Dresden

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: AchemAsia 2019 in Shanghai

Die AchemAsia geht in ihr viertes Jahrzehnt und bricht auf zu neuen Ufern: Das International Expo and Innovation Forum for Sustainable Chemical Production findet vom 21. bis 23. Mai 2019 in Shanghai, China statt. Gleichzeitig erhält die Veranstaltung ein aktuelles Profil: Die elfte Ausgabe fokussiert auf Themen, die für Chinas Prozessindustrie besonders relevant sind, und legt den Schwerpunkt auf Nachhaltigkeit und Innovation.

1989 wurde die AchemAsia als Spin-Off der ACHEMA ins Leben gerufen, um die Bedürfnisse der sich damals noch entwickelnden Iindustrie in China zu erfüllen. Seit...

Im Focus: AchemAsia 2019 will take place in Shanghai

Moving into its fourth decade, AchemAsia is setting out for new horizons: The International Expo and Innovation Forum for Sustainable Chemical Production will take place from 21-23 May 2019 in Shanghai, China. With an updated event profile, the eleventh edition focusses on topics that are especially relevant for the Chinese process industry, putting a strong emphasis on sustainability and innovation.

Founded in 1989 as a spin-off of ACHEMA to cater to the needs of China’s then developing industry, AchemAsia has since grown into a platform where the latest...

Im Focus: Li-Fi erstmals für das industrielle Internet der Dinge getestet

Mit einer Abschlusspräsentation im BMW Werk München wurde das BMBF-geförderte Projekt OWICELLS erfolgreich abgeschlossen. Dabei wurde eine Li-Fi Kommunikation zu einem mobilen Roboter in einer 5x5m² Fertigungszelle demonstriert, der produktionsübliche Vorgänge durchführt (Teile schweißen, umlegen und prüfen). Die robuste, optische Drahtlosübertragung beruht auf räumlicher Diversität, d.h. Daten werden von mehreren LEDs und mehreren Photodioden gleichzeitig gesendet und empfangen. Das System kann Daten mit mehr als 100 Mbit/s und fünf Millisekunden Latenz übertragen.

Moderne Produktionstechniken in der Automobilindustrie müssen flexibler werden, um sich an individuelle Kundenwünsche anpassen zu können. Forscher untersuchen...

Im Focus: First real-time test of Li-Fi utilization for the industrial Internet of Things

The BMBF-funded OWICELLS project was successfully completed with a final presentation at the BMW plant in Munich. The presentation demonstrated a Li-Fi communication with a mobile robot, while the robot carried out usual production processes (welding, moving and testing parts) in a 5x5m² production cell. The robust, optical wireless transmission is based on spatial diversity; in other words, data is sent and received simultaneously by several LEDs and several photodiodes. The system can transmit data at more than 100 Mbit/s and five milliseconds latency.

Modern production technologies in the automobile industry must become more flexible in order to fulfil individual customer requirements.

Im Focus: ALMA entdeckt Trio von Baby-Planeten rund um neugeborenen Stern

Neuartige Technik, um die jüngsten Planeten in unserer Galaxis zu finden

Zwei unabhängige Astronomenteams haben mit ALMA überzeugende Belege dafür gefunden, dass sich drei junge Planeten im Orbit um den Säuglingsstern HD 163296...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

LymphomKompetenz KOMPAKT: Neues vom EHA2018

19.06.2018 | Veranstaltungen

Simulierter Eingriff am virtuellen Herzen

18.06.2018 | Veranstaltungen

Künstliche Intelligenz – Schafft der Mensch seine Arbeit ab?

15.06.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

LymphomKompetenz KOMPAKT: Neues vom EHA2018

19.06.2018 | Veranstaltungsnachrichten

Überdosis Calcium

19.06.2018 | Medizin Gesundheit

Lasertests unter Tiefsee-Bedingungen am LZH

19.06.2018 | Materialwissenschaften

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics