Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Germanist untersucht Mathetexte - Projekt zur Beweissprache

23.07.2008
Den Beweis, dass Mathematik und Germanistik gut zusammenarbeiten können, liefert ein Projekt an der Universität Duisburg-Essen.

Denn hier erforscht Linguistikprofessor Dr. Bernhard Schröder in Kooperation mit Mathematikern der Uni Bonn, wie man mit Hilfe der Sprachwissenschaft mathematische Beweistexte überprüfen kann.

Mathematische Beweise werden normalerweise mit Variablen und Zahlen dargestellt. Beispielsweise der Satz des Pythagoras: a²+b²=c². "Damit kann ein Nicht-Mathematiker oder Anfänger jetzt aber noch nicht viel anfangen", sagt Bernhard Schröder. "Deshalb gibt es zu jedem als Formel dargestellten Beweis auch noch einen Satz aus natürlicher Sprache, in den die Formel eingebettet ist."

Der lautet beim Satz des Pythagoras wie folgt: "Wenn in einem rechtwinkligen Dreieck a und b die Längen der am rechten Winkel anliegenden Seiten und c die Länge der gegenüberliegenden Seite ist, dann ist a²+b²=c²."

Diese und andere mathematische Aussagen - wie sie seit Euklids Zeiten formuliert werden - gilt es durch Rechnungen mit Variablen und Formeln zu beweisen - oder indem man erneut in natürlicher Sprache formuliert: "Angenommen, D sei ein rechtwinkliges Dreieck. Dann... ."

Während der formelhafte Teil der Aussagen maschinell relativ leicht zu interpretieren ist, bereitet das präzise Verständnis der natürlichsprachlichen Bestandteile die Probleme, denen sich das Projekt widmet, so Bernhard Schröder. Deshalb wurde ein Computerprogramm entwickelt, das hilft zu kontrollieren, ob Beweise schlüssig sind und aufgehen. Und zwar nicht, indem es die Formeln und Variablen überprüft, sondern die dazugehörigen Sätze aus natürlicher Sprache.

"Dazu wird jede einzelne Behauptung und Schlussfolgerung von dem Programm in einzelne Satzbausteine zerlegt. Das nennt sich Parsing. Wir wenden dabei computerlinguistische Verfahren an." Am Ende kann der Computer herausfinden, ob jede Schlussfolgerung innerhalb des Beweises aus natürlicher Sprache logisch, und der Beweis damit korrekt ist. Fehler können so ausgeschlossen werden.

Einsatzgebiete des Programms könnten laut Bernhard Schröder Studiengänge sein, in denen mathematische Beweise verstanden und benutzt werden müssen, ohne dass die Studenten aber Mathematik studieren. "Das könnte die Informatik sein, aber auch die Philosophie mit einer ,Einführung in die Logik'." Das Computerprogramm soll den Studenten dabei als Werkzeug zur Selbstkontrolle dienen. Es liefert umgekehrt aber keine Textbausteine, mit denen Beweise leichter geschrieben werden können. "Das muss man schon noch selbst machen, sonst lernt man das Schreiben von Beweisen ja nicht", sagt Schröder.

Aber auch außerhalb der reinen Didaktik kann das Programm verwendet werden, etwa als Assistenz in der mathematischen Forschung.

Weitere Informationen:
Prof. Dr. Bernhard Schröder,
Tel.: 0201 / 183-3368, bernhard.schroeder@uni-due.de

Ulrike Bohnsack | idw
Weitere Informationen:
http://www.uni-duisburg-essen.de/

Weitere Nachrichten aus der Kategorie Bildung Wissenschaft:

nachricht Die Verbindung macht’s
24.03.2017 | Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V.

nachricht Gleich und Gleich gesellt sich gern!
21.03.2017 | Max-Planck-Institut für Dynamik und Selbstorganisation

Alle Nachrichten aus der Kategorie: Bildung Wissenschaft >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Atome rennen sehen - Phasenübergang live beobachtet

