Journées de l'ANR Gödel

date

Thursday 27 September 2012, 9h30 - Friday 28 September 2012, 17h00

adresse

IMéRA / L’Institut Méditerranéen de Recherches Avancées
2 place Le Verrier, 13004 Marseille - (France)

téléphone

+33 (0)4 13 55 21 52
Journées de l'ANR Gödel

Jeudi 27 Septembre 2012

9h30-9h45 : Ouverture de la journée

9h45-11h00 : Gabriella CROCCO Kurt Gödel philosophe : de la logique à la cosmologie

11h15-12h30 : Göran SUNDHOLM Gödel, Proofs, and the Meaning of the Constructive Logical Constants

14h30-15h45 : Eva-Maria ENGELEN Gödel's Knowledge-Argument

16h00-17h15 : Paola CANTU The Legacy of Leibniz’s characteristica in Grassmann, Peano and Gödel

 

Vendredi 28 Septembre 2012

9h30-10h45 : Eric AUDUREAUGödel et Einstein et Newton

11h00-12h15 : Amélie MERTENSSubjectivité et objectivité des concepts

14h30-15h45 : Gabriella CROCCOLogic, mathematics and time

 

Organisation de la journée : Paola CANTU (Université Aix-Marseille, CNRS)

Renseignements : paola.cantu@univ-amu.fr

fellows

Philosophie
Mathématiques
10/10/2011 - 10/07/2012

publications