HERBRAND, JACQUES (1908-1931)

Nac. en París, se distinguió por sus trabajos sobre la prueba de consistencia de teorías for­males. Se suele clasificar a Herbrand entre los intuicionistas (véase Intuicionismo) en mate­mática, y el propio Herbrand habló de méto­dos intuicionistas, pero se ha hecho notar que el significado de ‘intuicionista’ en Herbrand no coincide con el que tiene en Brouwer y, en cambio, encaja con el de ‘finitista’ en el sen­tido de Hilbert. En todo caso, los trabajos de Herbrand van encaminados a cumplir el pro­grama de Hilbert. El más importante, y cono­cido, de dichos trabajos contiene el llamado «teorema fundamental de Herbrand» o, simplemente, «teorema de Herbrand», según el cual «cada fórmula que puede ser probada en la lógica de predicados es reducible a una fór­mula no cuantificada, la cual es una tautolo­gía del cálculo de enunciados».