Le temps du calcul et le temps des ordinateurs
Abstract
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. Ce texte est une transcription de l'exposé donné à l'ENST, le 27 avril 2006.
Loading...