Précédent : Preuves de cohérence Remonter : Étude et extensions du Calcul Suivant : Structures fondamentales de calcul
Précédent : Preuves de cohérence Remonter : Étude et
extensions du Calcul Suivant : Structures fondamentales de
calcul
Participant : Gilles Dowek
G. Dowek a poursuivi son travail sur la reformulation du Calcul des Constructions dans un cadre non typé. Il a proposé [19] une théorie non typée du premier ordre qui est une formalisation des mathématiques dans laquelle les démonstrations sont des objets. La cohérence de cette théorie est ouverte. Ce travail a été présenté au ``Logic Colloquium'' et au symposium ``Types''.