Search All of the Math Forum:

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

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

Topic: Simple versus formal proof?
Replies: 34   Last Post: Jun 26, 2006 4:54 AM

 Messages: [ Previous | Next ]
 Ross Clement Posts: 569 Registered: 12/8/04
Re: Simple versus formal proof?
Posted: Jun 23, 2006 10:18 AM

The Qurqirish Dragon wrote:
> If the result will be used more than once, then the first time you use
> it, write out the proof in excruciating detail. Then in future uses,
> you can simply state "as previously shown..." and not use it again.
>
> If the result cannot be proved in a "small" amount of space (small is
> subjective here), then you may want to explicitly call it a lemma, for
> easy reference- since the "as previously shown..." may involve a lot
> more writing than "by lemma X"
>
> Since this is for yourself, it really depends on how organized you
> like/need your notes to be.

Thanks. I'm currently working on skills rather than, at the moment,
learning stuff I really need to know. I have the book "How to read and
do proofs" by Daniel Solow. I've read some of the previous discussion
on that book and am aware of some of the pros and cons of it. But I
figure that getting through that, in parallel with other books, is
going to help. It's pretty frustrating to find proofs that don't seem
to make sense, and hold me up for a while, but then a day or so later
trouble in the first place.

Cheers,

Ross-c

Date Subject Author
6/23/06 Ross Clement
6/23/06 William Elliot
6/23/06 Ross Clement
6/23/06 William Elliot
6/23/06 Ross Clement
6/23/06 tamiry
6/23/06 Ross Clement
6/23/06 Robert Low
6/23/06 Ross Clement
6/23/06 Robert Low
6/23/06 The Qurqirish Dragon
6/23/06 Ross Clement
6/25/06 K. E. Pledger
6/26/06 Ross Clement
6/23/06 Bob Marlow
6/23/06 Ross Clement
6/23/06 Bob Marlow
6/23/06 Ross Clement
6/23/06 Bob Marlow
6/23/06 Robert Low
6/23/06 Bob Marlow
6/23/06 Ross Clement
6/23/06 Tom Smith
6/23/06 Tom Smith
6/23/06 Bob Marlow
6/23/06 Robert Low
6/23/06 Bob Marlow
6/23/06 Robert Low
6/24/06 Bob Marlow
6/23/06 tamiry
6/23/06 Justin
6/23/06 Tom Smith
6/23/06 Bob Marlow
6/23/06 Tom Smith
6/23/06 Bob Marlow