Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Jacques Herbrand

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

12 Feb 1908

Paris, France

27 July 1931

La Bérarde, Isère, France

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Jacques Herbrand est entré à l'École Normale Supérieure à l'âge de 17 ans. C'était tout à fait exceptionnelle à cette époque. Pour sa thèse de doctorat il a étudié la logique mathématique qui a été un choix surprenant, étant donné le manque d'intérêt pour ce sujet en France au cours de cette période. Sa thèse de doctorat a été approuvé en avril 1929 et en Octobre de cette année-là Jacques a rejoint l'armée pendant son service militaire.

Après son sort dans l'armée, Herbrand a reçu une bourse Rockefeller pour lui permettre d'études à divers endroits en Europe. Sa première période, jusqu'en Mai 1931, était passé à l'Université de Berlin où il a travaillé avec von Neumann. De Berlin, Herbrand est allé à Hambourg, où il a passé le mois de Juin de travail avec Artin. Sa dernière visite a été à Göttingen, où il a passé le mois de Juillet 1931 avec l'étude Emmy Noether.

Après le départ de Göttingen, a décidé de Herbrand sur une vacances dans les Alpes avant son retour en France. Cependant, il n'a jamais été d'achever ses plans car il est mort dans un accident d'alpinisme dans les Alpes quelques jours seulement après son congé a commencé. Sa mort à l'âge de 23 ans dans un des tragiques pertes à l'enseignement des mathématiques.

Il est incroyable combien de Herbrand réalisés dans le court laps de temps, il a dû entreprendre la recherche mathématique. Il a versé des contributions à la logique mathématique où Théorème de Herbrand sur la théorie des quantificateurs apparaît dans sa thèse de doctorat. Voir pour la discussion d'un écart qui a été trouvée dans la preuve de Herbrand en 1963.

Théorème de Herbrand établit un lien entre la théorie et la quantification sentential logique qui est important dans la mesure où il donne une méthode pour tester une formule en théorie par la quantification de test successivement sentential formules de validité. Depuis les essais pour sentential validité est un processus mécanique, Théorème de Herbrand est aujourd'hui d'une importance majeure pour les logiciels développés pour théorème prouvant par ordinateur.

Herbrand également travaillé sur la théorie des champs compte tenu abelian extensions algébriques nombre de domaines. Dans les quelques mois sur lesquels il a travaillé sur ce sujet, Herbrand publié dix documents. Ces documents de simplifier les preuves des résultats par Kronecker, Heinrich Weber, Hilbert, Takagi et Artin. Herbrand aussi généralisées certains des résultats par ces travailleurs dans la classe la théorie des champs ainsi que la preuve d'importants nouveaux théorèmes de la sienne.

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