Navigation – Plan du site

AccueilNuméros139Structures grammaticales dans le ...

Structures grammaticales dans le français mathématique : 2 (suite et fin)

Grammatical structure in mathematical french language: 2 (end)
Aarne Ranta

Résumés

Un système de règles grammaticales est présenté pour analyser un ragment du français permettant l'expression de théorèmes et de preuves mathéma-tiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale aux restrictions de sélection et aux dépendances par rapport à un contexte. Le fragment comprend des verbes et des adjectifs, des formes plurielles, des propositions relatives, et des syntagmes coordonnés. Ensuite, la grammaire est étendue au symbolisme mathématique et à son usage dans le texte français. Le fragment comprend des formules arithmétiques, la notation décimale, les conventions de paren-thèses, les variables explicites, des énoncés de théorèmes et des structures textuelles de preuves. On finit par étudier quelques applications de la gram-maire, basées sur l'implémentation déclarative de la grammaire dans ALF, un éditeur de preuves.

Haut de page

Pour citer cet article

Référence électronique

Aarne Ranta, « Structures grammaticales dans le français mathématique : 2 (suite et fin) »Mathématiques et sciences humaines [En ligne], 139 | Automne 1997, mis en ligne le 10 février 2006, consulté le 18 avril 2024. URL : http://journals.openedition.org/msh/2772 ; DOI : https://doi.org/10.4000/msh.2772

Haut de page

Auteur

Aarne Ranta

Articles du même auteur

Haut de page

Droits d’auteur

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Search OpenEdition Search

You will be redirected to OpenEdition Search