http://blog.kerneis.info/ Notes quotidiennes sur sujets variés, et bribes de connaissance sur tout ce qui me paraît digne d'intérêt. En bref, un fourre-tout qui se targue d'être intéressant. Tout un programme... fr Fri, 22 Aug 2008 13:55:39 +0200 Licence CC by-nc-sa 2.0 (version française), sauf mention contraire. http://blogs.law.harvard.edu/tech/rss Dotclear http://blog.kerneis.info/post/2007/04/11/Informatique-II urn:md5:be41d1103065e91ebfbb61c6509f59ed Wed, 11 Apr 2007 20:04:00 +0200 Gabriel Kerneis Expériences cachanhumouréchec <p>La personne ayant trouvé un ensemble semilinéaire Presburger-définissable accompagné d'une suite croissante stationnaire d'ensembles clos par le haut de X^{[<a href="http://blog.kerneis.info/post/2007/04/11/#pnote-97594-1" id="rev-pnote-97594-1" name="rev-pnote-97594-1">1</a>]} est priée de les rapporter à l'accueil. Merci.</p> <p>J'aurai 4/20. Ce qui rendra l'admissibilité possible de justesse (j'espère) mais l'admission franchement douteuse.</p> <p>Et pour ceux qui se permettraient de douter de mes dons de prescience, je rappelle que <a href="http://gkerneis.free.fr/blog/index.php/2005/07/10/69-comment-noter-le-silence#c77" hreflang="fr">ma dernière prédiction en la matière</a> s'est avérée rigoureusement exacte.</p> <div class="footnotes"> <h4>Notes</h4> <p>[<a href="http://blog.kerneis.info/post/2007/04/11/#rev-pnote-97594-1" id="pnote-97594-1" name="pnote-97594-1">1</a>] X étant muni d'un préordre, sinon ce n'est pas drôle.</p> </div> http://blog.kerneis.info/post/2007/04/11/Informatique-II#comment-form http://blog.kerneis.info/post/2007/04/11/Informatique-II#comment-form http://blog.kerneis.info/feed/rss2/comments/97594