| |
|
Le langage formel mathématique est le langage formel utilisé en mathématiques pour représenter les concepts mathématiques.
| Table of contents |
|
2 Liste de prédicats de base du langage formel |
Comme tous les autres langages formels, ce langage à pour but de retirer l'ambiguité d'une proposition en la décomposant en un ensemble limité d'éléments dont l'agencement ne peut avoir qu'un unique sens.
Par exemple, pour dire que vaut un, on utilisera :
Malheureusement, certains concepts du langage formel mathématique restent spécifique à une culture donnée. Ainsi, dans la litérature mathématique francophone, l'assertion signifie "l'ensemble A est un sous-ensemble ou est égal à B" alors que dans la litérature mathématique anglophone, il signifiera plutôt "l'ensemble A est un sous-ensemble strict de B".
Introduction
Ce langage permet aussi dans une moindre mesure de faciliter la communication entre des mathématiciens ne parlant pas la même langue. S'il ne remplace pas completement le langage naturel, il permet d'exprimer les concepts mathématiques les plus complexe sous une forme qui est identique suivant les langues et les cultures, évitant ainsi les quiproquos sur les concepts mathématiques, par des gens ne maîtrisant pas toutes les subtilités grammaticales et syntaxique de la langue de communication employée.Liste de prédicats de base du langage formel
Pour tout
Il existe
...
...