Conférence

Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)

Réalisation : 15 mars 2012 Mise en ligne : 15 mars 2012
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Descriptif

Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous les modèles digitaux, dès qu'ils sont suffisamment puissants, sont équivalents. On peut aussi considérer des modèles analogiques ou avec des aspects analogiques. À vrai dire, chaque époque a ses systèmes de calculs et ses questions de calculabilité: au 19e siècle, l'essor des communications a mené à se poser des questions sur la possibilité de calculer certains mouvements. Au début du 20e siècle, l'apparition de dispositifs informatiques mécaniques pour résoudre des problèmes d'ingénierie a mené à se poser des questions sur la possibilité de calculer mécaniquement certaines fonctions. Au 21e siècle, l'essor des télécommunications fait que certains systèmes distribués actuels se décrivent et se programment aussi avec des aspects analogiques: par exemple, la grande taille de certains systèmes fait que leur description naturelle devient une description statistique et thermodynamique. Chacun de ces systèmes se programme. Chacun de ces systèmes n’est pas clairement couvert par la calculabilité et la complexité classique moderne, qui parle de modèles comme les machines de Turing. Certains de ces systèmes ont toutefois une théorie très riche, avec des notions par exemple d'universalité, différentes, mais tout aussi utiles que celles de la calculabilité moderne. L'objectif de cet exposé sera d'introduire quelques un de ces modèles, et de présenter ce que l'on sait sur leur puissance de calculs.

Intervenant
Thème
Notice
Langue :
Français
Crédits
INRIA (Institut national de recherche en informatique et automatique) (Publication), Région PACA (Production), INRIA (Institut national de recherche en informatique et automatique) (Production), UNS (Publication), CNRS - Centre National de la Recherche Scientifique (Publication), Olivier Bournez (Intervenant)
Conditions d'utilisation
Droit commun de la propriété intellectuelle
Citer cette ressource :
Olivier Bournez. Inria. (2012, 15 mars). Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern). [Vidéo]. Canal-U. https://www.canal-u.tv/56477. (Consultée le 2 février 2023)
Contacter
Documentation
Colloquium Jacques Morgenstern

Le but du colloquium est d’offrir une vision d’ensemble des recherches les plus actives et les plus prometteuses dans le domaine des Sciences et Technologies de l’Information et de la Communication (STIC). Nouveaux thèmes scientifiques