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 Wie ein Roboter Kita-Kindern Sprachen beibringt
14.07.2017 | Universität Bielefeld

nachricht MINT Nachwuchsbarometer 2017: Digitale Bildung in Deutschland braucht ein Update
22.06.2017 | acatech - Deutsche Akademie der Technikwissenschaften

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: Einblicke unter die Oberfläche des Mars

Die Region erstreckt sich über gut 1000 Kilometer entlang des Äquators des Mars. Sie heißt Medusae Fossae Formation und über ihren Ursprung ist bislang wenig bekannt. Der Geologe Prof. Dr. Angelo Pio Rossi von der Jacobs University hat gemeinsam mit Dr. Roberto Orosei vom Nationalen Italienischen Institut für Astrophysik in Bologna und weiteren Wissenschaftlern einen Teilbereich dieses Gebietes, genannt Lucus Planum, näher unter die Lupe genommen – mithilfe von Radarfernerkundung.

Wie bei einem Röntgenbild dringen die Strahlen einige Kilometer tief in die Oberfläche des Planeten ein und liefern Informationen über die Struktur, die...

Im Focus: Molekulares Lego

Sie können ihre Farbe wechseln, ihren Spin verändern oder von fest zu flüssig wechseln: Eine bestimmte Klasse von Polymeren besitzt faszinierende Eigenschaften. Wie sie das schaffen, haben Forscher der Uni Würzburg untersucht.

Bei dieser Arbeit handele es sich um ein „Hot Paper“, das interessante und wichtige Aspekte einer neuen Polymerklasse behandelt, die aufgrund ihrer Vielfalt an...

Im Focus: Das Universum in einem Kristall

Dresdener Forscher haben in Zusammenarbeit mit einem internationalen Forscherteam einen unerwarteten experimentellen Zugang zu einem Problem der Allgemeinen Realitätstheorie gefunden. Im Fachmagazin Nature berichten sie, dass es ihnen in neuartigen Materialien und mit Hilfe von thermoelektrischen Messungen gelungen ist, die Schwerkraft-Quantenanomalie nachzuweisen. Erstmals konnten so Quantenanomalien in simulierten Schwerfeldern an einem realen Kristall untersucht werden.

In der Physik spielen Messgrößen wie Energie, Impuls oder elektrische Ladung, welche ihre Erscheinungsform zwar ändern können, aber niemals verloren gehen oder...

Im Focus: Manipulation des Elektronenspins ohne Informationsverlust

Physiker haben eine neue Technik entwickelt, um auf einem Chip den Elektronenspin mit elektrischen Spannungen zu steuern. Mit der neu entwickelten Methode kann der Zerfall des Spins unterdrückt, die enthaltene Information erhalten und über vergleichsweise grosse Distanzen übermittelt werden. Das zeigt ein Team des Departement Physik der Universität Basel und des Swiss Nanoscience Instituts in einer Veröffentlichung in Physical Review X.

Seit einigen Jahren wird weltweit untersucht, wie sich der Spin des Elektrons zur Speicherung und Übertragung von Information nutzen lässt. Der Spin jedes...

Im Focus: Manipulating Electron Spins Without Loss of Information

Physicists have developed a new technique that uses electrical voltages to control the electron spin on a chip. The newly-developed method provides protection from spin decay, meaning that the contained information can be maintained and transmitted over comparatively large distances, as has been demonstrated by a team from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute. The results have been published in Physical Review X.

For several years, researchers have been trying to use the spin of an electron to store and transmit information. The spin of each electron is always coupled...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Den Geheimnissen der Schwarzen Löcher auf der Spur

21.07.2017 | Veranstaltungen

Den Nachhaltigkeitskreis schließen: Lebensmittelschutz durch biobasierte Materialien

21.07.2017 | Veranstaltungen

Operatortheorie im Fokus

20.07.2017 | Veranstaltungen

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

Einblicke unter die Oberfläche des Mars

21.07.2017 | Geowissenschaften

Wegbereiter für Vitamin A in Reis

21.07.2017 | Biowissenschaften Chemie

Den Geheimnissen der Schwarzen Löcher auf der Spur

21.07.2017 | Veranstaltungsnachrichten