HERBRAND JACQUES (1908-1931)
Logicien et mathématicien français né à Paris et mort à Saint-Christophe-en-Oisans dans un accident de montagne. La brève carrière de Jacques Herbrand est marquée par sa démonstration, essentiellement correcte, d'un théorème central du calcul des prédicats du premier ordre, qui a des rapports étroits avec le théorème de complétude et les travaux de Gentzen, ainsi que par d'intéressantes contributions à la théorie de la démonstration et à la théorie du corps de classe.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Gabriel SABBAGH : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII
Classification
Pour citer cet article
Gabriel SABBAGH, « HERBRAND JACQUES (1908-1931) », Encyclopædia Universalis [en ligne], consulté le . URL :
Autres références
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 5 403 mots
- 1 média
Théorème « fondamental » de Herbrand (1930). Si A est démontrable dans le calcul des prédicats, alors on peut trouver deux suites finies ṯ et u̱ telles que AH ṯ , u̱ soit une tautologie. -
GÖDEL KURT (1906-1978)
- Écrit par Daniel ANDLER
- 2 017 mots
-
RÉCURSIVITÉ, logique mathématique
- Écrit par Kenneth Mc ALOON, Bernard JAULIN, Jean-Pierre RESSAYRE
- 7 845 mots
