Isn't "3.14" pi to an arbitrary degree of precision? Or am I misreading that.
> We know pi in the sense of "a unique real number satisfying many useful properties".
We know it a lot better than that. We have efficient programs that output the numerical value of pi for as many digits as you want.
There's a bunch of real numbers we can identify that are far harder to make use of or approximate, and don't have easy exact description of their value.
> We know pi in the sense of "a unique real number satisfying many useful properties".
We know it a lot better than that. We have efficient programs that output the numerical value of pi for as many digits as you want.
There's a bunch of real numbers we can identify that are far harder to make use of or approximate, and don't have easy exact description of their value.