http://blog.tuquoque.com/ Un peu de tout: XML et technologies associées, presse, édition, photos, métadonnées, documentation, taxonomies/folksonomies, systèmes éditoriaux, philosophie, épistémologie, mathématiques, histoire fr Wed, 30 Apr 2008 10:17:31 +0200 http://blogs.law.harvard.edu/tech/rss Dotclear http://blog.tuquoque.com/post/2008/03/23/Quand-peut-on-dire-que-deux-algorithmes-sont-identiques urn:md5:35b7ef9f2cf1bb566fda91dbf67078ac Tue, 25 Mar 2008 11:42:00 +0100 Patrick Peccatte philosophie de l'informatique correspondance de Curry-Howardinformatique théoriquephilosophie des mathématiquesthèse de Church-Turing <p>When Are Two Algorithms The Same? par Andreas Blass, Nachum Dershowitz, et Yuri Gurevich. « On considère généralement que les algorithmes sont plus abstraits que les programmes qui les implémentent. La manière naturelle de formaliser cette idée est de considérer que les algorithmes constituent des classes d'équivalence de programmes selon une... <em><a href="http://blog.tuquoque.com/post/2008/03/23/Quand-peut-on-dire-que-deux-algorithmes-sont-identiques">Lire</em> Quand peut-on dire que deux algorithmes sont identiques ?</a></p> http://blog.tuquoque.com/post/2008/03/23/Quand-peut-on-dire-que-deux-algorithmes-sont-identiques#comment-form http://blog.tuquoque.com/post/2008/03/23/Quand-peut-on-dire-que-deux-algorithmes-sont-identiques#comment-form http://blog.tuquoque.com/feed/rss2/comments/223425