Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Math Topics » geometry.pre-college.independent

Topic: Theorem-Proving software
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Michelle Manes

Posts: 64
Registered: 12/3/04
Theorem-Proving software
Posted: Jul 6, 1993 4:02 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


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





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.