Beaucoup de variable
Par Arthur Milchior le vendredi 28 mai 2010, 03:32 - Travail - Lien permanent
Pour mon travail de recherche je devais faire un preuve, au début j'ai tenté une induction sur le produit cartésien de 10 variables entières, toutes utiles, et j'ai galéré pour trouver l'ordre exacte de la récursion.
Je suis content d'en être venu à bout et finalement ça ne prend que 8 variable et une aspirine.
Sinon, je peux aussi vous dire que en logique linéaire descriptive[1] on additionne grâce au connecteurs multiplicatif, et on monte au carré grâce aux connecteurs additifs, alors que les connecteurs exponentiels semblent ne servir à rien. Je pense donc de plus en plus que les logiciens sont cinglés. [2].
J'en profite pour vous proposez une blague, il est bien connu qu'en logique classique il est impossible de compter, ce qui explique qu'on ne puisse exprimer la parité et la majorité en logique classique. Or il semble que l'administration ne sache faire que ça, compter; ça prouve bien que les gens de l'administration n'ont pas une logique classique !
Notes
[1] googlez pas, c'est moi qui ait inventé le terme à défaut de mieux
[2] J'en veux pour preuve un texte écrit par l'inventeur de la logique linéaire, les montre à moutarde, et que Lewis Caroll, l'auteur d'Alice au pays des merveilles était logicien.
Commentaires
Arthur, j'ai encore perdu de la SAN...
Je te peux te reprendre la blague ?
Sven, désolé... dis toi que moi je ne fais que ça de ma journée.
La blague sur l'aspirine ou la logique ?
Enfin, de toute façon, tu fais ce que tu veux.