Des Dialogues aux fondements des Mathématiques Constructives : pour une perspective dynamique sur la notion de démonstration dans la Théorie Constructive des Types

Soutenance de thèse
15 juil. 2022 10:00 - 18:00
Université de Lille - Pont de Bois - Maison de la Recherche - salle F0.13

 Soutenance de Steephen Rossy Eckoubili

Intitulé de la thèse:

" Des Dialogues aux fondements des Mathématiques Constructives :  pour une perspective dynamique sur la notion de démonstration dans la Théorie Constructive des Types "

Composition du jury:

Shahid Rahman, directeur de thèse

Cristina Baréss-Gomez, Universidad de Sevilla

Maria José Frapolli, Universidad de Granada

Mawusse Kpakpo Akué Adotevi, Université de Lomé

Matthieu Fontaine, Universidad de Sevilla

Gildas Nzokou, Université Omar Bongo

Adjoua Bernadette Dango, Université Alassane Ouattara.

 


Tweeter Facebook