TY - RPRT TI - (Avoiding) Proof by Contradiction: $\sqrt{2}$ is Not Rational AU - C. E. Larson PY - 2020 UR - https://arxiv.org/abs/2005.03878 ID - 2005.03878 ER -