DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS

Abstract : After having pointed out that the difficulty in reading contemporary formalisms lies in the fact that they combine algebraic and geometric dimensions in their written form, this paper – which aims to question the merits of a number of dichotomies (visual versus oral reading, doing vs. saying ...) which are usually referred to in describing the specificity of formal writings – first focuses on the practice of mathematicians, which was at the origin of the creation of this type of writing, in order to highlight different facets of mathematical doing in the fields of activity where a formalism occurs, and argues that these doings are usually interlaced with a saying. Examining the conceptual upheaval, resulting from logicians’ and computer scientists’ use of the proof-program correspondence (or Curry-Howard isomorphism), is then undertaken and this study offers us the opportunity to propose keys to understanding the main contemporary formalisms used for the analysis of natural languages.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01304964
Contributor : Jacqueline Leon <>
Submitted on : Wednesday, April 20, 2016 - 2:56:56 PM
Last modification on : Thursday, February 21, 2019 - 12:22:02 PM
Long-term archiving on : Tuesday, November 15, 2016 - 7:58:40 AM

File

Godart_Mosca_DossiersHEL9.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01304964, version 1

Citation

Béatrice Godart-Wendling, Antonio Mosca. DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS. Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.194-211. ⟨hal-01304964⟩

Share

Metrics

Record views

319

Files downloads

227