[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 recurs

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

2005-12-14 Thread Scott David Daniels
Arthur wrote: > I have thought of "fixed point" (in programming) as connected > to/opposed to "floating point", not as something directly connected to > the concept of "f(x)=x" > > The statement above seems to be telling me otherwise. > Guess I am fishing for some exposition on the statement t

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 t

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

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

2005-12-14 Thread Grégoire Dooms
Arthur wrote: >Guess I am fishing for some exposition on the statement that the > >"The study of fixed points has been at the foundation of algorithms" > > Very deep in the foundations of algorithms are the foundations of computer science semantics: http://en.wikipedia.org/wiki/Denotational_sem

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 propagat

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