The Math Forum

Search All of the Math Forum:

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

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Theorem-Proving Software
Replies: 2   Last Post: Jul 7, 1993 1:13 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
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
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
proof are generated and why?
Do you think it has any merits? Any drawbacks?

Michelle Manes
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]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.