Kurt Gödel de la logique à la cosmologie

• ANR GÖDEL 2009-2013 : Le projet consistait à approfondir l'examen des rapports entre science et philosophie dans la pensée de K.Gödel en réunissant un groupe de travail formé de spécialistes des différents domaines sur lesquels il s'est arrêté: logique, théorie des ensembles, relativité générale et cosmologie, Leibniz, Kant et Husserl. Il s'agissait de procéder à l'analyse critique de la masse des archives de Gödel non publiées à ce jour et d'en préparer une édition critique. Le matériel de ces archives était pour l'essentiel écrit en Gabelsberger, un procédé sténographique tombé en désuétude.  La finalité du projet était de mettre à l'épreuve deux hypothèses nouvelles sur l'oeuvre de Gödel. 1). Elle est dominée par une métaphysique d'inspiration leibnizienne dont l'une des expressions est une théorie des concepts. Pour Gödel, la théorie des ensembles est subordonnée à cette théorie des  concepts. 2) La physique théorique, pour Gödel, est une branche de la logique. A la différence des mathématiques, elle n'est pas incomplète par nature et ses progrès dépendent du choix correct de ses axiomes.

           Porteur : Gabriella Crocco