Jacques Herbrand, né à Paris le 12 février 1908 et mort dans un accident de montagne à La Bérarde en Oisans (Isère) le 27 juillet 1931, est un mathématicien et logicien français.
Reçu deuxième au concours de l'École normale supérieure en 1925, il est premier à l'agrégation de mathématiques en 1928. Il rejoint l’armée en octobre 1929 pour faire son service militaire, puis soutient sa thèse à la Sorbonne en 1930, devant un jury présidé par Ernest Vessiot.
En 1930-1931, une bourse de la Fondation Rockefeller lui permet de se rendre en Allemagne pour étudier d’abord à Berlin avec John von Neumann, puis à Hambourg avec Emil Artin, et enfin à Göttingen avec Emmy Noether.
Un mois plus tard, sa mort prématurée en redescendant des Bans (3 669 m) au-dessus de La Bérarde, avec trois camarades, met brutalement fin à une correspondance qu'il venait tout juste d'entamer avec Kurt Gödel.
Signalons aussi qu'il n'a pu relire son manuscrit Le développement moderne de la théorie des corps algébriques : corps de classes et lois de réciprocité (Mémorial des sciences mathématiques, fasc. LXXV, 72 pages, Gauthier-Villars, 1936), qui a été relu par Claude Chevalley pour sa publication posthume et discuté en cette occasion avec Jean Cavaillès. Ces aspects de la théorie du corps de classes seraient à préciser, notamment en ce qui concerne un autre « théorème de Herbrand » de nature cohomologique sur les unités des corps de nombres, de grande importance et très souvent utilisé et généralisé, le fameux quotient de Herbrand (en).
Il n'en laisse pas moins son nom à deux autres théorèmes, le théorème de Herbrand-Ribet, en théorie des nombres, et le théorème de Herbrand, en logique. Il est à l'origine du « modèle de Herbrand-Gödel » des fonctions récursives.
Selon le mathématicien Claude Chevalley, « Jacques Herbrand aurait détesté Bourbaki. »
Une exposition lui a été consacrée à l'École normale supérieure, à l'occasion du centenaire de sa naissance.
Recherches sur la théorie de la démonstration : Thèses présentées à la faculté des sciences de Paris, Paris, 1930, 128 p. (lire en ligne)
« Sur la théorie de la démonstration », CRAS, vol. 186, mai 1928, p. 1274-1276 (ISSN 0001-4036, lire en ligne)
« Non-contradiction des axiomes arithmétiques », CRAS, vol. 188, janvier 1929, p. 303-304 (ISSN 0001-4036, lire en ligne)
« Sur quelques propriétés des propositions vraies et leurs applications », CRAS, vol. 188, avril 1929, p. 1076-1078 (ISSN 0001-4036, lire en ligne)
« Sur le problème fondamental des mathématiques », CRAS, vol. 189, octobre 1929, p. 554-556 (ISSN 0001-4036, lire en ligne)
« Sur le problème fondamental des mathématiques (erratum) », CRAS, vol. 189, octobre 1929, p. 720 (ISSN 0001-4036, lire en ligne)
« Recherche des solutions bornées de certaines équations fonctionnelles », CRAS, vol. 189, octobre 1929, p. 669-671 (ISSN 0001-4036, lire en ligne)
« Recherche des solutions bornées de certaines équations fonctionnelles (erratum) », CRAS, vol. 189, octobre 1929, p. 811 (ISSN 0001-4036, lire en ligne)
« Les bases de la logique hilbertienne », Revue de métaphysique et de morale, vol. 37, no 3, 1930, p. 243-255 (lire en ligne)
« Détermination des groupes de ramification d'un corps à partir de ceux d'un sur-corps », CRAS, vol. 191, novembre 1930, p. 980-982 (ISSN 0001-4036, lire en ligne)