Pour célébrer le centenaire de la naissance d'Alan TURING, le comité d'organisation des journées du GPL 2012 (Génie de la Programmation et du Logiciel) vous propose une conférence par Jean LASSEGUE :
"Du formel à la forme, Alan TURING et l'apparition de l'informatique"
Mardi 19 juin 2012
20h30
Amphi Donzelot
6 rue Kléber - Rennes (cf. plan c-dessous)
Entrée libre
|
|
Jean Lassègue est chercheur au CNRS, attaché au Centre de Recherche en Epistémologie Appliquée (CREA) de l’Ecole polytechnique. Philosophe des sciences, il s’est tout d’abord attaché à décrire la cohérence interne de l’ensemble des travaux de Alan Turing qui l’ont progressivement conduit de l’étude du langage formel à celle des formes biologiques. J. Lassègue a ensuite élargi son point de vue en y intégrant une perspective anthropologique et tente désormais d’envisager l’apparition de l’informatique comme une nouvelle étape dans la très longue histoire de l’écriture.
Jean Lassègue présente Alan Mathison Turing :
La vie du scientifique britannique Alan Mathison Turing (23 juin 1912 - 7 juin 1954) fut aussi courte que dense : entre l’article de 1936 décrivant pour la première fois le plan logique de ce qui deviendrait dix ans plus tard l’ordinateur et l’article de 1952 décrivant un modèle morphogénétique de constitution de formes biologiques, à peine 16 ans. Pendant cette période, si troublée historiquement quand on mesure qu’elle chevauche la seconde guerre mondiale à laquelle Turing prit une part active quoi que secrète puisqu’il fut attaché au service britannique de cryptologie et y joua un rôle considérable, Turing balaie un extraordinaire périmètre de champs scientifiques et techniques : fondation de la théorie de la calculabilité, cryptologie et mécanisation du renseignement, ingénierie des premiers ordinateurs, premières réflexions sur les rapports de la pensée et du calcul, modélisation morphogénétique en biologie théorique. Où se situe l’unité d’une telle œuvre ? Parti d’une réflexion sur la nature et la portée logique du formel, Turing en est progressivement venu à penser la notion biologique de forme. Cette évolution s’explique sans doute en grande partie par le théorème négatif prouvé dans son article de 1936 et dont le titre de son dernier article publié de façon posthume en 1954 conserve encore l’écho (“Problèmes solubles et insolubles”) : Turing a consacré sa vie à explorer le périmètre de la calculabilité en contribuant d’une part à forger l’outil universel du domaine des problèmes solubles par calcul – l’ordinateur – tout en se donnant d’autre part les moyens théoriques de penser l’envers de ce domaine – la notion d’émergence des formes constituant cet envers dans la mesure où elle doit être pensée sans dissocier le plan formel d’un contenu qui ne lui serait pas intrinsèque. Carrière météoritique, brisée pour un délit d’homosexualité que l’on a du mal à concevoir maintenant, Turing aura puissamment contribué à modifier en profondeur la façon même de concevoir et produire des résultats scientifiques dans le monde d’aujourd’hui.
Pour en savoir plus :
|
|
Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer