Exposés de Cardone et Lassègue

La troisième séance de l’axe 1 donnera deux points de vue différents sur l’aspect « formel » de l’informatique. Felice Cardone discutera des influences moins évidents des travaux de Haskell B. Curry sur le développement des langages de programmation. Les slides de son exposé sont disponible ici. Jean Lassègue, commencant d’une citation de Turing (« mécansime et écriture sont […] presque synonymes ») posais la question d’un écriture d’informatique dans le contexte  plus large des cultures d’écriture, c’est à dire l’écriture iconique, graphique et phonologique. Il proposait l’écriture d’informatique comme écriture graphique et alphabétique qui ne dépend (plus) de l’oralité des langues. Voir son article avec Giuseppe Longo pour plus de détails.