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 : [EMAIL PROTECTED]
