Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



TheoremProving software
Posted:
Jul 6, 1993 4:02 PM


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 ftping 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 michelle@edc.org Research Assistant / Connected Geometry Project Education Development Center 55 Chapel Street Newton, MA 02160 (617) 9697100 x458



