Jacques Herbrand
De Wikipedia, la enciclopedia libre
Jacques Herbrand (1908-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 en base a 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.
