Journée "L'Héritage scientifique de Jacques Herbrand"

à l'occasion du centième anniversaire de sa naissance

Vendredi 15 février 2008, salle Dussane, École normale supérieure

 

Affiche herbrand.pdf

La bibliothèque de Mathématiques & Informatique propose une exposition en lien avec le colloque du vendredi 15 février 2008 sur l'Héritage Scientifique de Jacques Herbrand. http://www.dma.ens.fr/bibliotheque/expo_Herbrand

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

 

Résumés des exposés

Transparents des conférenciers : T. Coquand, W. Goldfarb, C. Goldstein, U. Kohlenbach, K. A. Ribet

 

Le comité scientique est composé de :

Françoise Delon (Paris 7)
François Loeser (ENS)
Angus Macintyre (Londres)