Material Detail

Proof Designer

Proof Designer

Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary element and prove the statement for it. These types of nestings are not automatically done by novices and they take time to internalize. In proof designer such steps are created upon selection with the characteristic start ("Let a be ") and the characteristic ending ("Since a was arbitrary "). The user still has to fill in the steps in between. In the above fashion proof designer can be used to keep track of and demonstrate the macroscopic structure of the proof as... Show More


More about this material


Log in to participate in the discussions or sign up if you are not already a MERLOT member.