Une journée spéciale "L'Héritage Scientifique de Jacques Herbrand'' est organisée à l'occasion du centième anniversaire de la naissance de Jacques Herbrand le vendredi 15 février 2007 par le Département de mathématiques et applications (DMA) de l'ENS et l'équipe de Logique de Paris 7. Elle se tiendra en salle Dussane. Cinq conférences d'une heure sont prévues, couvrant l'ensemble des domaines où l'influence des idées de Herbrand a été importante (théorie des nombres, logique, informatique, philosophie).

Les exposés sont prévus pour être accessibles à un large public, l'objectif étant de présenter aux jeunes générations qui ne les connaissent pas nécessairement les contributions d'Herbrand ainsi que les développements plus récents issus de ses idées. Le programme sera résolument interdisciplinaire et montrera la grande diversité de l'héritage scientifique de Jacques Herbrand. Les collègues suivants ont accepté de donner une conférence d'une heure :

9h45 10h-11h 11h15-12h15 14h15-15h15 15h30-16h30 17h-18h 18h

Ouverture Warren Goldfarb : Herbrand and the early development of proof theory Thierry Coquand : Herbrand et le programme de Hilbert Ulrich Kohlenbach : Herbrand's theorem and extractive proof theory Catherine Goldstein : La place de J. Herbrand dans la théorie des nombres de l'entre-deux-guerres Kenneth A. Ribet : Modular constructions of unramified extensions and their relation with a theorem of Herbrand Clôture par Mme Monique Canto-Sperber