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 Schönheit der organischen Form in 3D
12.07.2018 | Technische Hochschule Nürnberg Georg Simon Ohm

nachricht Infektionen und Krebs: Welche Rolle spielen spezielle weiße Blutkörperchen?
06.07.2018 | Medizinische Hochschule Hannover

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: Future electronic components to be printed like newspapers

A new manufacturing technique uses a process similar to newspaper printing to form smoother and more flexible metals for making ultrafast electronic devices.

The low-cost process, developed by Purdue University researchers, combines tools already used in industry for manufacturing metals on a large scale, but uses...

Im Focus: Rostocker Forscher entwickeln autonom fahrende Kräne

Industriepartner kommen aus sechs Ländern

Autonom fahrende, intelligente Kräne und Hebezeuge – dieser Ingenieurs-Traum könnte in den nächsten drei Jahren zur Wirklichkeit werden. Forscher aus dem...

Im Focus: Superscharfe Bilder von der neuen Adaptiven Optik des VLT

Das Very Large Telescope (VLT) der ESO hat das erste Licht mit einem neuen Modus Adaptiver Optik erreicht, die als Lasertomografie bezeichnet wird – und hat in diesem Rahmen bemerkenswert scharfe Testbilder vom Planeten Neptun, von Sternhaufen und anderen Objekten aufgenommen. Das bahnbrechende MUSE-Instrument kann ab sofort im sogenannten Narrow-Field-Modus mit dem adaptiven Optikmodul GALACSI diese neue Technik nutzen, um Turbulenzen in verschiedenen Höhen in der Erdatmosphäre zu korrigieren. Damit ist jetzt möglich, Bilder vom Erdboden im sichtbaren Licht aufzunehmen, die schärfer sind als die des NASA/ESA Hubble-Weltraumteleskops. Die Kombination aus exquisiter Bildschärfe und den spektroskopischen Fähigkeiten von MUSE wird es den Astronomen ermöglichen, die Eigenschaften astronomischer Objekte viel detaillierter als bisher zu untersuchen.

Das MUSE-Instrument (kurz für Multi Unit Spectroscopic Explorer) am Very Large Telescope (VLT) der ESO arbeitet mit einer adaptiven Optikeinheit namens GALACSI. Dabei kommt auch die Laser Guide Stars Facility, kurz ...

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Stadtklima verbessern, Energiemix optimieren, sauberes Trinkwasser bereitstellen

19.07.2018 | Veranstaltungen

Innovation – the name of the game

18.07.2018 | Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

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

Neue Anwendungen für Mikrolaser in der Quanten-Nanophotonik

20.07.2018 | Physik Astronomie

Need for speed: Warum Malaria-Parasiten schneller sind als die menschlichen Abwehrzellen

20.07.2018 | Biowissenschaften Chemie

Die Gene sind nicht schuld

20.07.2018 | Medizin Gesundheit

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