Brève description / annotation

1/ Commencements arabes et grecs de l'intuitionnisme Roshdi Rashed (CNRS) « Ménélaüs : un mathématicien proto-intuitionniste ? » Thomas Auffret (Sorbonne Université / Centre Léon Robin) « Le tiers exclu chez Epicure et Chrysippe » Marwan Rashed (Sorbonne Université / Centre Léon Robin) « L'intuitionnisme d'al-Samaw'al (m. 1175) entre algèbre, géométrie et théologie » Alberto Naibo (CNRS : IHPST) et Marco Panza (CNRS : IHPST) « Formalising the logic and proofs of Euclid's Elements, Book I » Joseph Vidal-Rosset (Université de Lorraine, Nancy) « L'argument dominateur de Prior-Diodore-Fitting » 2/ Formes modernes de l'intuitionnisme Burt Hopkins (CNRS : STL) et Stepan Holub (Université Charles, Prague) « Rerum formae : What is François Viète's Logistice Speciosa About ? » Frédéric de Buzon « Nature et usage de l'intuitus dans la mathématique cartésienne » David Rabouin (CNRS - laboratoire SPHERE ; ERC Philiumm) « Leibniz, entre intuitionnisme et formalisme ? » 3/ Formes contemporaines de l'intuitionnisme Gerhard Heinzmann (Université de Lorraine, Nancy) « Poincaré and intuitionism » Dominique Pradelle (Sorbonne Université / UMR 8547 : Archives Husserl) « Brouwerian intuitionism and Husserlian phenomenology » Clément Lion (chercheur associé, UMR 8163 : Savoirs Textes Langage) « Intuitionnisme dialogique et pré-propositionnalité » Théophile Richard « Note sur l'intuitionnisme selon Jules Vuillemin »

Détails