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.
Sample proof of correctness
Media Folder Description:
Files in this media folder:
|Folder content licensed by Joel Lewis under the license: |
CC BY-NC-SA (Attribution-NonCommercial-ShareAlike)