Tiens, je n'avais pas vu ce débat intéressant....
Je vais me pencher sur ce problème
Soit un Paneb qui est un pingouin (ou un manchot, mais cela a peu d’importance dans cette démonstration).
Prenons un mod comme Nehrim ou Intégration. Nous allons en ce jour faire un raisonnement par l’absurde. Voyons si en supposant qu’il était sain d’esprit lorsqu’il a pris en charge ces traductions nous tombons sur une contradiction. Ce qu’il faut retenir de cette supposition c’est que :
Lim(raison traducteur),{ mod»∞ }= 0
Place à la démonstration.
Soit un traducteur prenant un charge un mod dans la section demande. Le mod a été proposé par Kaos, ce qui sous-entend qu’il est énorme, sinon il l’aurait traduit lui-même. Le théorème de l’enviopathie nous dit que :
Σ(envie de traduire) = (!temps à perdre)/O(intellect)
Or ici :
Σ(envie de traduire) ≥∫(refus,dpingouin,21,31) + [Entonnoir]0,Folie
par la première loi de la théorie de la Tradilogie, car la traduction a été acceptée.
D’où :
(!temps à perdre)/O(intellect)) ≥∫(refus,dpingouin,21,31) + [Entonnoir]0,Folie
Et :
O(intellect)=raison traducteur quand cos(biscuits + φ) est en phase avec la sous-section du forum.
D’où :
=> raison traducteur≤(!temps à perdre)/ [∫(refus,dpingouin,21,31) + [Entonnoir]0,Folie]
De plus :
lim([Entonnoir]0,Folie]{mod»∞ }= +∞
et
∫(refus,dpingouin,21,31) est une valeur finie.
On a également ( !temps à perdre)<0 car une traduction a été acceptée.
Or par hypothèse, Lim(raison traducteur),{ mod»∞ }= 0
On aurait donc 0<(-∞). Ce qui est faux !
La supposition de départ est donc fausse.
En conclusion, Paneb était donc dérangé avant !
CQFD !
.
.