SALHA Henri

Doctorant, IHPST - Paris 1 Panthéon-Sorbonne

Je m'intéresse à la frontière entre connaissance théorique et connaissance pratique, et de ce fait à l'épistémologie des méthodes. Qu'est-ce que "connaître une méthode", et comment formalise-t-on ce savoir? ce questionnement m'amène à travailler, dans le cadre de mon doctorat, sur l'épistémologie de la programmation informatique - en prenant pour fil directeur l'hypothèse que les programmes sont des méthodes formelles, et donc à la frontière entre les mathématiques et la technique.

Équipe(s) de recherche