Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Jacques Herbrand

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

12 Feb 1908

Paris, France

27 July 1931

La Bérarde, Isère, France

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Jacques Herbrand entró en la École Normale Supérieure a la edad de 17. Esto es bastante excepcional en ese momento. Para su tesis doctoral estudió lógica matemática que es una elección sorprendente, dada la falta de interés en ese tema en Francia en este período. Su tesis doctoral fue aprobado en abril de 1929 y en octubre de ese año, Jacques se sumaron a las fuerzas armadas por su servicio militar.

Después de su hechizo en el ejército, Herbrand obtuvo una beca Rockefeller que le permita estudiar en diversos lugares de Europa. Su primer período, hasta mayo de 1931, se gastó en la Universidad de Berlín donde trabajó con von Neumann. Desde Berlín, Herbrand fue a Hamburgo donde pasó el mes de junio de trabajo con Artin. Su última visita fue a Göttingen donde pasó el mes de julio de 1931 con el estudio de Emmy Noether.

Después de salir de Göttingen, Herbrand decidió en unas vacaciones en los Alpes antes de su retorno a Francia. Sin embargo nunca fue para completar sus planes para murió en un accidente de alpinismo en los Alpes sólo unos días después de su fiesta comenzó. Su muerte a la edad de 23 años en una de las trágicas pérdidas para las matemáticas.

Es increíble cuánto Herbrand logrado en el poco tiempo que tenía que llevar a cabo la investigación matemática. Hizo contribuciones a la lógica matemática, donde el teorema de Herbrand en la teoría de quantifiers aparece en su tesis doctoral. Véase para el debate de una laguna que se encuentra en Herbrand la prueba en 1963.

Herbrand del teorema establece un vínculo entre la teoría y la cuantificación sentential lógica que es importante en el sentido de que ofrece un método para poner a prueba una fórmula en la cuantificación de la teoría, sucesivamente, las pruebas fórmulas para sentential validez. Dado que las pruebas de validez sentential es un proceso mecánico, Herbrand del teorema de hoy es de gran importancia en el software desarrollado para demostrar el teorema de ordenador.

Herbrand también trabajó en la teoría de campos considerar Abelian extensiones de campos de números algebraicos. En los pocos meses, en la que trabajó sobre este tema, Herbrand publicado diez documentos. Estos documentos simplificar las pruebas de los resultados de Kronecker, Heinrich Weber, Hilbert, Takagi y Artin. Herbrand también generalizadas algunos de los resultados de estos trabajadores en el campo de la teoría de clase, así como probar algunas nuevas e importantes teoremas de la suya.

Source:School of Mathematics and Statistics University of St Andrews, Scotland