[Edu-sig] "The study of fixed points has been at the foundation of algorithms"
ajsiegel at optonline.net
Wed Dec 14 20:16:33 CET 2005
Grégoire Dooms wrote:
> Very deep in the foundations of algorithms are the foundations of
> computer science semantics:
> An other area where I've been exposed ot fixed points is concurrent
> constraint programming where constraint propagators are applied to a
> computation space until a fixed point is reached (see for instance
> http://www.gecode.org/ for a Open source implementation).
I see your familiarity with the gecode project and its concepts are more
than casual ;):
Helps - in the sense of giving me some impression of the meaning of the
behind the assertion, realizing that an "impression" is all I have the
prerequisites to achieve.
> Grégoire Dooms
> PS: Where is the connection with education with/about Python ?
Maybe little. Though I have certainly been *more* irrelevant than this.
As I suspect you are aware.
Obviously there will be more relevance once you do the Python bindings
to CP(Graph) ;).
I do flirt with the idea of having nothing to say here - which will
certainly avoid any possibility of my raising irrelevancies.
Is PyGeo relevant to education with/about Python?
I am not quite ready yet, but after the next release I will be willing
to argue that it is more than relevant - that it is significant. Knowing
that I might have lost objectivity, but also knowing what I know.
More information about the Edu-sig