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 Neues Computerprogramm hilft bei Lese-Rechtschreibschwierigkeiten
13.11.2017 | Technische Universität Kaiserslautern

nachricht Schulraum in Stuttgart mit VLC-Technologie vom Fraunhofer HHI eröffnet
03.11.2017 | Fraunhofer-Institut für Nachrichtentechnik, Heinrich-Hertz-Institut, HHI

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: Ultrakalte chemische Prozesse: Physikern gelingt beispiellose Vermessung auf Quantenniveau

Wissenschaftler um den Ulmer Physikprofessor Johannes Hecker Denschlag haben chemische Prozesse mit einer beispiellosen Auflösung auf Quantenniveau vermessen. Bei ihrer wissenschaftlichen Arbeit kombinierten die Forscher Theorie und Experiment und können so erstmals die Produktzustandsverteilung über alle Quantenzustände hinweg - unmittelbar nach der Molekülbildung - nachvollziehen. Die Forscher haben ihre Erkenntnisse in der renommierten Fachzeitschrift "Science" publiziert. Durch die Ergebnisse wird ein tieferes Verständnis zunehmend komplexer chemischer Reaktionen möglich, das zukünftig genutzt werden kann, um Reaktionsprozesse auf Quantenniveau zu steuern.

Einer deutsch-amerikanischen Forschergruppe ist es gelungen, chemische Prozesse mit einer nie dagewesenen Auflösung auf Quantenniveau zu vermessen. Dadurch...

Im Focus: Leoniden 2017: Sternschnuppen im Anflug?

Gemeinsame Pressemitteilung der Vereinigung der Sternfreunde und des Hauses der Astronomie in Heidelberg

Die Sternschnuppen der Leoniden sind in diesem Jahr gut zu beobachten, da kein Mondlicht stört. Experten sagen für die Nächte vom 16. auf den 17. und vom 17....

Im Focus: «Kosmische Schlange» lässt die Struktur von fernen Galaxien erkennen

Die Entstehung von Sternen in fernen Galaxien ist noch weitgehend unerforscht. Astronomen der Universität Genf konnten nun erstmals ein sechs Milliarden Lichtjahre entferntes Sternensystem genauer beobachten – und damit frühere Simulationen der Universität Zürich stützen. Ein spezieller Effekt ermöglicht mehrfach reflektierte Bilder, die sich wie eine Schlange durch den Kosmos ziehen.

Heute wissen Astronomen ziemlich genau, wie sich Sterne in der jüngsten kosmischen Vergangenheit gebildet haben. Aber gelten diese Gesetzmässigkeiten auch für...

Im Focus: A “cosmic snake” reveals the structure of remote galaxies

The formation of stars in distant galaxies is still largely unexplored. For the first time, astron-omers at the University of Geneva have now been able to closely observe a star system six billion light-years away. In doing so, they are confirming earlier simulations made by the University of Zurich. One special effect is made possible by the multiple reflections of images that run through the cosmos like a snake.

Today, astronomers have a pretty accurate idea of how stars were formed in the recent cosmic past. But do these laws also apply to older galaxies? For around a...

Im Focus: Pflanzenvielfalt von Wäldern aus der Luft abbilden

Produktivität und Stabilität von Waldökosystemen hängen stark von der funktionalen Vielfalt der Pflanzengemeinschaften ab. UZH-Forschenden gelang es, die Pflanzenvielfalt von Wäldern durch Fernerkundung mit Flugzeugen in verschiedenen Massstäben zu messen und zu kartieren – von einzelnen Bäumen bis hin zu ganzen Artengemeinschaften. Die neue Methode ebnet den Weg, um zukünftig die globale Pflanzendiversität aus der Luft und aus dem All zu überwachen.

Ökologische Studien zeigen, dass die Pflanzenvielfalt zentral ist für das Funktionieren von Ökosys-temen. Wälder mit einer höheren funktionalen Vielfalt –...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Technologievorsprung durch Textiltechnik

17.11.2017 | Veranstaltungen

Roboter für ein gesundes Altern: „European Robotics Week 2017“ an der Frankfurt UAS

17.11.2017 | Veranstaltungen

Börse für Zukunftstechnologien – Leichtbautag Stade bringt Unternehmen branchenübergreifend zusammen

17.11.2017 | Veranstaltungen

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

Technologievorsprung durch Textiltechnik

17.11.2017 | Veranstaltungsnachrichten

IHP präsentiert sich auf der productronica 2017

17.11.2017 | Messenachrichten

Roboter schafft den Salto rückwärts

17.11.2017 | Innovative Produkte