Re: [Edu-sig] The study of fixed points has been at the foundation of algorithms

2005-12-15 Thread Arthur
Scott David Daniels wrote: I suspect the other way into this is Category Theory, an area I am afraid I under-appreciate (though some say it is just because I don't get it). Read through this explanation of Category Theory. http://plato.stanford.edu/entries/category-theory/ While not being in a

[Edu-sig] The study of fixed points has been at the foundation of algorithms

2005-12-14 Thread Arthur
A bit of a windy road: starting, as usual, with the personal frame of reference PyGeo's current implementation supports the exploration of the geometry of complex numbers, and therefore speaks Mobius transformations. http://pygeo.sourceforge.net now has a pretty picture of a simple

Re: [Edu-sig] The study of fixed points has been at the foundation of algorithms

2005-12-14 Thread Arthur
Scott David Daniels wrote: Well, in fact both meanings of fixed point are used, seldom by the same person. I expect Knuth is in that small group that uses both meanings regularly (since his basic training was all mathematics). Look to the functional programming people for examination of the

Re: [Edu-sig] The study of fixed points has been at the foundation of algorithms

2005-12-14 Thread Scott David Daniels
Arthur wrote: re: The study of fixed points has been at the foundation of algorithms I guess what I am asking further is whether the statement is simply referencing the development of algorithms for solving the mathematical question of the fixed points of a function, in the context of

Re: [Edu-sig] The study of fixed points has been at the foundation of algorithms

2005-12-14 Thread Arthur
Grégoire Dooms wrote: Very deep in the foundations of algorithms are the foundations of computer science semantics: http://en.wikipedia.org/wiki/Denotational_semantics An other area where I've been exposed ot fixed points is concurrent constraint programming where constraint propagators