Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematician

Jacques Herbrand

Modern

Jacques Herbrand was a French mathematician who died young but made contributions to mathematical logic. He was born in Paris on 12 February 1908 and died in a mountaineering accident at La Bérarde in the Isère on 27 July 1931, aged twenty-three. His theorem on the relation between quantified statements and propositional ones, and his notion of recursive functions, became lasting tools of later logic, and Herbrand's theorem and Herbrand universes are linked to him.

Facts
Biography
Gender
Male 1
Connections

In Branch

Source Jacques Herbrand, Biography (MacTutor History of Mathematics)

Proofs Credited

Source Wikipedia: Herbrand-Ribet theorem
Source Herbrand's Theorem (Wikipedia)
In the Other Atlases

Nationality

Also in Geography Atlas: the nationality of this subject.

Source Jacques Herbrand, Biography (MacTutor History of Mathematics)Summary
Quote, Summary
Jacques Herbrand was a French mathematician who died young but made contributions to mathematical logic.
Sources
1. Jacques Herbrand, Biography (MacTutor History of Mathematics)
Summary
Quote, Summary
Jacques Herbrand was a French mathematician who died young but made contributions to mathematical logic.
View the Source
Herbrand's Theorem (Wikipedia)
Wikimedia FoundationProofs Credited: Herbrand's Theorem, Lead section
Quote, Proofs Credited: Herbrand's Theorem, Lead section
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930).
View the Source
Wikipedia: Herbrand-Ribet theorem
WikipediaProofs Credited: Herbrand-Ribet Theorem, Lead
Quote, Proofs Credited: Herbrand-Ribet Theorem, Lead
The part saying p divides Bp−n if Gn is not trivial is due to Jacques Herbrand
View the Source

Take a Related Quiz

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.