Neue Konzepte für Formale Beweise und Beweisrepräsentationen

Der Begriff des Beweises ist der wichtigste Begriff der Mathematik, da Mathematik die Wissenschaft der Aussagen ist, die nicht umittelbar als wahr eingesehen werden können, aber deren Wahrheit durch eine gedankliche Technik eben den mathematischen Beweis nachgewiesen werden kann. Der mathematische Beweis hat seine moderne Form erst in jüngerer Zeit durch David Hilbert erhalten und beruht auf einer schrittweisen Erreichung des Beweisergebnisses. In diesem gemeinsamen Projekt der Technischen Universität Wien und des Steklov Institutes für Mathematik der Russischen Akademie der Wissenschaften sollen allgemeine Beweisbegriffe betrachtet werden wie zirkuläre Beweise für die Induktion oder Beweise ohne Anfang, die trotzdem korrekt sind. Ziel des Projektes ist es insgesamt, die Möglichkeiten der Mathematik zu erweitern, indem ihr wichtigstes Hilfsmittel der Beweis weiterentwickelt wird.

Der Begriff des Beweises ist der wichtigste Begriff der Mathematik, da Mathematik die Wissenschaft der Aussagen ist, die nicht umittelbar als wahr eingesehen werden können, aber deren Wahrheit durch eine gedankliche Technik - eben den mathematischen Beweis - nachgewiesen werden kann. Der mathematische Beweis hat seine moderne Form erst in jüngerer Zeit durch David Hilbert erhalten und beruht auf einer schrittweisen Erreichung des Beweisergebnisses. In diesem gemeinsamen Projekt der Technischen Universität Wien und des Steklov Institutes für Mathematik der Russischen Akademie der Wissenschaften sollen allgemeine Beweisbegriffe betrachtet werden wie zirkuläre Beweise für die Induktion oder Beweise ohne Anfang, die trotzdem korrekt sind. Ziel des Projektes ist es insgesamt, die Möglichkeiten der Mathematik zu erweitern, indem ihr wichtigstes Hilfsmittel - der Beweis - weiterentwickelt wird.