Le Workshop « Inférences et Démonstrations 2 », qui a eu lieu le 17 décembre 2019 sur le site de Schuman de l’Université d’Aix-Marseille, a rassemblé certains parmi les plus importants spécialistes des approches formelles et philosophiques au concept de preuve.
Trois grandes traditions dans ce champ ont eu la possibilité de se rencontrer et de se confronter : celle remontant aux propositions de Girard, celle qui porte sur le point de vue de Martin-Löf et sur le développement de ce point de vue par Sundholm, et celle naissant de la théorie de la normalisation de Prawitz.
Un volume sera tiré de cette journée.

Crédits photos : S. Pons (CGGG)

Plus d’informations sur cette journée, cliquez ici

Retour sur la journée Inférences et démonstrations 1, cliquez ici