Jacques Herbrand

Da Wikipedia, l'enciclopedia libera.
Jacques Herbrand

Jacques Herbrand (Parigi, 12 febbraio 1908[1]La Bérarde, 27 luglio 1931) è stato un matematico francese.

Laureato a Parigi alla École Normale Supérieure[2] 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 verifica della validità del primo ordine. Dal momento che il controllo di validità 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,[3] è considerato uno dei più importanti matematici del ventesimo secolo[4].

Bibliografia[modifica | modifica sorgente]

  • 1995 - Jacques Herbrand sarebbe odiato
  • 1971 - Warren David Goldfarb
  • 1968 - Jean van Heijenoort edizione due
  • 1967 - Jean van Heijenoort edizione uno
  • 1930 - Investigations in proof theory
  • 1931 - On the consistency of arithmetic

Note[modifica | modifica sorgente]

  1. ^ http://www.math.ens.fr/herbrand100/GoldfarbHerbrandSlides.pdf
  2. ^ Herbrand biography
  3. ^ Jacques Herbrand
  4. ^ The Mathematics Genealogy Project - Jacques Herbrand

Controllo di autorità VIAF: 24739214 LCCN: n82054836