---
---"pi is certainly a finite real number. It's between 3 and 4. It's not even a particularly large number.
You are correct that it takes an infinite amount of information to specify it in decimal notation. That is, for every counting number n, there's a particular decimal digit in place n. (To the right of the decimal point. We can ignore the 3 for this.) So in decimal notation it takes infinitely much information to specify pi.
But that's just a limitation of the decimal notation. There are many finite ways to define pi. The Internet is full of them. I'm too new to post links, but if you google "formulas for pi" you will find lots of relatively short (in particular, finite) expressions that completely characterize pi.
My favorite is sum(1/n^2; n = 1, 2, 3, ...) = pi^2/6. That's really a cool fact, don't you think? Euler discovered it in 1735. That number is zeta(2), for fans of Riemann's zeta function.
From zeta(2) = pi^2/6 it follows that
pi = sqrt(6 * zeta(2))
I admit that we are still hiding an infinitary process in this notation. We're summing an infinite series of real numbers. But these days, modern math has figured out how to logically derive the operations on infinite series from first principles, using nothing more than the laws of logic and the axioms of set theory. We now have a comprehensive theory of how to represent infinitary processes using finite strings. Or computer programs if you like. We could easily program any of these formulas in a computer and generate as many digits of pi as we want, given constraints on time and electricity. That's a major human intellectual achievement. Not everyone's completely on board with it yet
We have finitized the infinite. That's the important philosophical point. And it's a relatively recent historical development.
Pi isn't "random." Its decimal digits are the result of a deterministic process. Even if the distribution of the digits turns out to be statistically random; those digits are still generated by a deterministic process. And it doesn't require infinite information to specify ... a short mathematical formula does the job perfectly well.
Generally speaking, it's helpful to put aside our high-school understanding of pi as being defined by a circle.
Rather, pi is a particular real number that arises naturally in the study of many mathematical phenomena. It's half the period of the cosine function, for example. And the cosine is not the high-school cosine that's defined by triangles. It's the modern cosine, defined by an infinite series; expressible in finitely many symbols; and (at least in principle) reducible to logic.
In other words, our modern understanding of pi is that it's an algorithm. It doesn't terminate, but it cranks out as many digits as you want. And algorithms are real and solid and they run the world. In that sense, we've tamed pi.
Hope something in here sheds some light."
---Zyx wrote:We have a way to accurately define pi and it is π. That's it, no infinite amount of information needed.
We haven't finitized the infinite, on the contrary, mathematics have found a way to work with infinity to the point that they can handle an infinite number of infinites.
However, this does not mean that pi is finite. Curiously, this doesn't matter. Really, it doesn't. The funniest thing ever is that for any calculation we need pi for, 40 digits is enough. And by enough I don't mean good enough, just literally enough for anything in the universe...
Well, pi is finite as it was logically concluded in the first post. It's a number between 3 and 4, or even more precisely between 3.141 and 3.142. And if it isn't then we have a problem, because either there's something wrong with maths, with concept of infinity or with our understanding of Universe structure.
Logically, there must be a finite number of digits to describe what is pi, even if it is an extremely huge number of digits.
If the number of digits would be "infinite" than probably also all elementary particles we know at the moment would be built of infinite number of infinitely small particles. This is of course philosophically possible. Mathematically too. Physically, well, who knows. Anyway, it's against intuition that things can be infinite and infinitely small without defined and measurable borders.
Since I am predominantly interested in languages we use to communicate (maths is also a language) I think that "pi" is simply a paradox, similar to Zeno's. "Infinite" number of digits we possibly need to depict Pi means that language is not precise and Pi is just another abstract concept, simple observation of the world around us just like that the snow is cold and sand is hot.
---
The problem is that "it doesn't matter whether pi is finite or infinite" doesn't fully resolve the issue. It is indeed taming, but not explaining. It's the same kind of expression like "I am happy being a non-believer". You may be happy, but your happiness doesn't prove that God doesn't exist.
