Programme
| Heures |
événement |
(+)
|
|
10:30 - 12:00
|
Olivier Fouquet (Laboratoire de Mathématiques de Besançon) - Get real! (How $p$-adic numbers came to be). (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
|
12:00 - 14:00
|
Déjeuner |
|
|
14:00 - 15:30
|
Iulian Toader (University of Vienna) - Judging Properly: Against the Ramseyan view on Weyl’s Quantifiers (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
|
15:30 - 16:00
|
Pause café |
|
|
16:00 - 17:30
|
Wesley Holliday (U. California - Berkeley, É.-U.) - From Constructive Mathematics and Quantum Mechanics to Fundamental Logic (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
| Heures |
événement |
(+)
|
|
09:00 - 10:30
|
Sandra Bella (AHP, Université de Lorraine) - L’invention de l’osculation par Leibniz. Enjeux techniques et conceptuels (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold) |
|
|
10:30 - 11:00
|
Pause |
|
|
11:00 - 12:30
|
Guillaume Massas (Scuola Normale Superiore, Pisa) - A New Way Out of Galileo’s Paradox (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold) |
|
|
12:30 - 14:30
|
Déjeuner |
|
|
14:30 - 16:00
|
胡靖凯 (Hu Jingkai) (Pays Germaniques, ÉNS) - Phenomenological Analysis on Visualization and Intuition in Mathematics (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold) |
|
|
16:00 - 16:30
|
Pause café |
|
|
16:30 - 18:00
|
Mark Wilson (University of Pittsburgh) - Reasoning Control through Topographic Chart (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold) |
|
|
18:00 - 19:30
|
Réunion du GDR - Réunion du GDR |
|
|
20:00 - 22:30
|
Dîner |
|
| Heures |
événement |
(+)
|
|
09:00 - 10:30
|
Jean-Philippe Narboux (CREPhAC, Université de Strasbourg) - Wittgenstein on the Status of the Law of Excluded Middle in Mathematics (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
|
10:30 - 11:00
|
Pause café |
|
|
11:00 - 12:30
|
Andrea Ariotto (Sorbonne Université / Università del Piemonte orientale) - Fécondité et objectivité du formalisme chez Cavaillès et Husserl (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
|
12:30 - 14:00
|
Déjeuner |
|
|
14:00 - 15:30
|
Valérie Debuiche (CGGG, Aix-Marseille Université) - Leibniz's work on perspective: from representation to projection (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002) |
|
|
Chargement...