Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Forschungsprojekt: Unendlichkeit und Sprachen

10.04.2013
Der WWTF fördert mit 1.5 Millionen Euro eine neue Forschungsgruppe an der TU Wien: Stefan Hetzl will mathematische Beweise und Sprachtheorie miteinander verknüpfen.

In der Mathematik hat man es oft mit Unendlichkeiten zu tun. Trotzdem haben mathematische Bücher eine endliche Seitenanzahl. Wie kann man mit endlichen Ausdrücken über Unendliches reden? Damit beschäftigt sich die Beweistheorie, ein Teilgebiet der Logik, das der Mathematiker Stefan Hetzl von der TU Wien (Institut für Diskrete Mathematik und Geometrie) mit der Theorie formaler Sprachen verbinden will.

Aus dieser Verknüpfung sollen wichtige neue Ergebnisse für die Informatik gewonnen werden – denn auch dort lauert die Unendlichkeit, etwa wenn man feststellen will, ob ein Computerprogramm mit jedem beliebigen Input aus unendlich vielen Möglichkeiten zurechtkommt.

Der Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) fördert das Forschungsprojekt von Stefan Hetzl nun im Rahmen des Programms „Vienna Research Groups for Young Investigators“ mit 1.5 Millionen Euro. Hetzl wird mit diesem Geld in den nächsten Jahren seine eigene Forschungsgruppe an der TU Wien aufbauen. „Meine Gruppe wird in den nächsten Jahren wohl hauptsächlich mit Papier und Bleistift arbeiten. Mit den Ergebnissen daraus werden wir uns dann auch in Richtung Anwendung bewegen“, kündigt Hetzl an.

Rückfragehinweis:
Dr. Stefan Hetzl
Institut für Diskrete Mathematik und Geometrie
Technische Universität Wien
Wiedner Hauptstraße 8-10
T: +43-1-58801-104262
stefan.hetzl@tuwien.ac.at

Aussender:
Dr. Florian Aigner
Büro für Öffentlichkeitsarbeit
Technische Universität Wien
Operngasse 11, 1040 Wien
T: +43-1-58801-41027
florian.aigner@tuwien.ac.at
Weitere Informationen:
http://www.tuwien.ac.at/aktuelles/news_detail/article/8132/
Ausführlicherer Artikel über den wissenschaftlichen Hintergrund des Forschungsprojektes

Dr. Florian Aigner | Technische Universität Wien
Weitere Informationen:
http://www.tuwien.ac.at

Weitere Berichte zu: Forschungsgruppe Hetzl Mathematik Unendlichkeit WWTF

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht BRIESE-Preis 2016: Intelligente automatisierte Bildanalyse erschließt Geheimnisse am Meeresgrund
20.01.2017 | Leibniz-Institut für Ostseeforschung Warnemünde

nachricht Niederlande: Intelligente Lösungen für Bahn und Stahlindustrie werden gefördert
20.01.2017 | University of Twente

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: Innovatives Hochleistungsmaterial: Biofasern aus Florfliegenseide

Neuartige Biofasern aus einem Seidenprotein der Florfliege werden am Fraunhofer-Institut für Angewandte Polymerforschung IAP gemeinsam mit der Firma AMSilk GmbH entwickelt. Die Forscher arbeiten daran, das Protein in großen Mengen biotechnologisch herzustellen. Als hochgradig biegesteife Faser soll das Material künftig zum Beispiel in Leichtbaukunststoffen für die Verkehrstechnik eingesetzt werden. Im Bereich Medizintechnik sind beispielsweise biokompatible Seidenbeschichtungen von Implantaten denkbar. Ein erstes Materialmuster präsentiert das Fraunhofer IAP auf der Internationalen Grünen Woche in Berlin vom 20.1. bis 29.1.2017 in Halle 4.2 am Stand 212.

Zum Schutz des Nachwuchses vor bodennahen Fressfeinden lagern Florfliegen ihre Eier auf der Unterseite von Blättern ab – auf der Spitze von stabilen seidenen...

Im Focus: Verkehrsstau im Nichts

Konstanzer Physiker verbuchen neue Erfolge bei der Vermessung des Quanten-Vakuums

An der Universität Konstanz ist ein weiterer bedeutender Schritt hin zu einem völlig neuen experimentellen Zugang zur Quantenphysik gelungen. Das Team um Prof....

Im Focus: Traffic jam in empty space

New success for Konstanz physicists in studying the quantum vacuum

An important step towards a completely new experimental access to quantum physics has been made at University of Konstanz. The team of scientists headed by...

Im Focus: Textiler Hochwasserschutz erhöht Sicherheit

Wissenschaftler der TU Chemnitz präsentieren im Februar und März 2017 ein neues temporäres System zum Schutz gegen Hochwasser auf Baumessen in Chemnitz und Dresden

Auch die jüngsten Hochwasserereignisse zeigen, dass vielerorts das natürliche Rückhaltepotential von Uferbereichen schnell erschöpft ist und angrenzende...

Im Focus: Wie Darmbakterien krank machen

HZI-Forscher entschlüsseln Infektionsmechanismen von Yersinien und Immunantworten des Wirts

Yersinien verursachen schwere Darminfektionen. Um ihre Infektionsmechanismen besser zu verstehen, werden Studien mit dem Modellorganismus Yersinia...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Mittelstand 4.0 – Mehrwerte durch Digitalisierung: Hintergründe, Beispiele, Lösungen

20.01.2017 | Veranstaltungen

Nachhaltige Wassernutzung in der Landwirtschaft Osteuropas und Zentralasiens

19.01.2017 | Veranstaltungen

Künftige Rohstoffexperten aus aller Welt in Freiberg zur Winterschule

18.01.2017 | Veranstaltungen

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

21.500 Euro für eine grüne Zukunft – Unserer Umwelt zuliebe

20.01.2017 | Unternehmensmeldung

innovations-report im Interview mit Rolf-Dieter Lafrenz, Gründer und Geschäftsführer der Hamburger Start ups Cargonexx

20.01.2017 | Unternehmensmeldung

Niederlande: Intelligente Lösungen für Bahn und Stahlindustrie werden gefördert

20.01.2017 | Förderungen Preise