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

Arthur 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:
> 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 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 ;):


> HTH,

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 mailing list