Sample proof of correctness

This (fabricated) draft student paper is designed to start a class discussion about when conceptual explanations are needed in mathematical writing. The paper is about an algorithm for finding square roots. The first proof shows that the algorithm is correct, but the point of the second proof is never clearly stated (it shows that the algorithm is efficient). Written by Joel Lewis for M.I.T.’s communication-intensive offering of Real Analysis, based on Rudin’s Exercise 16 in Chapter 3.

Files in this media folder:

Recitation6_ToBeCriticized_JL

PDF

Recitation6_ToBeCriticized_JL

TEX

Please Click "Preview" to view individual files.

License: CC BY-NC-SA Page content licensed by Joel Lewis under the license:
CC BY-NC-SA (Attribution-NonCommercial-ShareAlike)