FW: Conference on intuitionism: updated program

[Kreinovich, Vladik]

Apologies for possible multiple copies

-----Original Message-----
From: Mark van Atten

Here is an updated program of the conference on intuitionism announced before. The changes consist in the welcome addition of a talk by Carl Posy, a change of topic of my own talk, and a correction of Ottman's affiliation.



International online conference

"Intuitionism between philosophy, mathematics, and logic: variations and a long history"

October 25-27, 2021

Zoom details below

Organisers
Mark van Atten (CNRS: UMR 8547 - Archives Husserl) Dominique Pradelle (Sorbonne Université / Archives Husserl) Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF)



Paris time (CEST = UTC +2)

Monday, October 25

09:00 Welcome and introduction

09:15 - Roshdi Rashed (CNRS)
« Ménélaüs: un mathématicien proto-intuitionniste ? »

10:15 - Thomas Auffret (Sorbonne Université / Centre Léon Robin) « Le tiers-exclu chez Epicure et Chrysippe »

Break

11:30 - Behnam Zolghadr (Ludwig-Maximilians Universität, Munich) "The theory of Ahwal: a formal semantics"

Break

14:00 - Marwan Rashed (Sorbonne Université / Centre Léon Robin / IUF) « L’intuitionnisme d’al-Samaw’al (m. 1175) entre algèbre, géométrie et théologie »

15:00 - Burt Hopkins (CNRS: STL) amd Stepan Holub (Charles University, Prague) "Rerum formae: What is François Viète’s Logistice Speciosa About?"

Break

16:15 - Joseph Vidal-Rosset (Université de Lorraine, Nancy) « L’intuitionnisme de Descartes dans les Méditations métaphysiques »

17:15 – Victor Pambuccian (Arizona State University, Phoenix) "Brouwer's intuitionism: mathematics in the being mode of existence"


--------------------------------------------------------


Tuesday, October 26

09:00 - David Rabouin (CNRS – laboratoire SPHERE ; ERC Philiumm) « Leibniz, entre intuitionnisme et formalisme ? »

10:00 - François Ottman (Université Jean Jaurès, Toulouse – ERRAPHIS) « L’intuitionnisme kantien »

Break

11:15 - Gerhard Heinzmann (Université de Lorraine, Nancy) « Poincaré et l’intuitionnisme »

Break

14:00 - Dominique Pradelle (Sorbonne Université / Archives Husserl) « Actes, temporalité et infini : phénoménologie husserlienne et intuitionnisme brouwerien »

15:00 - Mark van Atten (CNRS: UMR 8547 - Archives Husserl) "Brouwer on induction"

Break

16:15 - Élisabeth Schwartz (Université de Clermont-Ferrand) « Le rapport de Wittgenstein à l’intuitionnisme »

17:15 - Alberto Naibo (CNRS: IHPST) and Marco Panza (CNRS: IHPST) "Formalising the logic and proofs of Euclid’s Elements, Book I"

--------------------------------------------------------


Wednesday, October 27

09:00 - Wim Veldman (Université de Nimègue) « L’intuitionnisme de l’École de Nimègue »

10:00 – Clément Lion (chercheur associé, UMR 8163 Savoirs Textes Langage) « Intuitionnisme dialogique et pré-propositionnalité »

11h00 – Carl Posy (Hebrew University, Jerusalem) "The axiom of choice in intuitionism: two lessons"

Closing


Join Zoom Meeting
https://cnrs.zoom.us/j/94857079741?pwd=eFdIMnhuU211ZUoybG4wb1poelVaUT09

Meeting ID: 948 5707 9741
Passcode: 05SgZp