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 DFG bewilligt drei neue Forschergruppen und eine neue Klinische Forschergruppe
22.09.2017 | Deutsche Forschungsgemeinschaft (DFG)

nachricht Millionen für die Krebsforschung
20.09.2017 | Julius-Maximilians-Universität Würzburg

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: Die schnellste lichtgetriebene Stromquelle der Welt

Die Stromregelung ist eine der wichtigsten Komponenten moderner Elektronik, denn über schnell angesteuerte Elektronenströme werden Daten und Signale übertragen. Die Ansprüche an die Schnelligkeit der Datenübertragung wachsen dabei beständig. In eine ganz neue Dimension der schnellen Stromregelung sind nun Wissenschaftler der Lehrstühle für Laserphysik und Angewandte Physik an der Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) vorgedrungen. Ihnen ist es gelungen, im „Wundermaterial“ Graphen Elektronenströme innerhalb von einer Femtosekunde in die gewünschte Richtung zu lenken – eine Femtosekunde entspricht dabei dem millionsten Teil einer milliardstel Sekunde.

Der Trick: die Elektronen werden von einer einzigen Schwingung eines Lichtpulses angetrieben. Damit können sie den Vorgang um mehr als das Tausendfache im...

Im Focus: The fastest light-driven current source

Controlling electronic current is essential to modern electronics, as data and signals are transferred by streams of electrons which are controlled at high speed. Demands on transmission speeds are also increasing as technology develops. Scientists from the Chair of Laser Physics and the Chair of Applied Physics at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) have succeeded in switching on a current with a desired direction in graphene using a single laser pulse within a femtosecond ¬¬ – a femtosecond corresponds to the millionth part of a billionth of a second. This is more than a thousand times faster compared to the most efficient transistors today.

Graphene is up to the job

Im Focus: LaserTAB: Effizientere und präzisere Kontakte dank Roboter-Kollaboration

Auf der diesjährigen productronica in München stellt das Fraunhofer-Institut für Lasertechnik ILT das Laser-Based Tape-Automated Bonding, kurz LaserTAB, vor: Die Aachener Experten zeigen, wie sich dank neuer Optik und Roboter-Unterstützung Batteriezellen und Leistungselektronik effizienter und präziser als bisher lasermikroschweißen lassen.

Auf eine geschickte Kombination von Roboter-Einsatz, Laserscanner mit selbstentwickelter neuer Optik und Prozessüberwachung setzt das Fraunhofer ILT aus Aachen.

Im Focus: LaserTAB: More efficient and precise contacts thanks to human-robot collaboration

At the productronica trade fair in Munich this November, the Fraunhofer Institute for Laser Technology ILT will be presenting Laser-Based Tape-Automated Bonding, LaserTAB for short. The experts from Aachen will be demonstrating how new battery cells and power electronics can be micro-welded more efficiently and precisely than ever before thanks to new optics and robot support.

Fraunhofer ILT from Aachen relies on a clever combination of robotics and a laser scanner with new optics as well as process monitoring, which it has developed...

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Im Spannungsfeld von Biologie und Modellierung

26.09.2017 | Veranstaltungen

Archaeopteryx, Klimawandel und Zugvögel: Deutsche Ornithologen-Gesellschaft tagt an der Uni Halle

26.09.2017 | Veranstaltungen

Unsere Arbeitswelt von morgen – Polarisierendes Thema beim 7. Unternehmertag der HNEE

26.09.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Europas erste Testumgebung für selbstfahrende Züge entsteht im Burgenland

26.09.2017 | Verkehr Logistik

Nerven steuern die Bakterienbesiedlung des Körpers

26.09.2017 | Biowissenschaften Chemie

Mit künstlicher Intelligenz zum chemischen Fingerabdruck

26.09.2017 | Biowissenschaften Chemie