Jacques Herbrand
Jacques Herbrand (12 February 1908 – 27 July 1931) was a French mathematician. Although he died at age 23, he was already considered one of "the greatest mathematicians of the younger generation" by his professors Helmut Hasse and Richard Courant.He worked in mathematical logic and class field theory. He introduced recursive functions. Herbrand's theorem refers to either of two completely different theorems. One is a result from his doctoral thesis in proof theory, and the other one half of the Herbrand–Ribet theorem. The Herbrand quotient is a type of Euler characteristic, used in homological algebra. He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency proof for a weak system of arithmetic. The proof uses the above-mentioned, proof-theoretic Herbrand's theorem.
Jacques Herbrand - Wikipedia Jump to content From Wikipedia, the free encyclopedia French mathematician (1908–1931) [[University of Paris]] (PhD, 1930)"},"doctoral_advisor":{"wt":"[[Ernest Vessiot]]"},"known_for":{"wt":"[[Herbrand's theorem]]<br/>[[Herbrand–Ribet theorem]]<br/>[[Herbrand quotient]]"}},"i":0}}]}'> Jacques Herbrand Herbrand in summer 1931, as photographed by Natascha Artin Brunswick Born ( 1908-02-12 ) 12 February 1908 Paris, France Died 27 July 1931 (1931-07-27) (aged 23) La Bérarde , Isère, France Alma mater École Normale Supérieure University of Paris (PhD, 1930) Known for He
related reading
- Nicolas Bourbaki - Wikipediaen.wikipedia.org
- The fall of the theorem economydavidbessis.substack.com
- Napkin.pdfvenhance.github.io
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Jacob Tsimerman Wins 2026 Fields Medal for André-Oort Conjecture Proof | Quanta Magazinequantamagazine.org
- Formalizing Fermat's Last Theoremanthropic.com
- David Hilbert - Wikipediaen.wikipedia.org
- S0002-9904-1958-10189-5.pdfams.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Paul Erdős - Wikipediaen.wikipedia.org
- Type theory - Wikipediaen.wikipedia.org
- Mathematics for Computer Sciencepeople.csail.mit.edu