Jacques Herbrand
Jacques Herbrand (Parigi, 12 febbraio 1908 – La Bérarde, 27 luglio 1931) è stato un matematico francese.
Biografia
[modifica | modifica wikitesto]Laureato a Parigi alla École normale supérieure[1] nel 1929 sotto la guida di Ernest Vessiot, dopo un periodo nell'esercito lavorò nel 1931 come ricercatore presso l'Università di Gottinga. Ha introdotto il concetto di funzione ricorsiva.
Il teorema di Herbrand è uno dei primi risultati della teoria della dimostrazione e fornisce un metodo per verificare la validità di una formula con quantificatori in base alla soddisfacibilità proposizionale. Dal momento che il controllo di soddisfacibilità può essere eseguito meccanicamente, il teorema di Herbrand giustifica l'uso di strumenti software. Il quoziente di Herbrand è un tipo di caratteristica di Eulero usato in algebra omologica.
Sebbene morto a soli 23 anni, a causa di un incidente d'alpinismo nelle Alpi,[2] è considerato uno dei più importanti matematici del ventesimo secolo.[3] In suo onore sono stati intitolati molti concetti della cosiddetta (postuma) algebra dei termini, quali la struttura di Herbrand, l'interpretazione di Herbrand, la base di Herbrand o l'universo di Herbrand.
Opere
[modifica | modifica wikitesto]- 1930 - Investigations in proof theory
- 1931 - On the consistency of arithmetic
- 1967 - Jean van Heijenoort (prima edizione)
- 1968 - Jean van Heijenoort (seconda edizione)
- 1971 - Warren David Goldfarb
Note
[modifica | modifica wikitesto]- ^ (EN) Jacques Herbrand - Biography, su Maths History. URL consultato il 4 luglio 2024.
- ^ JACQUES HERBRAND, su faculty.evansville.edu. URL consultato il 4 luglio 2024.
- ^ Jacques Herbrand - The Mathematics Genealogy Project, su www.mathgenealogy.org. URL consultato il 4 luglio 2024.
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Jacques Herbrand
Collegamenti esterni
[modifica | modifica wikitesto]- Herbrand, Jacques, su sapere.it, De Agostini.
- Herbrand, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Jacques Herbrand, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Jacques Herbrand, su MacTutor, University of St Andrews, Scotland.
- (EN) Jacques Herbrand, su Mathematics Genealogy Project, North Dakota State University.
- (EN) Opere di Jacques Herbrand, su Open Library, Internet Archive.
| Controllo di autorità | VIAF (EN) 24739214 · ISNI (EN) 0000 0001 1046 6443 · LCCN (EN) n82054836 · GND (DE) 118774018 · BNF (FR) cb13164727x (data) · J9U (EN, HE) 987007276620305171 |
|---|
