Theorema Magnum MCMLXXI: NP-Vollständigkeit des SAT-Problems

Das Erfüllbarkeitsproblem der Aussagenlogik - auch als SAT-Problem bezeichnet nach dem englischen Begriff satisfiablity für Erfüllbarkeit - fragt nach der Erfüllbarkeit einer gegebenen aussagenlogischen Formel durch eine geeignete Variablenbelegung. Man kann das Problem natürlich durch Aufstellen einer Wahrheitstabelle…

Weiterlesen ...

Ausschreibung für Minisymposia

Ausschreibung für Minisymposia

Wir rufen zur Einreichung von Vorschlägen für Minisymposien für die DMV-ÖMG-Tagung auf, die vom 27. September bis 1. Oktober 2021 in Passau stattfinden wird.  Hier finden Sie den Link zur Anmeldung. Wir begrüßen Bewerbungen in allen Bereichen der Mathematik.

Ein Minisymposium (MS) ist im Allgemeinen eine Sitzung…

Weiterlesen ...

245. Geburtstag von Sophie Germain

245. Geburtstag von Sophie Germain

1806, als die Stadt Braunschweig im Zuge der Napoleonischen Kriege erobert wurde, bekam der dreißigjährige Carl Friedrich Gauss ungewöhnlichen Besuch von einem französischen Offizier. Er erkundige sich auf Befehl des Generals Pernety nach seinem Wohlergehen, sagte der Offizier, für das er von nun an persönlich…

Weiterlesen ...

425. Geburtstag von René Descartes

425. Geburtstag von René Descartes

Er gilt als einer der bedeutendsten Denker der europäischen Geschichte, seine Schriften hatten großen Einfluss auf die Philosophen der Aufklärung und mit seinem Diktum cogito ergo sum revolutionierte er die Erkenntnistheorie. Aber auch als Mathematiker war René Descartes eine der treibenden Kräfte beim…

Weiterlesen ...