Giuseppe Longo, LIENS (CNRS-ENS), et Catuscia Palamidessi, INRIA-X.
Le cadre scientifique. Sur la base de nos recherches antérieures dans nos champs disciplinaires respectifs, nous proposons d'aborder la question de l'aléatoire de manière transversale. Dans nos équipes, nous avons déjà relié l'aléatoire algorithmique, en tant que concept d'aléatoire bien défini pour les suites infinis, avec l'aléatoire dynamique (classique). Nous voulons maintenant analyser de près l'aléatoire à temps fini en physique (mathématique) et le relier aux diverses usages de l'indétermination et de l'aléatoire en informatique (calcul en concurrence et en parallèle).
La méthode que nous proposons consiste, en un premier temps, en une analyse technique et conceptuelle approfondie de l'aléatoire dynamique, physique et informatique. Le but de ce projet consiste en une analyse interdisciplinaire des notions liées au déterminisme et au non-déterminisme et qui sont propres à chacune des disciplines que nous avons déjà mentionnée.
Le stage.Un stage consituirait les premiers pas vers une analyse comparée, dans les limites que cela peut se faire au cours d'un stage de Master.
Dans un second temps, si le stage se prolonge en un thèse par exemple, nous nous proposons de chercher si ces notions peuvent se confondre et si oui, comment et dans quelles situations. En particulier, au cours du stage ou ensuite, nous voulons montrer sur certains exemples concrets comment ces facteurs communs permettent dans chaque domaine une meilleure compréhension de ces croisements conceptuels.
http://www.di.ens.fr/users/longo
e-mail: longo@di.ens.fr