b'\n_START_ARTICLE_\nJacques Herbrand\n_START_PARAGRAPH_\nJacques Herbrand, f\xc3\xb6dd den 12 februari 1908, d\xc3\xb6d den 27 juli 1931, var en fransk logiker och matematiker._NEWLINE_Herbrand gjorde fundamentala insatser inom formell bevisteori i s\xc3\xa5v\xc3\xa4l satslogik som predikatlogik och var framst\xc3\xa5ende inom den abstrakta algebran. En m\xc3\xa4ngd satser inom dessa omr\xc3\xa5den b\xc3\xa4r Herbrands namn och han var den f\xc3\xb6rste, som publicerade ett bevis f\xc3\xb6r det s\xc3\xa5 kallade deduktionsteoremet 1930._NEWLINE_Herbrand konstruerade 1929 ett bevis f\xc3\xb6r konsistensen hos ett axiomsystem f\xc3\xb6r aritmetiken. Han introducerade \xc3\xa4ven generella rekursiva funktioner, vilka har kommit att f\xc3\xa5 en fundamental betydelse inom datavetenskap._NEWLINE_Herbrand studerade vid \xc3\x89cole normale sup\xc3\xa9rieure i Paris och senare p\xc3\xa5 ett stipendium i Berlin och G\xc3\xb6ttingen i Tyskland, d\xc3\xa4r han som l\xc3\xa4rare hade bland andra John von Neumann och Emmy Noether._NEWLINE_Herbrand omkom vid en bergsbestigningsolycka i franska alperna vid endast 23 \xc3\xa5rs \xc3\xa5lder._NEWLINE_Bland Herbrands arbeten m\xc3\xa4rks bland annat, Travaux de la soci\xc3\xa9t\xc3\xa9 des sciences et des lettres de Varsovie, Classe III, Sciences math\xc3\xa9matiques et physiques, Nr 33, Warzaw 1930.'