Pour rappel :
Colloque international « L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue » 25-27 octobre 2021 par Zoom (voir détails ci-dessous) coordonné parRetour ligne manuel Mark van Atten (CNRS : UMR 8547 - Archives Husserl)Retour ligne manuel Dominique Pradelle (Sorbonne Université / Archives Husserl)Retour ligne manuel et Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF) Programme : heure de Paris (CEST = UTC +2) Lundi 25 octobre 2021 09h00 - Accueil des participants et introduction 1/ Commencements arabes et grecs de l’intuitionnisme 09h15 - Roshdi Rashed (CNRS)Retour ligne manuel « Ménélaüs : un mathématicien proto-intuitionniste ? » 10h15 - Thomas Auffret (Sorbonne Université / Centre Léon Robin)Retour ligne manuel « Le tiers-exclu chez Epicure et Chrysippe » Pause 11h30 - Behnam Zolghadr (Ludwig-Maximilians Universität, Munich)Retour ligne manuel « The theory of Ahwal : a formal semantics » Pause déjeuner 14h00 - Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)Retour ligne manuel « L’intuitionnisme d’al-Samaw’al (m. 1175) entre algèbre, géométrie et théologie » 2/ Formes modernes de l’intuitionnisme 15h00 - Burt Hopkins (CNRS : STL) et Stepan Holub (Université Charles, Prague)Retour ligne manuel « Rerum formae : What is François Viète’s Logistice Speciosa About ? » Pause 16h15 - Joseph Vidal-Rosset (Université de Lorraine, Nancy)Retour ligne manuel « L’intuitionnisme de Descartes dans les Méditations métaphysiques » 17h15 – Victor Pambuccian (Arizona State University, Phoenix)Retour ligne manuel « Brouwer’s intuitionism : mathematics in the being mode of existence » Mardi 26 octobre 2021 09h00 - David Rabouin (CNRS – laboratoire SPHERE ; ERC Philiumm)Retour ligne manuel « Leibniz, entre intuitionnisme et formalisme ? » 10h00 - François Ottman (Université Jean Jaurès, Toulouse – ERRAPHIS) « L’intuitionnisme kantien » Pause 11h15 - Gerhard Heinzmann (Université de Lorraine, Nancy)Retour ligne manuel « Poincaré et l’intuitionnisme » Pause déjeuner 14h00 - Dominique Pradelle (Sorbonne Université / Archives Husserl)Retour ligne manuel « Actes, temporalité et infini : phénoménologie husserlienne et intuitionnisme brouwerien » 15h00 - Mark van Atten (CNRS : UMR 8547 - Archives Husserl)Retour ligne manuel « Brouwer on induction » Pause 16h15 - Élisabeth Schwartz (Université de Clermont-Ferrand)Retour ligne manuel « Le rapport de Wittgenstein à l’intuitionnisme » 17h15 - Alberto Naibo (CNRS : IHPST) et Marco Panza (CNRS : IHPST)Retour ligne manuel « Formalising the logic and proofs of Euclid’s Elements, Book I » Mercredi 27 octobre 2021 3/ Prolongements contemporains de l’intuitionnisme 09h00 - Wim Veldman (Université de Nimègue)Retour ligne manuel « L’intuitionnisme de l’École de Nimègue » 10h00 – Clément Lion (chercheur associé, UMR 8163 Savoirs Textes Langage)Retour ligne manuel « Intuitionnisme dialogique et pré-propositionnalité » 11h00 – Carl Posy (Hebrew University, Jerusalem) « The axiom of choice in intuitionism: two lessons » Clôture du colloque Pour participer : Join Zoom Meeting https://cnrs.zoom.us <https://cnrs.zoom.us> https://cnrs.zoom.us/j/94857079741?pwd=eFdIMnhuU211ZUoybG4wb1poelVaUT09 Meeting ID : 948 5707 9741Retour ligne manuel Passcode : 05SgZp Informations en ligne <http://www.umr8547.ens.fr/spip.php?article740> -- Dominique Lainey UMR 8547 Pays germaniques - Archives Husserl Ecole normale supérieure 45 rue d'Ulm - 75230 Paris Cedex 05 Tél. : 01 44 32 30 09 / Fax : 01 44 32 31 22 email :[email protected] -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
