Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Theorem-Proving 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 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
|
|
|
|
