Questo sito contribuisce alla audience di

Herbrand, Jacques

logico francese (Parigi 1908-1931). Laureatosi alla Sorbona, l'anno seguente morì durante un'escursione alpinistica. Nella sua breve vita diede diversi contributi alla logica, i più rilevanti dei quali sono la dimostrazione del teorema di deduzione e l'introduzione delle funzioni ricorsive (1931).