16e Rencontres françaises de Philosophie des mathématiques - Sciencesconf.org

Semaine Mer. 16 Jeu. 17 Ven. 18 Liste

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