Kurt Gödel philosophe : de la logique à la cosmologie – Gödel

Le projet consiste à 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'agira 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 est pour l'essentiel écrit en Gabelsberger, un procédé sténographique tombé en désuétude. L'emploi de ce procédé sténographique ainsi que la difficulté d'accès au Nachlass de Princeton constituent des obstacles matériels indéniables au développement des études gödéliennes. Le projet remédiera à ces difficultés. La finalité du projet est de mettre à l'épreuve deux hypothèses nouvelles sur l'?uvre 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.