Jacques Herbrand

Jacques Herbrand (1908-1931) was a French mathematician, who worked in mathematical logic, and class field theory.

He introduced recursive functions in about 1932. Herbrand's Theorem was an early result in proof theory. The Herbrand quotient is a type of Euler characteristic, used in homological algebra.