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.

• Sur la théorie de la démonstration, Comptes rendus Acad. Sci., Paris, v. 186: 1274–1276 1928

• Non-contradiction des axiomes arithméthiques, Comptes rendus Acad. Sci. 188: 303-304, Paris, 1929

• Sur quelques propriétés des propositions vraies et leurs applications, Comptes rendus Acad. Sci. 188: 1076–1078 1929

• Sur le problème fundamentale des mathématiques, Comptes rendus Acad. Sci. 189: 554–556, 720 1929

• Sur le problème fundamentale de la logique mathématique, Comptes Rendus Soc. Sci. et L. de Varsovia, 1931

• Les bases de la logique hilbertienne, Revue de métaphysique et de morale 37: 243–255 1930

• Recherches sur la théorie de la démonstration, tesis Univ. Paris 1930 (y en Travaux Soc. des Sci. et L. de Varsovia) Online, en inglés Investigations in proof theory: the properties of true dispositions, 1930, en Jean Van Heijenoort (ed.) From Frege to Gödel, Harvard University Press 1967, p. 525

• Zur Theorie der algebraischen Funktionen (aus Briefen an Emmy Noether), Mathematische Annalen 106: 52, 1932 (lanzamiento póstumo de resultados de Herbrand por Emmy Noether)

• Théorie arithmétique des corps de nombres de degré infini, Teil I: Extensions algébriques finies de corps infinie, Mathematische Annalen 106: 473, 1932 (con Nachruf von Emmy Noether), Teil II: Extensions algébriques de degré infini, Mathematische Annalen 109: 699, 1933 (de la herencia de Claude Chevalley)

• Sur la non-contradiction de l´arithmétique (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última)., Journal für reine und angewandte Mathematik 166: 1–8, 1931 (con prólogo de Helmut Hasse), traducción en inglés en Heijenoort From Frege to Gödel, Harvard UP, 1967, The consistency of arithmetic, p. 618–628

• O'Connor, John J.; Robertson, Edmund F., «Jacques Herbrand» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Herbrand/ .