The existence of the square root of two

(dpmms.cam.ac.uk)

3 points | by pykello 7 hours ago ago

4 comments

  • ventana 7 hours ago

    Now wait until someone asks the author to prove that e or π exist. The whole reasoning they used for √2 is based on the fact that √2 is a root of a simple equation x²-2=0 which has rational coefficients; with e or π no such equation exists.

    • zero-sharp 6 hours ago

      the argument for the existence of pi or e doesn't connect as easily to something as "tangible" as a polynomial equation, but the arguments are still out there

      • ventana 6 hours ago

        I know, it's just less obvious and probably not at all convincing for a person with no mathematical knowledge. Even talking about (1+1/n)ⁿ is not easy without a bunch of calculus.

        • zero-sharp 5 hours ago

          I think the argument for pi should be somewhat straightforward since people usually do trigonometry in high school? I don't know an argument for e that doesn't involve some kind of calculus.