2016
info:eu-repo/semantics/OpenAccess
Béatrice Godart-Wendling et al., « DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS », HAL-SHS : linguistique, ID : 10670/1.l6f60h
Après avoir mis en évidence que la difficulté de lecture des formalismes contemporains réside dans le fait qu’ils conjuguent dans leur graphie les dimensions algébrique et géométrique, cet article – qui entend questionner le bien-fondé d’un certain nombre de dichotomies (lecture visuelle versus orale, faire et dire, …) usuellement mobilisées pour qualifier la spécificité des écritures formelles – se penche tout d’abord sur la pratique des mathématiciens, qui fut à l’origine de la création de ce type d’écriture, pour dégager, dans les champs d’activité où le formalisme intervient, les différents facettes du faire mathématique et argumenter qu’il se retrouve le plus souvent entrelacé à un dire. L’examen du bouleversement conceptuel résultant de l’exploitation par les logiciens et les informaticiens de la correspondance preuve-programme (ou isomorphisme de Curry-Howard) est ensuite entrepris et cette étude offre alors la possibilité de proposer des clés de lecture des principaux formalismes contemporains utilisés pour l’analyse des langues naturelles.