Re: A Definition of an Algorithm

In article <dtprdr$88r$1@xxxxxxxxxxxxxxxx>, <alex.lupas@xxxxxxxxx>
wrote:

It seems "algorithm" is defined in terms of the notion "implement the
same algorithm", so now all we need is the way do define this relation.
Perhaps.

To define/or to describe the term "algorithm" by
means of some notions which include term "algorithm" ??



It is not so far-fetched. You often first define an equivalence
relation, then use the equivalence classes for your new notion. So
"order type" is defined in terms of "have the same order type" which is
also known as "order isomorphic". Or "cardinal" can be defined in
terms of "have the same cardinal" which is also known as "equipollent".

--
G. A. Edgar http://www.math.ohio-state.edu/~edgar/

.

Relevant Pages

  • Re: Need Graph Isomorphism Algorithm De-bunked
    ... equivalence classes, not 11117. ... Bill Cox algorithm that you verified up to 8 nodes, ... not in your implementation) is in my rendering of Bill Cox's ... It would help if you could give two graphs that are not ...
    (sci.crypt)
  • Re: A Definition of an Algorithm
    ... Towards a Definition of an Algorithm ... This is a circular definition, and you haven't defined "programs", ... partitioned into equivalence classes. ... --- Christopher Heckman ...
    (sci.math)
  • Re: A Definition of an Algorithm
    ... same algorithm", so now all we need is the way do define this relation. ... To define/or to describe the term "algorithm" by ... means of some notions which include term "algorithm" ?? ... I remember that forty years ago A. Markov has ...
    (sci.math.research)
  • Re: collatz proof algorithm reveals e
    ... mensanator tried to reply earlier but Google got a server error ... > An algorithm specifies a process for doing something, ... > Mathematics provides a framework for dealing precisely ... > with notions of "what is". ...
    (sci.math)
  • Re: collatz proof algorithm reveals e
    ... mensanator tried to reply earlier but Google got a server error ... > An algorithm specifies a process for doing something, ... > Mathematics provides a framework for dealing precisely ... > with notions of "what is". ...
    (sci.math)