[FOM] What Is an Algorithm?

Victor Makarov viktormakarov at hotmail.com
Fri May 2 19:58:36 EDT 2003

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 

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*.  

More information about the FOM mailing list