The Thing Explainer ChallengeThere are 7 comments on this post.
Sep 24 2015, 19:51
Randall Munroe of the xkcd fame has a new book coming up where he explains various concepts using a small repository of "simple" words (this is based on this xkcd comic). He recently posted this blog post, where he reveals a word checker program that he wrote to help him with the task.
So I figured, why not use this for explaining mathematical theorems.
Use the xkcd "simpler writer" to present a mathematical theorem. Bonus points for showing the proof as well. The only three words which are allowed outside the checker's scope are the titles "Definition", "Theorem" and "Proof". (This is a variant of "Maths, Just in Short Words" by David Roberts from last year.)
Example: Cantor's Theorem
Theorem. Given a set A, there is no means to give each member of A a single set whose members are members of A, such that every set whose members are members of A is given to some member of A. Proof. Suppose that we have some way of giving each member of A a set whose members are members of A. Consider now the set whose members are exactly those who do not belong to the set they were given. If a member of A is given that set, then it is a member of the set it was given if and only if it does not belong to the set it was given. This is not possible, of course. So we found a set whose members are members of A, and it was not given to any member of A.
Feel free to add your simple writing of mathematical statements, their proofs and otherwise in the comments!