Dear All, I think this group might be interested in a paper I just posted. The title is
Towards a Definition of an Algorithm Abstract: We define an algorithm to be the set of programs that implement or express that algorithm. The set of all programs is partitioned into equivalence classes. Two programs are equivalent if they are ``essentially'' the same program. The set of all equivalence classes is the category of all algorithms. In order to explore these ideas, the set of primitive recursive functions is considered. Each primitive recursive function can be described by many labeled binary trees that show how the function is built up. Each tree is like a program that shows how to compute a function. We give relations that say when two such trees are ``essentially'' the same. An equivalence class of such trees will be called an algorithm. Universal properties of the category of all algorithms are given. It can be found here: http://arxiv.org/abs/math.LO/0602053 I would be very interested in comments, criticism and thoughts. All the best, Noson Yanofsky --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Algorithm Geeks" group. To post to this group, send email to algogeeks@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/algogeeks -~----------~----~----~----~------~----~------~--~---