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 Meilenstein in der Forschung: Enabling Innovation
06.09.2017 | Rheinische Fachhochschule Köln

nachricht Max Planck School of Photonics: Nationales Exzellenznetzwerk für Photonikforschung ausgewählt
04.09.2017 | Fraunhofer-Gesellschaft

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: Wundermaterial Graphen: Gewölbt wie das Polster eines Chesterfield-Sofas

Graphen besitzt extreme Eigenschaften und ist vielseitig verwendbar. Mit einem Trick lassen sich sogar die Spins im Graphen kontrollieren. Dies gelang einem HZB-Team schon vor einiger Zeit: Die Physiker haben dafür eine Lage Graphen auf einem Nickelsubstrat aufgebracht und Goldatome dazwischen eingeschleust. Im Fachblatt 2D Materials zeigen sie nun, warum dies sich derartig stark auf die Spins auswirkt. Graphen kommt so auch als Material für künftige Informationstechnologien infrage, die auf der Verarbeitung von Spins als Informationseinheiten basieren.

Graphen ist wohl die exotischste Form von Kohlenstoff: Alle Atome sind untereinander nur in der Ebene verbunden und bilden ein Netz mit sechseckigen Maschen,...

Im Focus: Hochautomatisiertes Fahren bei Schnee und Regen: Robuste Warnehmung dank intelligentem Sensormix

Schlechte Sichtverhältnisse bei Regen oder Schnellfall sind für Menschen und hochautomatisierte Fahrzeuge eine große Herausforderung. Im europäischen Projekt RobustSENSE haben die Forscher von Fraunhofer FOKUS mit 14 Partnern, darunter die Daimler AG und die Robert Bosch GmbH, in den vergangenen zwei Jahren eine Softwareplattform entwickelt, auf der verschiedene Sensordaten von Kamera, Laser, Radar und weitere Informationen wie Wetterdaten kombiniert werden. Ziel ist, eine robuste und zuverlässige Wahrnehmung der Straßensituation unabhängig von der Komplexität und der Sichtverhältnisse zu gewährleisten. Nach der virtuellen Erprobung des Systems erfolgt nun der Praxistest, unter anderem auf dem Berliner Testfeld für hochautomatisiertes Fahren.

Starker Schneefall, ein Ball rollt auf die Fahrbahn: Selbst ein Mensch kann mitunter nicht schnell genug erkennen, ob dies ein gefährlicher Gegenstand oder...

Im Focus: Ultrakurze Momentaufnahmen der Dynamik von Elektronen in Festkörpern

Mit Hilfe ultrakurzer Laser- und Röntgenblitze haben Wissenschaftler am Max-Planck-Institut für Quantenoptik (Garching bei München) Schnappschüsse der bislang kürzesten Bewegung von Elektronen in Festkörpern gemacht. Die Bewegung hielt 750 Attosekunden lang an, bevor sie abklang. Damit stellten die Wissenschaftler einen neuen Rekord auf, ultrakurze Prozesse innerhalb von Festkörpern aufzuzeichnen.

Wenn Röntgenstrahlen auf Festkörpermaterialien oder große Moleküle treffen, wird ein Elektron von seinem angestammten Platz in der Nähe des Atomkerns...

Im Focus: Ultrafast snapshots of relaxing electrons in solids

Using ultrafast flashes of laser and x-ray radiation, scientists at the Max Planck Institute of Quantum Optics (Garching, Germany) took snapshots of the briefest electron motion inside a solid material to date. The electron motion lasted only 750 billionths of the billionth of a second before it fainted, setting a new record of human capability to capture ultrafast processes inside solids!

When x-rays shine onto solid materials or large molecules, an electron is pushed away from its original place near the nucleus of the atom, leaving a hole...

Im Focus: Quantensensoren entschlüsseln magnetische Ordnung in neuartigem Halbleitermaterial

Physiker konnte erstmals eine spiralförmige magnetische Ordnung in einem multiferroischen Material abbilden. Diese gelten als vielversprechende Kandidaten für zukünftige Datenspeicher. Der Nachweis gelang den Forschern mit selbst entwickelten Quantensensoren, die elektromagnetische Felder im Nanometerbereich analysieren können und an der Universität Basel entwickelt wurden. Die Ergebnisse von Wissenschaftlern des Departements Physik und des Swiss Nanoscience Institute der Universität Basel sowie der Universität Montpellier und Forschern der Universität Paris-Saclay wurden in der Zeitschrift «Nature» veröffentlicht.

Multiferroika sind Materialien, die gleichzeitig auf elektrische wie auch auf magnetische Felder reagieren. Die beiden Eigenschaften kommen für gewöhnlich...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

»Laser in Composites Symposium« in Aachen – von der Wissenschaft in die Anwendung

19.09.2017 | Veranstaltungen

Biowissenschaftler tauschen neue Erkenntnisse über molekulare Gen-Schalter aus

19.09.2017 | Veranstaltungen

Zwei Grad wärmer – und dann?

19.09.2017 | Veranstaltungen

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

»Laser in Composites Symposium« in Aachen – von der Wissenschaft in die Anwendung

19.09.2017 | Veranstaltungsnachrichten

Zentraler Schalter der Immunabwehr gefunden

19.09.2017 | Biowissenschaften Chemie

Neue Materialchemie für Hochleistungsbatterien

19.09.2017 | Biowissenschaften Chemie