On Fri, 24 Feb 2006, Dustin Mulcahey wrote:> > His name is: Noson Yanofsky. > The title is: "Towards a Definition of an Algorithm." In this connection, see also some recent papers by Yiannis Moschovakis. In particular, he has a 2001 paper, "What is an Algorithm?" See his website for details. --Herb Enderton