Ein Wimpernschlag ist unendlich lang dagegen – innerhalb von 350 Billiardsteln einer Sekunde arrangieren sich die Atome neu. Das renommierte Fachmagazin Nature berichtet in seiner aktuellen Ausgabe*: Wissenschaftler vom Center for Nanointegration (CENIDE) der Universität Duisburg-Essen (UDE) haben die Bewegungen eines eindimensionalen Materials erstmals live verfolgen können. Dazu arbeiteten sie mit Kollegen der Universität Paderborn zusammen. Die Forscher fanden heraus, dass die Beschleunigung der Atome jeden Porsche stehenlässt.

Egal wie klein sie sind, die uns im Alltag umgebenden Dinge sind dreidimensional: Salzkristalle, Pollen, Staub. Selbst Alufolie hat eine gewisse Dicke. Das...

Im Focus: Kleinstmagnete für zukünftige Datenspeicher

Ein internationales Forscherteam unter der Leitung von Chemikern der ETH Zürich hat eine neue Methode entwickelt, um eine Oberfläche mit einzelnen magnetisierbaren Atomen zu bestücken. Interessant ist dies insbesondere für die Entwicklung neuartiger winziger Datenträger.

Die Idee ist faszinierend: Auf kleinstem Platz könnten riesige Datenmengen gespeichert werden, wenn man für eine Informationseinheit (in der binären...

Im Focus: Quantenkommunikation: Wie man das Rauschen überlistet

Wie kann man Quanteninformation zuverlässig übertragen, wenn man in der Verbindungsleitung mit störendem Rauschen zu kämpfen hat? Uni Innsbruck und TU Wien präsentieren neue Lösungen.

Wir kommunizieren heute mit Hilfe von Funksignalen, wir schicken elektrische Impulse durch lange Leitungen – doch das könnte sich bald ändern. Derzeit wird...

Im Focus: Entwicklung miniaturisierter Lichtmikroskope - „ChipScope“ will ins Innere lebender Zellen blicken

Das Institut für Halbleitertechnik und das Institut für Physikalische und Theoretische Chemie, beide Mitglieder des Laboratory for Emerging Nanometrology (LENA), der Technischen Universität Braunschweig, sind Partner des kürzlich gestarteten EU-Forschungsprojektes ChipScope. Ziel ist es, ein neues, extrem kleines Lichtmikroskop zu entwickeln. Damit soll das Innere lebender Zellen in Echtzeit beobachtet werden können. Sieben Institute in fünf europäischen Ländern beteiligen sich über die nächsten vier Jahre an diesem technologisch anspruchsvollen Projekt.

Die zukünftigen Einsatzmöglichkeiten des neu zu entwickelnden und nur wenige Millimeter großen Mikroskops sind äußerst vielfältig. Die Projektpartner haben...

Im Focus: A Challenging European Research Project to Develop New Tiny Microscopes

The Institute of Semiconductor Technology and the Institute of Physical and Theoretical Chemistry, both members of the Laboratory for Emerging Nanometrology (LENA), at Technische Universität Braunschweig are partners in a new European research project entitled ChipScope, which aims to develop a completely new and extremely small optical microscope capable of observing the interior of living cells in real time. A consortium of 7 partners from 5 countries will tackle this issue with very ambitious objectives during a four-year research program.

To demonstrate the usefulness of this new scientific tool, at the end of the project the developed chip-sized microscope will be used to observe in real-time...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Industriearbeitskreis »Prozesskontrolle in der Lasermaterialbearbeitung ICPC« lädt nach Aachen ein

28.03.2017 | Veranstaltungen

Neue Methoden für zuverlässige Mikroelektronik: Internationale Experten treffen sich in Halle

28.03.2017 | Veranstaltungen

Wie Menschen wachsen

27.03.2017 | Veranstaltungen

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

Nierentransplantationen: Weisse Blutzellen kontrollieren Virusvermehrung

30.03.2017 | Biowissenschaften Chemie

Zuckerrübenschnitzel: der neue Rohstoff für Werkstoffe?

30.03.2017 | Materialwissenschaften

Integrating Light – Your Partner LZH: Das LZH auf der Hannover Messe 2017

30.03.2017 | HANNOVER MESSE