-
Sebastien Maronne (Institut de Mathématiques de Toulouse)23/06/2025 18:00
-
Bertrand Toen, Sebastien Maronne (Institut de Mathématiques de Toulouse)23/06/2025 18:30Grothendieck
Les milliers de pages mathématiques écrites par Alexandre Grothendieck entre son arrivée comme professeur à l’université de Montpellier en 1973 et son départ pour le village de Lasserre en Ariège en 1991 constituent autant de traces des recherches qu’il accomplit durant cette période. Dans cette table ronde, nous suivrons des fragments d’itinéraire de cette exploration mathématique en...
Aller à la page de la contribution -
Clemens Berger (Université Côté d'Azur, Laboratoire Jean-Alexandre-Dieudonné)24/06/2025 09:00Algèbre catégorique et homotopique
La notion de "catégorie" fait son apparition en mathématiques dans la première moitié du vingtième siècle. Dès ses débuts ce nouveau "langage" transforme irréversiblement les approches traditionnelles de la géométrie et de l'algèbre. La priorité est donnée aux relations entre objets en reléguant à l'arrière-plan la façon dont ces objets sont constitués.
Cela entraine d'un côté une réflexion...
Aller à la page de la contribution -
José Ferreiros (Universidad de Sevilla)24/06/2025 11:30Le problème de la représentation et de la compréhension en mathématiques
In recent years we have become accustomed to see philosophy of mathematics interact with studies of mathematical cognition. This happens especially around the number concept, but also in relation to geometry (work by Giaquinto, Giardino, García-Pérez, Hamami, etc.). A third notion that belongs to the cognitive roots of maths is time, but this is not treated usually in our field, perhaps...
Aller à la page de la contribution -
Dominique Pradelle (Sorbonne Université)24/06/2025 16:00Jean-Toussaint Desanti
Nous tâcherons de présenter la philosophie des mathématiques de Desanti. Une telle tâche se heurte, dans le cas de Desanti, à une difficulté spécifique qui tient à son style et à son parcours intellectuels : celle du caractère problématique de l’unité de ses écrits. Car s’il existe bien un style desantien d’interrogation et de langue philosophiques, y a-t-il pour autant chez lui une doctrine...
Aller à la page de la contribution -
Julien Bernard (Aix-Marseille Université, Centre Gilles Gaston Granger), Paola Cantù (CNRS, Centre Gilles Gaston Granger)24/06/2025 18:30Alain Michel
La table ronde abordera quelques thèmes clés de l’épistémologie historique française, en retraçant certaines étapes marquantes de l’œuvre d’Alain Michel (1946-2017), ancien élève de l’École normale supérieure de Saint-Cloud, agrégé de l’université, docteur en philosophie et Professeur des Universités au sein du laboratoire de recherche fondé à Aix-en-Provence par Gilles-Gaston Granger. Il...
Aller à la page de la contribution -
Clemens Berger (Université Côté d'Azur, Laboratoire Jean-Alexandre-Dieudonné)25/06/2025 09:00Algèbre catégorique et homotopique
La notion de "catégorie" fait son apparition en mathématiques dans la première moitié du vingtième siècle. Dès ses débuts ce nouveau "langage" transforme irréversiblement les approches traditionnelles de la géométrie et de l'algèbre. La priorité est donnée aux relations entre objets en reléguant à l'arrière-plan la façon dont ces objets sont constitués.
Cela entraine d'un côté une réflexion...
Aller à la page de la contribution -
Dominique Pradelle (Sorbonne Université)25/06/2025 11:00Jean-Toussaint Desanti
Nous tâcherons de présenter la philosophie des mathématiques de Desanti. Une telle tâche se heurte, dans le cas de Desanti, à une difficulté spécifique qui tient à son style et à son parcours intellectuels : celle du caractère problématique de l’unité de ses écrits. Car s’il existe bien un style desantien d’interrogation et de langue philosophiques, y a-t-il pour autant chez lui une doctrine...
Aller à la page de la contribution -
Valeria Giardino (CNRS, Institut Jean Nicod)25/06/2025 18:00Le problème de la représentation et de la compréhension en mathématiques
Un nombre croissant d'études en philosophie des mathématiques ont été récemment consacrées à l'analyse de segments de la pratique des mathématiques, en reconsidérant des épisodes de son histoire mais aussi en examinant des études de cas contemporaines. Bien entendu, la pratique des mathématiques est multiforme : dans leur travail quotidien, les mathématiciens utilisent de nombreux outils...
Aller à la page de la contribution -
Valeria Giardino (CNRS, Institut Jean Nicod)26/06/2025 09:00Le problème de la représentation et de la compréhension en mathématiques
La compréhension est un thème débattu en théorie de la connaissance. Elle peut se présenter sous diverses formes, dont beaucoup sont très appréciées. Selon de nombreux philosophes des sciences, par exemple, la compréhension est le bien que vise l’enquête scientifique : ce que les scientifiques veulent, lorsqu'ils entament leurs recherches, n’est pas simplement acquérir une série de croyances...
Aller à la page de la contribution -
Martin Strecker (Institut de Recherche en Informatique de Toulouse)26/06/2025 11:30
Cet exposé retrace mon expérience au sein d'un projet en ``Computational
Aller à la page de la contribution
Law'': une tentative de formaliser la loi avec des méthodes informatiques. Je
décris les ambitions initiales, sur-dimensionnées, qui ont été réduites pour se
concentrer sur des contrats. Je discute quels mécanismes logiques sont utilisés pour
formaliser des règles et des systèmes de règles (avec des notions... -
Baptiste Mélès (CNRS, Archives Henri-Poincaré)26/06/2025 16:00
Le Code des Impôts est aujourd'hui, grâce au projet Catala, reformulé dans un langage de programmation permettant à la fois de produire un code informatique lisible par les juristes et un programme certifié sans bogue. En étudiant ce projet, nous reprendrons le programme philosophique mis en œuvre par Jean Ray dans l'/Essai sur la structure logique du Code civil français/ en 1926 : celui de...
Aller à la page de la contribution -
Etienne Fieux26/06/2025 18:00
En 2008, dans l’article (https://arxiv.org/abs/0808.0739) Boolean formulae, hypergraphs and combinatorial topology, les mathématiciens J. Conant et O. Thistlethwaite proposent une approche originale pour traiter le problème P = NP ? en utilisant les outils de combinatoire topologique afin de transformer une question de complexité algorithmique en une question de « géométrie ».
Aller à la page de la contribution
Même si cette... -
Jean-Jacques Szczeciniarz26/06/2025 19:00
-
Sergei Soloviev27/06/2025 09:00
Nicolay Aleksandrovitch Shanin (1919-2011) has been a prominent mathematician who is remembered nowadays mostly as one of the leaders of the so called “Russian school of constructive mathematics” founded by A.A. Markov.
Aller à la page de la contribution
The mathematical talent of N.A. Shanin manifested itself early: in 1939, he entered the doctoral school, with A.A. Markov as adviser.
The mathematical activity of N.A. Shanin... -
Thomas Berthod27/06/2025 10:15
En philosophie de la pratique mathématique, l’usage des diagrammes est un thème récurrent d’étude. Néanmoins, la plupart des études se concentrent sur des exemples qui concernent des théories plus ou moins géométriques : la géométrie – ou du moins une partie de celle – décrite dans les Eléments d’Euclide, la théorie des nœuds, la pratique géométrique de différents mathématiciens grecs, etc. A...
Aller à la page de la contribution -
Andrea Ariotto27/06/2025 11:30
Cet exposé restituera la discussion historique et théorique de la philosophie des mathématiques du premier Husserl dans son rapport avec la tradition française en philosophie des mathématiques.
Aller à la page de la contribution
Premièrement, je souhaite présenter une reconstruction de la réception française des premiers travaux de Husserl (essentiellement la Philosophie der Arithmetik). Pour cela, je vais m’arrêter sur le...
Choisissez le fuseau horaire
Le fuseau horaire de votre profil: