Jacques Herbrand , mathématicien et philosophe français (décédé en 1931)
Jacques Herbrand (12 février 1908 - 27 juillet 1931) était un mathématicien français. Bien qu'il soit mort à 23 ans, il était déjà considéré comme l'un des « plus grands mathématiciens de la jeune génération » par ses professeurs Helmut Hasse et Richard Courant. Il a travaillé en logique mathématique et en théorie des champs de classes. Il a introduit les fonctions récursives. Le théorème de Herbrand fait référence à l'un ou l'autre de deux théorèmes complètement différents. L'un est le résultat de sa thèse de doctorat en théorie de la preuve, et l'autre moitié du théorème de Herbrand-Ribet. Le quotient de Herbrand est un type de caractéristique d'Euler, utilisé en algèbre homologique. Il a contribué au programme de Hilbert sur les fondements des mathématiques en fournissant une preuve de cohérence constructive pour un système arithmétique faible. La preuve utilise le théorème de Herbrand de la théorie de la preuve mentionné ci-dessus.