I am going to post a fairly long pair of email messages I have received. They do not have anything overtly to do with teaching geometry, but they are about a piece of software developed at MITSE that -- drum roll, please -- proves theorems based on a set of axioms. I, personally, have not seen or used this software (but I'll be ftp-ing it sometime this week). The first bit of mail is from my supervisor, and I remember how excited and impressed he was after her first saw the thing.
So don't read it if you're not interested, but I think you might be. And I have some questions: Can you imagine using a tool like this with your students? How? (or why not?) Do you think it would increase their ability to generate proofs or decrease it? Do you think it would increas or decrease their ability to understand *how* proof are generated and why? Do you think it has any merits? Any drawbacks?
michelle -- Michelle Manes firstname.lastname@example.org Research Assistant / Connected Geometry Project Education Development Center 55 Chapel Street Newton, MA 02160 (617) 969-7100 x458