Heinrich Behmann (1891 – 1970)

Der Mathematiker und Logiker Heinrich Behmann befasste sich u. a. mit dem Entscheidungsproblem im Aussagen- und Prädikatenkalkül, mit Antinomien und mit dem Klassenkalkül. Behmann bewies mit der Methode der kontrapränexen Normalform die Entscheidbarkeit des einstelligen Prädikatenkalküs.