[FOM] proof in mathematics (detailed program)

[paolo mancosu]

Proof in Mathematics: Logical, historical, and 
philosophical approaches. 24-28 May, 2005, Lille, 
France.
The goal of the meeting is to bring together a 
variety of prominent scholars engaged in the 
study of the notion of proof in mathematics and 
to create a forum in which different styles of 
analysis can come together and explore new 
possibilities of interaction.Further information 
about the meeting can be requested writing to 
Pierre Cassou-Noguès at

pierre.cassou-nogues at univ-lille3.fr

Proof in mathematics/La preuve en mathématique
Université Lille III, 24-28 mai 2005

Responsable à l'UMR Savoirs et textes: P. Cassou-Noguès
Comité d'organisation: P. Cassou-Noguès (CNRS, 
Savoirs et textes), J. Ferreirós (Séville), P. 
Mancosu (Berkeley, CNRS), M. Panza (CNRS, 
REHSEIS), J.-M. Salankis (Paris X)

Conférenciers: J. Avigad (Carnegie Mellon), J.-Y. 
Béziau (Neuchâtel), H.Bos (University of 
Utrecht), P. Cassou-Noguès (CNRS, Savoir et 
Textes, Lille III), K. Chemla (CNRS, REHSEIS, 
Paris VII), F. De Gandt (Université Lille III), 
J.P. Delahaye (Université Lille I), M. Detlefsen 
(University of Notre Dame), J. Dubucs (CNRS, 
IHPST, Paris I), J. Ferreirós (University of 
Sevilla), M. Giaquinto (University College 
London), J. Gray (Open University), M. Hallett 
(McGill University), D. Hyder (University of 
Ottawa), G. Longo (ENS, Paris), P. Mancosu (U.C. 
Berkeley), P. Martin-Löf (University of 
Stockholm), P. Nabonnand (Archives Poincaré, 
Nancy), M. Panza (CNRS, REHSEIS, Paris VII), F. 
Patras (CNRS, Nice), J. Petitot (EHESS, CREA, 
Paris), D. Prawitz (University of Stockholm), S. 
Rahman (Université Lille III), J.M. Salanskis 
(Université Paris X, Nanterre), S. Shapiro (Ohio 
State University), G. Sundholm (University of 
Leiden), J.J. Szczeciniarz (Université Paris 
VII), J. Tappenden (University of Michigan), M. 
van Atten (CNRS, IHPST, Paris I), F. Zalamea 
(National University of Bogotà).

Discutants: J. Hafner (Paris I), J. Norman 
(University of London), T. Roque (Université 
Fédérale de Rio de Janeiro), H. K. Sørensen 
(Agder University College), F. Steinberger 
(Cambridge University).

PROGRAM / PROGRAMME

May 24 / 24 Mai
9.15 Introduction
9.45 Jean-Michel Salanskis (Université de Paris 
X, Nanterre): Philosophical Perspectives on Proof
11.00 Goran Sundholm (University of Leiden): 
Truth-values and the Theology of Classical Proofs
12.15 Lunch / déjeuner
14.15 Stuart Shapiro (Ohio State): Axioms: We 
hold these truths to be self-evident
15.25 Jean-Paul Delahaye (Université Lille I): Preuves incertaines
16.35 Coffee Break / Pause Café
16.50 Visualization (Round Table) Visualisation (Table ronde)
Giuseppe Longo (ENS, Paris): L'incomplétude 
mathématique des formalismes et la complexité 
intrinsèque de la preuve
Marcus Giaquinto (University College London): 
Visual thinking and proof in analysis: don't 
throw out the baby with the bathwater
Jamie Tappenden (University of Michigan): 
Visualization and Fruitful Conceptual 
Representation
19.00 End of day 1 / Fin de la première journée

May 25 / 25 Mai
9.00 Jeremy Avigad (Carnegie Mellon University): Mathematical method and proof
10.10 Paolo Mancosu (U.C. Berkeley): Unification 
and explanation: a case from real algebraic 
geometry
11.20 Coffee Break / Pause Café
11.35 Philippe Nabonnand (Archives Poincaré, 
Nancy): Comment Carnot, Poncelet et Chasles ont 
étendu la notion de preuve en géométrie pure.
12.45 Lunch / déjeuner
14.45 Jeremy Gray (Open University): Discovery 
and proof in mathematics from Hilbert to Plücker
15.55 Coffee Break / Pause Café
16.15 Perspectives on mathematical knowledge 
(Round Table) Perspectives sur la connaissance 
mathématique (Table Ronde)
David Hyder (University of Ottawa): Cavaillès et 
la philosophie transcendantale des sciences
Pierre Cassou-Noguès (CNRS, Savoirs et Textes, 
Lille III): Sur Cavaillès, Lautman et Gödel
Jean-Jaques Szczeciniarz (Université Paris VII): 
Remarques sur les démonstrations par 
impossibilité, vers le théorème de point fixe.
F. Zalamea (National University of Bogotà): 
Mathematical knowledge in view of Lautman's 
mixtures and saturation processes
19.00 End of day 2 / Fin de la deuxième journée

May 26 / 26 Mai
  9.30 Jean Petitot (EHESS, CREA, Paris): Qu'est qu'une preuve complexe?
10.40 Mark van Atten (CNRS, IHPST, Paris I): 
Intuitionistic interpretations of the 
hypothetical judgement
11.50 Coffee Break / Pause Café
12.05 Frederic Patras (CNRS, Nice): L'imagination mathématique
  13.15 Lunch / déjeuner
  End of day 3 / Fin de la troisième journée. Afternoon free / Après-midi libre

May 27 / 27 Mai
9.00 Karine Chemla (CNRS, REHSEIS, Paris VII): 
Démonstrations algébriques dans un contexte 
algorithmique en Chine ancienne
10.10 François De Gandt (Université Lille III): 
Sur une démonstration de Newton (Principia I, 
44-45) et son destin au XVIIIe siècle
11.20 Coffee Break / Pause Café
11.35 Henk Bos (University of Utrecht): Analysis 
at work : Examples from the Early Modern 
Tradition of Geometrical Problem Solving
12.45 Lunch / déjeuner
14.45 Jean-Yves Béziau (Neuchâtel ): titre à préciser.
15.55 Coffee Break / Pause Café
16.15 Purity of Methods (Round Table) Pureté des méthodes (Table Ronde)
Mic Detlefsen (University of Notre Dame): Purity of Proof
Marco Panza (CNRS, REHSEIS, Paris VII): Lagrange's analytical purity
José Ferreirós (University of Sevilla): Modern 
methods and purity: the case of Dedekind
Michael Hallett (Mc Gill University): Purity of method and higher mathematics
18.30 End of day 4 / Fin de la quatrième journée

May 28 / 28 Mai
9.30 Shahid Rahman (Université Lille III): 
Dialogues, Games and Analytical Tableaux for 
Linear Logic
10.40 Logical perspectives on proof (Round Table) 
Perspectives logiques sur la preuve (Table Ronde)
Per Martin-Löf (University of Stockholm): Proof objects vs. demonstrations
Dag Prawitz (University of Stockholm): Proofs as grounds for assertions
Jacques Dubucs (CNRS, IHPST, Paris I): Length of Proofs
13.00 End of meeting / Fin du colloque