französicher Mathematiker, geb. 12.2.1908 Paris, gest. 27.7.1931 La Bérarde (Isère, Frankreich).

Nach dem Studium an der Ecole Normale Supérieure in Paris promovierte Herbrand 1929 zur Beweistheorie und arbeitete danach in Berlin, Hamburg und Göttingen. Er verunglückte 1931 beim Bergsteigen.

In seiner Dissertation und den folgenden Arbeiten entwickelte Herbrand eine Beweismethode, die Ausdrücke der Prädikatenlogik auf Disjunktionen von Ausdrücken der Aussagenlogik reduziert (Herbrand-Theorie, Herbrand-Universum). Mit dieser Methode gelangen ihm Beweise zur Widerspruchsfreiheit mathematischer Theorien und für verschiedene Entscheidbarkeitstheoreme. Diese Ergebnisse verliehen der Entwicklung der Beweistheorie entscheidendende Impulse.