Jacques Herbrand

Jacques Herbrand (1908–1931) was a French mathematician renowned for his work in mathematical logic and class field theory. Despite his untimely death at age 23, he was recognized by his professors as one of the greatest mathematicians of his generation. Herbrand introduced recursive functions and made significant contributions to proof theory, including Herbrand's theorem, which has two distinct meanings related to his doctoral thesis and the Herbrand–Ribet theorem. He also contributed to Hilbert's program by providing a constructive consistency proof for a weak system of arithmetic. His academic journey included studies at the École Normale Supérieure and the University of Paris, and he pursued postdoctoral research in Germany with prominent mathematicians like John von Neumann, Emil Artin, and Emmy Noether. Herbrand's final paper, on the consistency of arithmetic, was published posthumously. His life was tragically cut short in a mountain climbing accident in the French Alps.