Ir al contenido

Jacques Herbrand

De Wikipedia, la enciclopedia libre
Jacques Herbrand
Información personal
Nacimiento 12 de febrero de 1908 Ver y modificar los datos en Wikidata
París (Francia) Ver y modificar los datos en Wikidata
Fallecimiento 27 de julio de 1931 Ver y modificar los datos en Wikidata (23 años)
Saint-Christophe-en-Oisans (Francia) Ver y modificar los datos en Wikidata
Causa de muerte Accidente de montaña Ver y modificar los datos en Wikidata
Nacionalidad Francesa
Educación
Educado en
Supervisor doctoral Ernest Vessiot Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático y filósofo Ver y modificar los datos en Wikidata
Área Teoría de la demostración y lógica matemática Ver y modificar los datos en Wikidata
Obras notables teorema de Herbrand-Ribet Ver y modificar los datos en Wikidata
Distinciones
  • Prix Francoeur (1931) Ver y modificar los 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.

Algunas publicaciones

[editar]
  • 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

Enlaces externos

[editar]