Actualité
MAJ : 28/08/2007
 
      


   

Colloquium du LIRMM

Prof. Jean-Paul Delahaye
Laboratoire d'Informatique Fondamentale de Lille(UMR CNRS 8022)

Télécharger l'affiche pdf

Résumé : La théorie de la calculabilité permet de donner une définition précise de la notion d'objet simple basée sur la taille des représentations (des programmes). Cette définition conduit à la notion de complexité de Kolmogorof-Chaitin qui est une mesure de la complexité d'un objet. Cependant, à côté de cette complexité (comme "contenu incompressible d'informations") il est naturel de rechercher une définition de la complexité comme contenu en calcul ou comme richesse structurelle. Cette seconde complexité semble correspondre à la définition de Charles Bennett de la "profondeur logique". Nous la présenterons et discuterons de sa pertinence. Des applications de ces notions seront données.

Jean-Paul Delahaye est un spécialiste d'informatique théorique mais il a aussi écrit plusieurs livres destinés au public non spécialisé, traitant notamment du nombre pi (Le Fascinant nombre Pi, Belin/Pour la science, 1997), des nombres premiers(Merveilleux nombres premiers, Belin/Pour la science, 2000) et de la théorie de la complexité (Complexités : aux limites des mathématiques et de l'Informatique, Belin/Pour la science, 2006). Actuellement, JeanPaul Delahaye est professeur d'informatique à l'Université des sciences et technologies de Lille, et chercheur au sein du Laboratoire d'Informatique Fondamentale de Lille du CNRS. Il a été distingué par le Prix d'Alembert 1998 de la Société Mathématique de France pour Le Fascinant nombre Pi, et par le Premier prix Auteur 1999 de la Culture Scientifique du Ministère de l'Éducation Nationale de la Recherche et de la Technologie. Jean-Paul Delahaye est également rédacteur des articles mathématiques de la chronique “Logique et calcul”de la revue Pour la Science, conseiller scientifique en mathématique, et auteur d'articles pour l'Encyclopædia Universalis.



 
auteur : Céline Berger       Ecrire au : Webmaster