Le langage formalisé et la logique d'ordre 0, cela sert:
- à faire des maths et démontrer des théorèmes;
- à passer pour un cuistre quand on les utilise hors de ce contexte.
Sinon pour information, en langage naturel, «tous» ne veut pas forcément dire «absolument tous» etc., etc.
[^] # Re: Lire le code de quelqu'un d'autre
Posté par Michaël (site web personnel) . En réponse au journal L'open source, un gage de reproductibilité en science. Évalué à 2.
Le langage formalisé et la logique d'ordre 0, cela sert:
- à faire des maths et démontrer des théorèmes;
- à passer pour un cuistre quand on les utilise hors de ce contexte.
Sinon pour information, en langage naturel, «tous» ne veut pas forcément dire «absolument tous» etc., etc.