American Mathematical Society | Courant Institute of Mathematical Sciences | mathematical physics | Proof of Life | Proof | Mathematical Association of America | William Lowell Putnam Mathematical Competition | Mathematical analysis | mathematical analysis | Mathematical singularity | Body of Proof | Proof (rapper) | International Mathematical Union | International Mathematical Olympiad | Dannie Heineman Prize for Mathematical Physics | Canadian Mathematical Society | Rabbit-Proof Fence (film) | Notices of the American Mathematical Society | mathematical model | Legal burden of proof | Rabbit-Proof Fence | Proof (play) | Mathematical Tables Project | Mathematical Sciences Research Institute | Mathematical physics | Mathematical Applications Group, Inc. | Institute of Mathematical Sciences | Formula (mathematical logic) | Follow the Rabbit-Proof Fence | European Mathematical Society |
The lemma is named after Ronald Shephard who gave a proof using the distance formula in his book Theory of Cost and Production Functions (Princeton University Press, 1953).
Cantor's diagonal argument, a mathematical proof from 1891 that real numbers are not countable