PhilMath Intersem est une collaboration de Notre Dame University, l’Université Paris Diderot, le laboratoire Sphere et l’Université de Lorraine.
La 6e édition de l’école d’été Philmath Intersem a eu lieu du 2 au 25 juin 2015. Le thème de cette année était la nature et le(s) rôle(s) des constructions en mathématiques.
Les résumés, conseils de lectures et informations pratiques sont disponibles sur le site : https://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-6-2015/
Contact : Emmylou Haffner (Université Paris Diderot, SPHERE),
Tous les séances auront lieu salle Klimt (366A) du bâtiment Condorcet (10 rue Alice Domon & Léonie Duquet, 75013 Paris), sur le campus de l’Université Paris Diderot.
Séances du 2, 4, 9, 11, 16, 18, 23, 25
Mardi 2 juin, 16:00
- Göran Sundholm (University of Leiden)
Constructions in Constructive Mathematics and Logic
Jeudi 4 juin, 16:00
- David Rowe (Johannes Gutenberg University, Mainz)
Reflections on the Role of Construction in Hilbert’s Grundlagen der Geometrie
Mardi 9 juin, 16:00
- Gilles Dowek (INRIA, Deducteam)
A radical view of proofs as algorithms : certifying vs. certified algorithms
Jeudi 11 juin. Session double.
14:00
- John Bell (University of Western Ontario)
Hermann Weyl and Constructivism
16:15
- Carl Posy (Hebrew University of Jerusalem)
Intuition and Construction in the Foundations of Mathematics : Three Case Studies
Mardi 16 juin. Session double.
14:00
- Frédéric Brechenmacher (Université d’Artois ; CNRS)
Naturalness and effectiveness in Kronecker’s arithmetical theory of algebraic magnitudes
16:15
- 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.
14:00
- Mark van Atten (Université Paris 1, Pantheon-Sorbonne, IHPST ; CNRS)
Kripke’s Schema, transfinite proofs, and Troelstra’s Paradox
16:15
- David McCarty (Indiana University-Bloomington)
Why is Intuitionism Constructive Mathematics ?
Mardi 23 juin, 16:00
- Nathan Sidoli (Waseda University)
Constructions and Problems in Euclid’s Elements
Jeudi 25 juin, 16:00
-
Orna Harari (Tel Aviv University)
Geometrical Construction : Greek Philosophical Perspectives
Directors : Pr. Michael Detlefsen (University of Notre Dame) and Pr. Jean-Jacques Szczeciniarz (Université de Paris 7-Diderot)
Dans la même rubrique :
- Recapitulatif : événements passés 2014–2015
- Séminaire SAW 2013-2015 : Mathematical practices in the context of the astral sciences
- Sciences et philosophie de l’Antiquité à l’Age classique 2014–2015
- Pouvoirs de l’imagination. Approches historiques. 2014–2015
- Entretiens HPS de Paris Diderot 2014–2015
- AXE HISTOIRE ET PHILOSOPHIE DES MATHÉMATIQUES
- Histoire et philosophie des mathématiques 2014–2015
- Lecture de textes mathématiques 2014–2015
- Mathématiques "arabes" 2014–2015
- Mathématiques à la Renaissance 2014–2015
- Mathématiques à l’Âge classique 2014–2015
- Mathématiques et Philosophie, 19e et 20e siècles 2014–2015
- AXE HISTOIRE ET PHILOSOPHIE DES SCIENCES DE LA NATURE
- Histoire et philosophie de la physique 2014–2015
- Groupe de travail des doctorants en histoire et philosophie de la physique 2014–2015
- La cosmologie d’Averroès : le Commentaire moyen au De caelo d’Aristote 2014–2015
- Histoire de la lumière 2014–2015
- Physique et Logique. Philosophie naturelle et théorie de la science chez Aristote 2014–2015
- Striving for Coherence : Readings in Averroes’ Incoherence of the Incoherence 2014–2015
- AXE HISTOIRE ET PHILOSOPHIE DE LA MEDECINE
