b"\n_START_ARTICLE_\nJacques Herbrand\n_START_PARAGRAPH_\nJacques Herbrand (Parigi, 12 febbraio 1908 \xe2\x80\x93 La B\xc3\xa9rarde, 27 luglio 1931) \xc3\xa8 stato un matematico francese._NEWLINE_Laureato a Parigi alla \xc3\x89cole Normale Sup\xc3\xa9rieure nel 1929 sotto la guida di Ernest Vessiot, dopo un periodo nell'esercito lavor\xc3\xb2 nel 1931 come ricercatore presso l'Universit\xc3\xa0 di Gottinga. Ha introdotto il concetto di funzione ricorsiva. Il teorema di Herbrand \xc3\xa8 uno dei primi risultati della teoria della dimostrazione e fornisce un metodo per verificare la validit\xc3\xa0 di una formula con quantificatori in base alla soddisfacibilit\xc3\xa0 proposizionale. _NEWLINE_Dal momento che il controllo di soddisfacibilit\xc3\xa0 pu\xc3\xb2 essere eseguito meccanicamente, il teorema di Herbrand giustifica l'uso di strumenti software._NEWLINE_Il quoziente di Herbrand \xc3\xa8 un tipo di caratteristica di Eulero usato in algebra omologica._NEWLINE_Sebbene morto a soli 23 anni, a causa di un incidente d'alpinismo nelle Alpi, \xc3\xa8 considerato uno dei pi\xc3\xb9 importanti matematici del ventesimo secolo."