Philippe Matherat (LTCI - ENST)

Le temps de la nature et le temps des modeles de calcul: leur rencontre dans
la realisation des ordinateurs

S'interroger sur l'implémentation physique du calcul distribué conduit
à s'interroger sur les modèles de temps, temps des modèles de calcul
du côté logique, et temps des théories mécaniques du côté
physique. Pour un électronicien, "implémenter" revient à "traduire",
depuis un langage logique vers le langage de la physique, c'est-à-dire
à "simuler". Nous suggérons que ce travail est proche de celui du
logicien qui compare les puissances d'expression des langages
distribués, et proche aussi de celui du physicien qui cherche à écrire
les lois de la nature en langage mathématique. Dans les trois cas,
l'interrogation sur la structure du temps est centrale.