Séminaire du LIM (LIF et LSIS)
Mardi 7 novembre à 14h - Luminy, Amphi 6
Serge Burckel-Rivière
IML, Luminy ; Université de l'Océan Indien, Île de la Réunion
Calculs séquentiels minimaux
Nous allons discuter d'informatique, de physique, de philosophie autour d'un même thème et de ses variations :
En informatique, comment faire lorque la taille de X est trop grande.
En physique, comment un objet complexe X peut-il être modifié en fonction de son état à un instant alors que la vitesse de propagation de l'information est majorée par celle de la lumière ?
En philosophie, comment le principe : "Quand on n'a pas de mémoire, il FAUT avoir de la méthode" peut-il se transposer en le principe : "Quand on n'a pas de mémoire, il SUFFIT d'avoir de la méthode"
Les mathématiques en revanche n'ont rien à faire de cette question car elles ne s'occupent pas du 'comment'. Cependant, elles me serviront ici à prouver de manière simple un théoreme qui est pourtant assez surprenant vis-à-vis des points de vue précédents.
Closed Iterative Calculus, Theoretical Computer Science, 158, 1996, 371-378.
Three Generators for Minimal Writing-Space Computations, (avec Marianne Morillon), RAIRO Theoretical Informatics and Applications, 34, 2000, 131-138.
Quadratic Sequential Computations, soumis 2000
Ma page web : http://www.univ-reunion.fr/~burckel/