Organisers : Sylvain Cabanacq,
Emmylou Haffner,
David Rabouin
No prerequisites are expected from participants. On the contrary, the idea is to share historical knowledge, mathematical skills, philosophical insights and points of view. Our starting points will go from recent papers, discussed together, to mathematical theories (for example, group representation) or more “classical” historical and philosophical writings (Weyl, Lautman, …). This year, the group will be organized in series of sessions united by a theme. A large part of each session will be devoted to questions and discussion.
| To current year and archives 2011– |
PROGRAMME 2012-2013 : twice a month, Thursdays, 10:00–13:00, Room Rothko (412B), Université Paris Diderot, Building Condorcet, 75013 Paris.
First Semester
2012, Sept. 20
D’autres théories fondationnelles : "Univalent foundations" et FOLDS
Session : Sylvain Cabanacq
Oct. 18
Introduction à la théorie descriptive des ensembles
Session : Raphaël Carroy (Lausanne/Equipe de Logique de Paris Diderot)
Nov. 8
De la hiérarchie analytique à la théorie effective
Session : Raphaël Carroy (Lausanne/Equipe de Logique de Paris 7)
Dec. 6
Correspondance de Galois et mécanique quantique
Session : Julien Page (SPHERE - ERC "Philosophy of quantuum gravity")
Dec. 20
Problem solving in number theory
Talk : Emily Grosholz->http://www.sphere.univ-paris-diderot.fr/spip.php?article101] (Penn State University)
2013 Jan. 17
: : Wittgenstein on mathematics
L’objectif de cette journée est de soulever des problèmes liés aux remarques de Wittgenstein sur les mathématiques. Elle est destinée aux étudiants et aux chercheurs qui s’intéressent à Wittgenstein, mais aucune connaissance préalable n’est requise.
Les lectures recommandées sont :
– les Cours sur les Fondements des Mathématiques (au moins le 1er cours),
– les Remarques sur les Fondements des Mathématiques (2e partie, 1938 – sur Cantor).
matin : on concept-formation and facts of nature
Exposé de Robert Clark (University of York, UK)
Criticising Cantor on the transfinite, Wittgenstein suggests we distinguish ‘determination of a concept’ from ‘fact of nature’. I advance an account of Wittgenstein’s distinction as part of an overview of the development of numerical concepts which, I claim, helps to undercut and defuse realist/anti-realist debates about mathematics.
p.m. : Logique et Mathématiques chez Wittgenstein
14 :30 - 16 :00 Pascal Bertin (Univ. paris Diderot, SPHERE)
Afin de livrer des outils pour une approche synoptique de la pensée wittgensteinienne et un éclaircissement de la notion, absolument centrale, de "règle grammaticale", nous ferons dans un premier temps le lien entre la "forme logique" du Tractatus et le "critère logique" (ou "grammatical") des Investigations philosophiques. Nous serons alors en mesure de rendre compte du fait que la logique ne saurait, pour Wittgenstein, répondre aux ambitions logicistes, et ce 1) parce qu’elle est de nature grammaticale, 2) en raison du statut particulier des "propositions" mathématiques. Chacun de ces points demandera un éclaircissement propre, et le second nous amènera en outre à poser plus clairement les premiers éléments d’une approche distinctive entre procès logique et mathématique.
16 :00 - 17 :30 et Ramzi Kebaili (Univ. paris Diderot, SPHERE)
Second Semester
Jan. 31
Gödel and Intuitionism
Talk : Mark Van Atten (IHPST)
Feb. 21
Poincaré et l’intuitionnisme
Talk : Igor Ly (CEPERC)
March 7
Structuralisme et la notion d’objet mathématique
Fernando Galvez (IHPST)
March 21
Structuralisme et combinatoire
Brice Halimi (SPHERE)
March 28
Structuralism and the philosophy of mathematics
Erich Reck (UC Riverside)
April 17 !! exceptionnally Wednesday at 15:30 and Room Malevitch, 483A !!
Regards croisés sur les surfaces de Riemann
Etienne Ghys (École Normale Supérieure de Lyon)
May 16 !! full day !!
10 :00–12 :30 Le problème de l’espace de Clifford-Klein
Renaud Chorlay (Univ. Paris Diderot)
14 :30–17 :30 Hermann Weyl and Riemann surfaces
Jeremy Gray (Open University)
June 25 , !! Room Klimt !!
10 :00–11 :30 Théorie des catégories et la méthode axiomatique
Andrei Rodin (Université de Saint-Petersburg et Institut de Philosophie, Académie des Sciences de Russie)
This talk is a presentation of a forthcoming book at Springer.
11 :30–13 :00 Processus de création et de comparaison chez Daniel Kan : une approche inspirée de Cavaillès
Guillaume Couffignal (IMT)
14 :00–15 :30 A Paradox in Naive Category Theory
Michael Ernst (UC Irvine)
