Re: [HS] Noyau ou Modules
Le Vendredi, 25 Novembre 2005 20.46, Sylvain Sauvage a écrit :
> Vendredi 25 novembre 2005, 19:24:59 CET, steve a écrit :
> > Ola,
>
> Buenas tardes,
>
> > > > > No tengo barba.
> > > >
> > > > par nécessité, par impossibilité ou par goût ?
> > >
> > > Réponse de logicien : vrai.
> >
> > comment trois propositions peuvent-elles être vraies en même temps ?
> > Gödel doit se retourner dans sa tombe..
>
> J'ai répondu « vrai » car :
> a v b v c ssi ¬(¬a ^ ¬b ^ ¬c)
>
> et ¬a ^ ¬b ^ ¬c se lit « toutes les propositions sont fausses (en même
> temps) », quand au moins une est vraie, l'ensemble est bien faux et donc
> son contraire est vrai.
>
> Si tu préfères, il y a 7 combinaisons pour lesquelles a v b v c est vrai
> et une seule d'entre elle où a et b et c sont vraies. La 8e combinaison
> est fausse, avec a et b et c à faux.
>
> Ensuite, Gödel ne se retourne pas dans sa tombe car toutes les
> propositions peuvent être vraies en même temps (je peux ne pas avoir de
> barbe parce que je n'aime pas ça, je ne peux en avoir et je ne dois pas
> en avoir).
>
> Sinon, ma réponse était une non-réponse. Dans le même ordre d'idée, la
> question « oui ou non ? » a toujours « vrai » comme réponse
> (0 v ¬0 = 0 v 1 = 1, 1 v ¬1 = 1 v 0 = 1).
Sur ce coup-là, je m'incline bien bas. Chapeau maestro !
Ça m'avait intéressé à l'époque, mais après quelques crises de folie , j'ai
arrêté...
ce qui est drôle, c'est qu'en partant d'un gag maison (barbu), on se retrouve
à disserter sur Gödel ...
>
> > ah bon ? je croyais que le noyau déchargeait tout seul les modules
> > inutilisés après un certain temps. C'est pas vrai ça ?
>
> Vœu pieux. Certains modules n'aiment pas, mais alors pas du tout, être
> déchargés.
ça ne répond pas à ma question sur le déchargement automatique du noyau. Il le
fait oui ou non (pour ma culture générale) ?
>
> > > sauf lancement automatique de rmmod, par un script
> > > quelconque, en tout cas pas swapé.
> >
> > je parlais du programme utilisateur, pas du noyau dans ce cas-là
>
> Ok.
>
> > > > t'as participé à mon sondage ?
> > >
> > > Oui.
> >
> > merci
>
> Ben vu que je l'ai regardé, ça aurait été idiot de ne pas y répondre.
>
> > tout dépend à qui tu parles: pour un gamin de 3 ans tu __es__ vieux
>
> Des plus de 20 ans me trouvent vieux...
me too. Faudra qu'on s'y fasse...
> > > d'ailleurs chaque jour je suis plus vieux que
> > > la veille mais moins que le lendemain.)
> >
> > c'est pas Lao-Tseu qui disait ça ?
>
> Sait pas, Desproges le disait en remplaçant « vieux » par « mort ».
>
> > ps : pour redevenir sérieux,
>
> Oui, on s'égare...
bah un vendredi c'est permis. D'ailleurs ça devrait être écrit dans les
statuts.
> > la raison de Marc Perrudin (monolithique --> meilleure sécurité) est
> > très intéressante;
>
> Exact. On y pense pas forcément quand on n'est pas dans un environnement
> à risque.
Absolument, bien qu'héberger sur son serveur maison et sans le savoir (et si
l'on le sait c'est encore pire!) des photos pédos peut être très gênant.
> > pour ma part je ne suis pas assez qualifié pour en dire plus.
> >
> > a plouff
>
> Id.
Buenas noches
--
steve
jabber : sdl@jabber.org
Reply to: