Jacques Herbrand


Quick Info

Born
12 February 1908
Paris, France
Died
27 July 1931
La Bérarde, Isère, France

Summary
Jacques Herbrand was a French mathematician who died young but made contributions to mathematical logic.

Biography

Jacques Herbrand [4]:-
... was the only son of parents who recognised his precocious genius and endeavoured to assure its full development by their love and support.
He gained the top place in the Concours Général examination then entered the École Normale Supérieure at the age of 17 having again been ranked in top place in the entrance examination. This was quite an exceptional achievement at that time for a student of his age. At the École Normale he became interested in the foundations of mathematics and read Whitehead and Russell's Principia Mathematica during his undergraduate years. He had already set himself the goal of creating a school of mathematical logic in France to rival that in Göttingen. In 1928 he received his Agrégation, again being ranked as the top student. During this year [4]:-
... he obtained the results which would constitute his thesis: a new proof, the simplest known to date, of the consistency of arithmetic, and a new criterion, very general and completely formal, for the truth of propositions.
For his doctoral thesis he studied mathematical logic under the supervision of Ernest Vessiot who at that time was the Director of the École Normale. On the one hand mathematical logic was a surprising choice, given the lack of interest in that topic in France in this period. However, Herbrand had already made major breakthroughs in the topic while an undergraduate so his success in the area was well established. His doctoral thesis was approved in April 1929 but although his work was to receive the very highest praise, there had been much difficulty in getting a panel together to examine the thesis. Vessiot played an important role here, convincing analysts somewhat sceptical about the importance of mathematical logic. In October of the same year Herbrand joined the army for his military service.

After his spell in the army, Herbrand was awarded a Rockefeller fellowship to allow him to study at various places in Europe. His first period, until May 1931, was spent at the University of Berlin where he worked with von Neumann. From Berlin, Herbrand went to Hamburg where he spent the month of June working with Artin. His final visit was to Göttingen where he spent the month of July 1931 studying with Emmy Noether.

After leaving Göttingen, Herbrand decided on a holiday in the Alps before his intended return to France. However he was never to complete his plans for he died in a mountaineering accident in the Alps only a few days after his holiday began. His death at the age of 23 in one of the tragic losses to mathematics. See the newspaper reports of the accident in the article Herbrand's accident.

It is incredible how much Herbrand achieved in the short time he had to undertake mathematical research. He made contributions to mathematical logic where Herbrand's theorem on the theory of quantifiers appears in his doctoral thesis. See [6] for discussion of a gap which was found in Herbrand's proof in 1963.

Herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulas for sentential validity. Since testing for sentential validity is a mechanical process, Herbrand's theorem is today of major importance in software developed for theorem proving by computer.

Herbrand also worked on field theory considering abelian extensions of algebraic number fields. In the few months on which he worked on this topic, Herbrand published ten papers. These papers simplify proofs of results by Kronecker, Heinrich Weber, Hilbert, Takagi and Artin. Herbrand also generalised some of the results by these workers in class field theory as well as proving some important new theorems of his own.

Chevalley and Lautman write in [4]:-
[Herbrand's] work was perfect in abstractness and rigour; but for him the life of mathematical creation was not a spiritual one which led apart from the concrete life of a man; it was the only expression he could give to the interior drama of his imprisoned soul. He lived constantly absorbed in the analysis of the conflicts and duties which gave birth to an inescapable sensitivity within him. It seemed that only the most brilliant successes could be worthy of this life spent in spiritual solitude. The finest works of music and poetry contained for him thoughts close to his own; the unceasing work of his will was no less a matter of conscience to him. It was always necessary for him to unite the elements of an idea or a sensation in a finished construct in order to savour them in advance and to see them come at his will. Thus, the lifelong interest he had in mathematical logic was perhaps born of the wondrous hope of anticipating the future by means of finite calculi and combinations.
For more information about Chevalley writings on Herbrand's thought see the article Chevalley on Herbrand.


References (show)

  1. J van Heijenoort, Biography in Dictionary of Scientific Biography (New York 1970-1990). See THIS LINK.
  2. W D Goldfarb (ed.), Logical Writings of Jacques Herbrand (D Reidel, Dordrecht, 1968).
  3. C Chevalley, Jacques Herbrand, Stud. Logic Foundations Math. 107 (Amsterdam-New York, 1982), 1-2.
  4. C Chevalley and A Lautman, Biographical note on Jacques Herbrand, in W D Goldfarb (ed.), Logical Writings of Jacques Herbrand (D Reidel, Dordrecht, 1968).
  5. J Dieudonné, Jacques Herbrand et la théorie des nombres, Stud. Logic Foundations Math. 107 (Amsterdam-New York, 1982), 3-7.
  6. B Dreben, P Andrews and S Aanderaa, False lemmas in Herbrand, Bull. Amer. Math. Soc. 69 (1963), 699-706.
  7. J van Heijenoort, L'oeuvre logique de Jacques Herbrand et son contexte historique, Stud. Logic Foundations Math. 107 (Amsterdam-New York, 1982), 57-85.

Additional Resources (show)


Cross-references (show)


Written by J J O'Connor and E F Robertson
Last Update August 2006