AccueilCycle de conférences en philosophie des mathématiques
Cycle de conférencesÉtudes des sciences
Catégories
Cycle de conférences en philosophie des mathématiques
Philmath Intersem 2015
Publié le mercredi 29 avril 2015 par Céline Guilleux
Résumé
La sixième édition du cycle de conférences en philosophie des mathématiques 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.
Annonce
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"
Catégories
- Études des sciences (Catégorie principale)
- Sociétés > Études des sciences > Philosophie des sciences
Lieux
- Bâtiment Condorcet, Salle Klimt (366A) - 4 rue Elsa Morante
Paris, France (75013)
Dates
- mardi 02 juin 2015
- jeudi 04 juin 2015
- mardi 09 juin 2015
- jeudi 11 juin 2015
- mardi 16 juin 2015
- jeudi 18 juin 2015
- mardi 23 juin 2015
- jeudi 25 juin 2015
Mots-clés
- mathématiques
Contacts
- Emmylou Haffner
courriel : emmylou [dot] haffner [at] gmail [dot] com
URLS de référence
Source de l'information
- Emmylou Haffner
courriel : emmylou [dot] haffner [at] gmail [dot] com
Pour citer cette annonce
« Cycle de conférences en philosophie des mathématiques », Cycle de conférences, Calenda, Publié le mercredi 29 avril 2015, http://calenda.org/326782