[FOM] What Is an Algorithm?

[Victor Makarov]

Vaughan Pratt in his posting (Thu, 01 May 2003 16:41:19 -0700) wrote
>
>The only thing I would add is that practitioners of the art of algorithms
>usually aim for a compromise between naturality and abstractness in their
>choice of data structures: naturality for the sake of a good fit to the
>intended application, abstractness for the sake of generality of 
>application.
>

I agree, but we can handle the problem of implementation of an
abstract algorithm also in the axiomatic way - because data
structures can be described by another axiomatic theory.

Victor Makarov





_________________________________________________________________
Add photos to your messages with MSN 8. Get 2 months FREE*.  
http://join.msn.com/?page=features/featuredemail