HomeCycle de conférences en philosophie des mathématiques
Lecture seriesScience studies
Subjects
Cycle de conférences en philosophie des mathématiques
Philmath Intersem 2015
Published on Wednesday, April 29, 2015
Abstract
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.
Announcement
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"
Subjects
- Science studies (Main category)
- Society > Science studies > Philosophy of science
Places
- Bâtiment Condorcet, Salle Klimt (366A) - 4 rue Elsa Morante
Paris, France (75013)
Date(s)
- Tuesday, June 02, 2015
- Thursday, June 04, 2015
- Tuesday, June 09, 2015
- Thursday, June 11, 2015
- Tuesday, June 16, 2015
- Thursday, June 18, 2015
- Tuesday, June 23, 2015
- Thursday, June 25, 2015
Keywords
- mathématiques
Contact(s)
- Emmylou Haffner
courriel : emmylou [dot] haffner [at] gmail [dot] com
Reference Urls
Information source
- Emmylou Haffner
courriel : emmylou [dot] haffner [at] gmail [dot] com
License
This announcement is licensed under the terms of Creative Commons CC0 1.0 Universal.
To cite this announcement
« Cycle de conférences en philosophie des mathématiques », Lecture series, Calenda, Published on Wednesday, April 29, 2015, https://calenda.org/326782