Re: [Fwd: LOGO-L> ideas needed!!!]

[mikedoyle@cix.compulink.co.uk (Mike Doyle)]

In-Reply-To: <Pine.OSF.3.95.970521095457.24057D-100000@otto.bf.rmit.edu.au>
Thanks for your clarification Jeff:

>The distinction between 'procedural' and 'declarative' is related to 
>that between an algorithm and a proof

Having written procedures (algorithms) for Euclidean geometry in Geomland 
- including animating a construction of a Paucellier Cell to check whether 
it is a straight line motion - I conclude that your assertion re Euclidean 
Geometry vs Turtle Geometry falls.

I repeat my assertion that Turtle Geometry is the representation, within 
an active medium, of actions involving a graduated ruler and protractor 
whilst Euclidean Geometry is the representation, within the same active 
medium, of actions involving a straight-edge and compass.

Your service. 

Micheal O Duill
EuroLogo Scientific Committee Chairman

---------------------------------------------------------------
Please post messages to the Logo forum to logo-l@gsn.org.  Mail
questions about the list administration to logofdn@gsn.org.  To
unsubscribe send    unsubscribe logo-l    to majordomo@gsn.org.