Unstated Assumptions

I typed “#define PI” into the search box today to grab a nice long definition of PI for my graphics code, and found something entirely unexpected. Something, in fact, that I guarantee I have never thought before in my life. A proof that Pi (the number) exists. I think perhaps only Jason can truly appreciate the need for such a proof, but I found it quite interesting, nonetheless.

Have you ever actually proved that Pi exists, that it is a unique real number between 3 and 4 that represents the ratio of a circle’s circumference to its diameter, for all circles? Or did you just accept your teachers’ word?

Very interesting 🙂