Re: Opérateur mathématique?

[Sylvie Lachize <slachize@xxxxxxxxx>]

> De : Alain LaBonté  <alb@xxxxxxxxxxxxxx> 
> A : typographie@xxxxxxxx 
> Objet : Re: Opérateur mathématique?
> Date : Tue, 28 Apr 1998 08:55:54 -0400 
>   [Alain] :
>   En tant qu'informaticien, mes deux centimes :
>
>   Le signe « PLUS GRAND QUE » est un « opérateur logique », dont
le
>résultat est « vrai » ou« faux », 1 ou 0, ou -1 (FFFFFFFF) ou 0
>(00000000)... Le langage de programmation APL permet même de
réutiliser le
>résultat comme s'il s'agissait d'un nombre entier ; ainsi
(1>0)+1=2, i.e.
>(1>0=1, et 1+1=2). L'avantage du -1 plutôt que 1 comme
représentation
>binaire pour « vrai » présente l'avantage que la représentation
interne
>peut être manipulée avec tous les opérateurs logiques.

En tant que logicienne, je me sens soudain poussée à intervenir!
Chez nous « Plus_grand_que » est un prédicat binaire, ou encore une
relation. Le « résulta t» de « Plus_grand_que(2,6) » n'est ni 1 ni
0. Pour juger de la valeur de vérité de cet énoncé, il faut d'abord
assigner une interprétation à « 2 », « 6 » et à « Plus_grand_que »
(on appelle cette interprétation un modèle). Bien sûr, selon
l'interprétation standard de ces trois termes, Plus_grand_que(2,6)
est faux. Mais on peut assigner une autre interprétation à l'énoncé
qui le rendrait vrai... par exemple, il suffit que « 2 » désigne 6
et « 6 » désigne 2! Comment ça, tordu?
Enfin bon, tout ça n'a plus rien à voir avec la typo...

Sylvie