Mathematics – Logic
Scientific paper
2006-02-02
Journal of Logic and Computation 2010;
Mathematics
Logic
38 pages. Fixed typos. Added Refs
Scientific paper
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 equivalence classes forms the category of algorithms. Although the set of programs does not even form a category, the set of algorithms form a category with extra structure. The conditions we give that describe when two programs are essentially the same turn out to be coherence relations that enrich the category of algorithms with extra structure. Universal properties of the category of algorithms are proved.
No associations
LandOfFree
Towards a Definition of an Algorithm does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards a Definition of an Algorithm, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Definition of an Algorithm will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-485117