Responsables : Sylvain Cabanacq,
Emmylou Haffner,
David Rabouin
Aucun pré-requis n’est exigé des participants : il s’agira au contraire de partager ses connaissances historiques, ses compétences mathématiques et ses points de vue, en prenant pour point de départ tant des articles récents, qui seront discutés en commun, que des domaines mathématiques (comme les représentations de groupe) ou des positions historiques et philosophiques plus « classiques » (Weyl, Lautman, …). Nous fonctionnerons, cette année, par séries thématiques de sessions. Une grande partie de chaque séance sera ainsi consacrée aux questions et à la discussion.
PROGRAMME 2012-2013 :
Les séances ont lieu le jeudi de 10h à 13h, en salle Rothko (412B) sauf exception.
Premier semestre
20 septembre 2012
D’autres théories fondationnelles : "Univalent foundations" et FOLDS
Séance animée par Sylvain Cabanacq
18 octobre
Introduction à la théorie descriptive des ensembles
Séance animée par Raphaël Carroy (Lausanne/Equipe de Logique de Paris Diderot)
8 novembre
De la hiérarchie analytique à la théorie effective
Séance animée par Raphaël Carroy (Lausanne/Equipe de Logique de Paris 7)
6 décembre
Correspondance de Galois et mécanique quantique
Séance animée par Julien Page (SPHERE - ERC "Philosophy of quantuum gravity")
20 décembre
Problem solving in number theory
Exposé d’Emily Grosholz (Penn State University)
17 janvier 2013
: : Wittgenstein on mathematics
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.
Après-midi : 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)
Towards a Wittgensteinian Philosophy of Mathematics ?
Second semestre
31 janvier
L’unité de la philosophie des mathématiques de Poincaré
Exposé de Igor Ly (CEPERC)
21 février
Gödel and Intuitionism
Exposé de Mark Van Atten (IHPST)
7 mars
Axioms in mathematical practice
Dirk Schlimm (McGill)
21 mars
Structuralisme et la notion d’objet mathématique
Fernando Galvez (IHPST)
28 mars
Structuralism and the philosophy of mathematics
Erich Reck (UC Riverside)
17 avril !! exceptionnellement mercredi à 15h30 et en salle Malevitch, 483A !!
: : Sur les surfaces de Riemann
Regards croisés sur les surfaces de Riemann
Etienne Ghys (École Normale Supérieure de Lyon)
16 mai !! journée complète !!
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)
25 juin !! salle Klimt, 366A !!
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)
Cet exposé est une présentation de l’ouvrage à paraître fin juin chez 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)
