Jacques Herbrand

Jacques Herbrand
Información personal
Nacimiento	12 de febrero de 1908 París (Francia)
Fallecimiento	27 de julio de 1931 (23 años) Saint-Christophe-en-Oisans (Francia)
Causa de muerte	Accidente de montaña
Nacionalidad	Francesa
Educación
Educado en	Escuela Normal Superior de París (1925-1928) Facultad de Ciencias de París (1929-1930) Universidad Federico Guillermo (hasta 1931) Universidad de Hamburgo (hasta 1931) Universidad de Gotinga (hasta 1931)
Supervisor doctoral	Ernest Vessiot
Información profesional
Ocupación	Matemático y filósofo
Área	Teoría de la demostración y lógica matemática
Obras notables	teorema de Herbrand-Ribet
Distinciones	Prix Francoeur (1931)
[editar datos en Wikidata]

Jacques Herbrand (París, 12 de febrero de 1908 - La Bérarde, Saint-Christophe-en-Oisans, 27 de julio de 1931) fue un matemático francés que trabajó en lógica matemática.

Egresado de la Escuela Normal Superior de París. Pasó un corto período también en la Universidad de Göttingen. Introdujo la noción de función recursiva.

El Teorema de Herbrand es uno de los primeros resultados teoría de la demostración, establece un nexo entre cuantificación y lógica de primer orden cuya importancia es el proveer un método para verificar la validez de una fórmula con cuantificadores basándose en la verificación sucesiva de la validez de fórmulas de primer orden. Dado que la verificación de validez se puede realizar mecánicamente, el Teorema de Herbrand justifica el trabajo de las herramientas de software desarrolladas para demostración asistida por computador.

El cociente de Herbrand es un tipo de característica de Euler, utilizada en álgebra homológica.

Todo esto en un breve lapso, puesto que Jacques Herbrand murió a los 23 años en un accidente de montaña en los Alpes.