[ATHENA] Séminaire Codes sources : La machine analytique de Babbage (Marie-José Durand-Richardn jeudi 11 avril 2019)

[Baptiste Mélès <baptiste.meles AT gmail.com>]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 11 avril 2019 (14h-16h) :

Marie-José Durand-Richard (Paris 8, SPHERE, CNRS) :

  « Les diagrammes de fonctionnement de The Analytical Engine,
  de Charles Babbage 1791-1877) à Ada Lovelace (1815-1852) »


Résumé :

  Charles Babbage (1791-1877) a élaboré les plans de The Analytical
  Engine afin de matérialiser la conception symbolique de l'algèbre
  élaborée au sein d'un réseau d'algébristes nommé The Analytics. Cette
  conception était fondée sur les propriétés strictement opératoires des
  développements en série. Suite à la présentation de ses plans en
  Italie en 1841, l'ingénieur militaire Luigi Menabrea (1809-1896) a
  publié en français quelques exemples de  diagrammes de fonctionnement
  de cette machine, diagrammes que je qualifie de statiques. Dans les
  précieuses notes qu'elle ajoute dans sa traduction de cet article en
  anglais, Ada Lovelace (1815-1852) les complète par de nouveaux
  diagrammes, que je qualifie de dynamiques. On étudiera ces diagrammes
  afin d'examiner quelles sont les caractéristiques qui peuvent
  permettre, ou non, de les qualifier de programmes.

Lieu :

  Salle 24-25/405 du LIP6 (rotonde 25, 4e étage)
  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)


------------------------------------------------------------------------

Prochaines séances du séminaire Codes sources :

- Jeudi 23 mai 2019 : Gauthier van den Hove (Centrum Wiskunde &
  Informatica), « L’invention des liens statiques »

- Jeudi 13 juin 2019 : Guillaume Munch-Maccagnoni (Inria, Gallinette),
  titre à déterminer

Sauf mention contraire, toutes les séances ont lieu de 14 heures à
16 heures au LIP6.



------------------------------------------------------------------------

/* ***************************************
   * À propos du séminaire Codes sources *
   *************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs : 

- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).

Site : http://codesource.hypotheses.org/

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------


-- 
Baptiste Mélès
Chargé de recherche au CNRS (CNRS Researcher)
Archives Henri-Poincaré—Philosophie et Recherches sur les Sciences et
les Technologies (CNRS UMR 7117, http://poincare.univ-lorraine.fr)
Université de Lorraine — Université de Strasbourg
/Philosophia Scientiæ/ (Rédacteur en chef adjoint / Managing editor)
https://journals.openedition.org/philosophiascientiae/
91 avenue de la Libération, 54000 Nancy, France
http://baptiste.meles.free.fr/