Présentation

La 6e édition du Philmath Intersem se tiendra du 2 au 25 juin 2015. Le thème cette année est la nature et le(s) rôle(s) des constructions en mathématiques.

Le Philmath Intersem est une collaboration de Notre Dame University, l'Université Paris Diderot, le laboratoire Sphere et l'Université de Lorraine.

Les abstracts, conseils de lectures et informations pratiques sont disponibles sur le site suivant.

Programme

Mardi 2 juin

16h00

• Göran Sundholm (University of Leiden), "Constructions in Constructive Mathematics and Logic"

Jeudi 4 juin

16h00

• David Rowe (Johannes Gutenberg University, Mainz), "Reflections on the Role of Construction in Hilbert's Grundlagen der Geometrie"

Mardi 9 juin

16h00

• Gilles Dowek (INRIA, Deducteam), "A radical view of proofs as algorithms: certifying vs. certified algorithms"

Jeudi 11 juin

Session double.

• 14h00 - John Bell (University of Western Ontario), "Hermann Weyl and Constructivism"
• 16h15 - Carl Posy (Hebrew University of Jerusalem), "Intuition and Construction in the Foundations of Mathematics: Three Case Studies"

Mardi 16 juin

Session double.

• 14h00 - Frédéric Brechenmacher (Université d'Artois; CNRS), "Naturalness and effectiveness  in Kronecker’s arithmetical theory of algebraic magnitudes"
• 16h15 - Marco Panza (Université Paris 1, Pantheon-Sorbonne, IHPST; CNRS), "What makes Descartes' Geometrical Curves Geometrical and his Mechanical Curves Mechanical?"

Jeudi 18 juin

Session double.

• 14h00 - Mark van Atten (Université Paris 1, Pantheon-Sorbonne, IHPST; CNRS), "Kripke's Schema, transfinite proofs, and Troelstra's Paradox"
• 16h15 -  David McCarty (Indiana University-Bloomington), "Why is Intuitionism Constructive Mathematics?"

Mardi 23 juin

16h00.

•  Nathan Sidoli (Waseda University), "Constructions and Problems in Euclid's Elements"

Jeudi 25 juin

16h00.

• Orna Harari (Tel Aviv University), "Geometrical Construction: Greek Philosophical Perspectives"