Connections among roles of proof and pitfalls of dynamic geometry...
Hmmm...
Firstly, in the paper on roles of proof de Villiers (2002) quoted Paul
Halmos, who said "Efficiency is meaningless. Understanding is what
counts." I felt like this statement pretty much summed up the
stripped-bare, main ideas of these papers: that understanding is (or
should be) the driving force for all we do as mathematicians, whether
we use proof (as a "meaningful activity") or dynamic geometry
software, we need to be aware of the hindrances and helps (couldn't
come up with a better word) of the various roads we take toward that
understanding. de Villier also discussed the role/function of proof
as explanation, and in the geometry paper he stated his belief of "a
continued need for proof as the ultimate means of verification" -
proof/the software must do more than just show that something is true,
we need to show why. Proof as discovery reminds me of the "first
master software" pitfall in that the process of learning how to use
the software can help students develop mathematical ideas and can lend
itself to "discovery."
I also wanted to comment on a few things in the papers.
In the geometry paper I was reminded of an old article we read
(forgive me for leaving the old articles at home, maybe somebody else
knows the reference?) where the author claimed that technology drives
the skills... I found this evident in de Villiers' paper in the first
page when he said that "though new technologies will inevitably make
certain old skills obsolete, they will also require the development of
new skills." In the same paper, de Villiers quoted Sutherland who
said that we must "learn to use [new technology] in ways which
transform mathematical activity" - sounds pretty much like Doerr and
Zanger (2000) to me! Also in that paper de Villiers brings
visualisation into play during some of the pitfalls in that students
take what they see to be true and don't become conceptually engaged at
a higher level. A question that I had regarded de Villiers' statement
that one of the bottom lines to keep in mind with dynamic geometry
software is that it "was never intended to replace... important hands-
on activities" - I am skeptical here because I wonder then why it can
do everything that we can do by hand and more? Just as we see members
of society complain about simple algebra, wondering why they should
need to know how to do it if there are calculators that can do it for
them, I am curious as to whether this will become a problem with
constructions or other capabilities of such dynamic software. of
course this is not an issue at the moment because the use of such
software is not widespread. Then again, calculators were once upon a
time as unfamiliar as these programs... Just a thought.
In the proof paper de Villiers quoted Doug Hofstadter who said that
"direct [physical] contact [with constructions] is even more
convincing than a proof, because you really see it all happening right
before your eyes" - if such a thing is more convincing, why is there a
need for proof? My impression is that proof exists to convince us of
the truth of particular statements. And it can't just be a convinced
truth, it must be absolute truth (we are faulty humans and are easily
persuaded to believe many things that are not absolute truth). I
really thought it vital to discuss how proof is to help us
understanding not only that something IS true, but WHY it is so.
Later in the paper, de Villiers answers my most recent question (right
above the section of proof as a means of communication), but then I
wonder why he included the first statement? Do I have a different
interpretation of what "convince" means?
I absolutely loved when de Villiers discussed proof as a "testing
ground for the intellectual stamina and ingenuity of the
mathematician" and felt like I could climb a mountain. Not much else
to say about that part but I wanted you all to know I loved loved
loved it.