Mathematical Communication is a developing collection of resources for engaging students in writing and speaking about mathematics, whether for the purpose of learning mathematics or of learning to communicate as mathematicians.

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:





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)