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...

Artikel vom 25.03.2021, Weiterlesen ...

Theorema Magnum MCMLXX: die Jacquet-Langlands-Korrespondenz

Ein klassisches Thema der Zahlentheorie sind die Modulfunktionen für Γ=SL(2,Z) und allgemeiner für Fuchssche Gruppen. Man kann sie als Funktionen auf der hyperbolischen Fläche Γ\H2 ansehen und sie sind dort Eigenfunktionen des Laplace-Beltrami-Operators Δ. Hans Maaß definierte 1949 (nicht...

Artikel vom 18.03.2021, Weiterlesen ...

Abelpreis 2021

Der Abelpreis (mit gut 106$ der höchstdotierte Mathematikpreis) geht dieses Jahr an László Lovász und Avi Wigderson für ihre Arbeiten in diskreter Mathematik und theoretischer Informatik. Der Abelpreis wird jährlich von der Norwegischen Akademie der Wissenschaften vergeben. Er gilt als...

Artikel vom 17.03.2021, Weiterlesen ...

Reelle Zahlen als verdichtete Menge

Reelle Zahlen werden in den Erstsemestervorlesungen meist auf ziemlich abstrakte Weise eingeführt, typischerweise als Dedekind-Schnitte. Näher an der Intuition und an der Schulmathematik fand ich es immer, reelle Zahlen als Dezimalbrüche einzuführen. Das Problem mit diesem Ansatz ist natürlich,...

Artikel vom 15.03.2021, Weiterlesen ...

Der Zufallsgenerator von Halle

In Halle hat in den letzten Wochen ein politisches Drama stattgefunden, das vermutlich diesen Montag seinen Abschluß finden wird und in dem es um Impfungen und einen Zufallsgenerator ging. Anfang Januar hatte der in “Katastrophenschutzstab” umbenannte Pandemiestab der Stadt Halle beschlossen, wie...

Artikel vom 15.03.2021, Weiterlesen ...