Le temps du calcul et le temps des ordinateurs

Résumé : 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.
Type de document :
Pré-publication, Document de travail
2006
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00089817
Contributeur : Philippe Matherat <>
Soumis le : mercredi 23 août 2006 - 16:07:33
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:39:45

Fichiers

Identifiants

  • HAL Id : hal-00089817, version 1

Citation

Philippe Matherat. Le temps du calcul et le temps des ordinateurs. 2006. 〈hal-00089817〉

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

106