When do you understand a proof? Such understanding has many levels. - Knowing the rough techniques used.
- Following the proof line by line.
- Can recreate the proof.
- Can explain the proof to others.
- If someone else claims a mistake in the proof, you can show them why they are wrong.
- Applying the proof techniques to other theorems.

Why do we understand proofs?

- Part of the job, as a referee, reviewer or advisor.
- We care about the theorem, because it is important and/or something we've worked on.
- We've heard the proof is nice and short and worth reading.
- We want to apply the proof techniques to other problems.

--

Posted by Lance to Computational Complexity at 7/26/2005 01:35:00 PM