Jacques Herbrand
A French mathematical prodigy who, before his tragic death at 23, laid foundational stones for modern logic and number theory.
1908–1931 (age 23)·French mathematician·Birthday: February 12·The Greatest Generation
Biography
Jacques Herbrand blazed across the mathematical firmament with a brilliance that was both profound and painfully brief. Entering the École Normale Supérieure at just 18, he quickly immersed himself in the cutting-edge problems of logic and algebra. His most enduring work provided a crucial link in the chain of proof for the first Hilbert program, establishing a fundamental theorem in proof theory that bears his name. In a feverish burst of productivity during a fellowship in Germany, he also made significant contributions to class field theory, corresponding with the era's great minds. His life was cut short in a mountaineering accident in the French Alps, leaving behind a compact but astonishingly rich body of work. Herbrand’s legacy is that of a pure, crystalline intellect whose ideas continue to underpin and inspire research in computational logic decades later.
The Greatest Generation
1901–1927
Grew up during the Depression, fought World War II, and built the postwar economic boom. Defined by shared sacrifice, institutional trust, and a belief that hard work and loyalty would be rewarded.
Jacques was born in 1908, placing them squarely in The Greatest Generation. The events that shaped this generation — world wars, depression, and rapid industrialization — shaped the world they entered and the choices available to them.
#1 When Jacques Was Born
The biggest hits of 1908
Jacques's Life & Times
The world at every milestone
1908Born
Ford Model T goes into production
President: Theodore Roosevelt
1913Started school
The Federal Reserve is established
President: Woodrow Wilson
1921Became a teenager
First commercial radio broadcasts
President: Warren G. Harding"My Man" — Fanny Brice
1924Could drive
First Winter Olympics held in Chamonix, France
President: Calvin Coolidge"It Had to Be You" — Isham Jones
1926Could vote
Robert Goddard launches the first liquid-fueled rocket
President: Calvin Coolidge"Baby Face" — Jan Garber
1929Turned 21
Wall Street crashes, triggering the Great Depression
Gas: $0.21/galPresident: Herbert Hoover"Singin' in the Rain" — Cliff EdwardsBest Picture: The Broadway Melody
1931Died at 23
The Empire State Building opens as the world's tallest
Gas: $0.17/galPresident: Herbert Hoover"Minnie the Moocher" — Cab CallowayBest Picture: Cimarron
Key Achievements
- Proved Herbrand's theorem, a cornerstone of proof theory and automated theorem proving.
- Made significant contributions to class field theory, including the important Herbrand quotient.
- His work formed a critical part of the consistency proof for arithmetic in the early Hilbert program.
Did You Know?
He died in a climbing accident in the Massif de la Lauzière at the age of 23.
He was the first to introduce the concept of recursive functions, a key idea in computability theory.
Much of his groundbreaking work was published posthumously.
“A proof is not a sequence of symbols; it is the reasoning that gives it life.”
