Re: /etc/exports option unsecure

Liste des GroupesRevenir à fcol configuration 
Sujet : Re: /etc/exports option unsecure
De : francois.patte (at) *nospam* mi.parisdescartes.fr (François Patte)
Groupes : fr.comp.os.linux.configuration
Date : 11. Nov 2022, 19:58:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <tkm2g0$tfa0$1@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.0
Le 11/11/2022 à 18:18, Christophe PEREZ a écrit :
Le Fri, 11 Nov 2022 17:41:37 +0100, Didier a écrit :
 
  Mais l'usage est effectivement le contraire ("<" inférieur et "<="
inférieur ou égal, et c'est l'usage en programmation par exemple).
 Et on parle ici d'informatique, donc forcément de notion purement
mathématique et pas généraliste.
 Toutes les définitions de dictionnaire que j'ai trouvées indique bien que
dans les domaines scientifiques "inférieur" est compris comme strictement
inférieur, et non pas inférieur ou égal, sinon, justement, le test
"inférieur ou égal" n'aurait absolument aucune raison d'exister, et je me
demande bien comment on exprimerait alors le "strictement inférieur"
 1024 < 1024 : FAUX
1024 ≤ 1024 : VRAI
 Mais sincèrement, je n'aurais jamais cru que sur un espace d'initiés aux
sciences, cela puisse être contesté.
Peut-être que les initiés aux sciences ont une approche différente selon leur formation, "inférieur à" en maths est une relation d'ordre et donc réflexive de même que l'inclusion des ensembles. Dans un texte mathématique quand on entend "inférieur à", on entend "inférieur ou égal à". si on veut préciser, on dit "strictement inférieur à". En général quand on veut "strictement inférieur à" dans une démonstration, c'est souvent (beaucoup) plus difficile à montrer.
Pour ce qui est de l'informatique, je ne sais pas mais il y a des conventions qui sont bizarres au regard d'un mathématicien: écrire dans une ligne de programmation:
i=i+1
rend perplexe un matheux qui en conclura que 1=0 et il abandonnera toute idée cohérente concernant les nombres! ie.: il changera de métier...
--
François Patte
Université Paris Descartes

Date Sujet#  Auteur
5 Nov 22 * /etc/exports option unsecure35François Patte
5 Nov 22 +* Re: /etc/exports option unsecure7Marc SCHAEFER
10 Nov 22 i`* Re: /etc/exports option unsecure6François Patte
10 Nov 22 i +* Re: /etc/exports option unsecure4Marc SCHAEFER
10 Nov 22 i i+- Re: /etc/exports option unsecure1Richard Hachel
10 Nov 22 i i`* Re: /etc/exports option unsecure2François Patte
10 Nov 22 i i `- Re: /etc/exports option unsecure1Marc SCHAEFER
10 Nov 22 i `- Re: /etc/exports option unsecure1tTh
8 Nov 22 `* Re: /etc/exports option unsecure27Doug713705
10 Nov 22  `* Re: /etc/exports option unsecure26François Patte
10 Nov 22   +* Re: /etc/exports option unsecure24Christophe PEREZ
10 Nov 22   i+* Re: /etc/exports option unsecure21François Patte
11 Nov 22   ii`* Re: /etc/exports option unsecure20Christophe PEREZ
11 Nov 22   ii `* Re: /etc/exports option unsecure19Didier
11 Nov 22   ii  +* Re: /etc/exports option unsecure17Christophe PEREZ
11 Nov 22   ii  i`* Re: /etc/exports option unsecure16François Patte
11 Nov 22   ii  i +* Re: /etc/exports option unsecure14Marc SCHAEFER
11 Nov 22   ii  i i`* Re: /etc/exports option unsecure13François Patte
11 Nov 22   ii  i i +* Re: /etc/exports option unsecure7Marc SCHAEFER
12 Nov 22   ii  i i i`* Re: /etc/exports option unsecure6Didier
12 Nov 22   ii  i i i +- Re: /etc/exports option unsecure1Marc SCHAEFER
12 Nov 22   ii  i i i `* Re: /etc/exports option unsecure4Jo Engo
12 Nov 22   ii  i i i  `* Re: /etc/exports option unsecure3Didier
12 Nov 22   ii  i i i   `* Re: /etc/exports option unsecure2tTh
12 Nov 22   ii  i i i    `- Re: /etc/exports option unsecure1Didier
11 Nov 22   ii  i i `* Re: /etc/exports option unsecure5Doug713705
12 Nov 22   ii  i i  +* Re: /etc/exports option unsecure2tTh
13 Nov 22   ii  i i  i`- Re: /etc/exports option unsecure1Doug713705
12 Nov 22   ii  i i  +- Re: /etc/exports option unsecure1Jo Engo
12 Nov 22   ii  i i  `- Re: /etc/exports option unsecure1Christophe PEREZ
12 Nov 22   ii  i `- Re: /etc/exports option unsecure1Christophe PEREZ
11 Nov 22   ii  `- Re: /etc/exports option unsecure1Jo Engo
10 Nov 22   i`* Re: /etc/exports option unsecure2Nicolas George
11 Nov 22   i `- Re: /etc/exports option unsecure1Christophe PEREZ
11 Nov 22   `- Re: /etc/exports option unsecure1Doug713705

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal