Informes
25/05/05 La Preuve en Mathematique, Univ. Lille III: Perspectives on math. knowledge roundatble: David Hyder: Cavailles & philosophie trancendentale des sciences / Pierre Cassou-Noguès: Cavailles, Lautman, Goedel / Jean-Jacques Szczeciniarz: Demonstrations par impossibilité vers le theoreme de point fixe / Fernando Zalamea: Math. knowledge, Lautman's mixtures & saturation processes / discussion