What is a math concept or theorem that you wish there were a better explanation of?
-
Yes, that's why I mentioned sponges.
You'd want something that isn't going to count in distinct digits.
Like 10 for us, 8 for an octopus, maybe 6 for an insect?
You'd want something with no digits.
@SeanPLynch @futurebird @Meowthias I think there is a fundamental misunderstanding of what an irrational number is going in here. Because regardless of the base that is being used, or the counting system at play, you can’t tweak how you count to make the irrational numbers suddenly rational.
The “ratio” in rational is about how the number can be described as a ratio of two other integers. To be irrational means that it “cannot be expressed as a ratio between two integers”
Whatever base you use does not get around this. Using a base that is fractional doesn’t change the fundamental definition of “expressed as a ratio between two integers” either, it just means that it is incredibly difficult to do math because you have to express things in complicated addition and subtraction chains to represent a whole integer.
-
Pi goes on forever because if you take the diameter of a circle and try to wrap it around the circle there is no simple ratio between these lengths.
Now why isn't there a simple ratio? With a hexagon the diameter fits three times. So, why can't exactly three diameters make up the circumference of a circle?
I'm thinking about how to answer this without just going "it's Euclidian space" which isn't a real explanation.
Maybe someone else can help here.
@futurebird @Meowthias so, the short answer is, the more sides to an even-sided regular polygon that you have, the closer and closer you reach to a limit of the ratio between the distance between two oppos and corners and sum of side lengths. A circle is functionally an infinitely sided regular polygon. And so, with an infinitely sided regular polygon, the ratio of the distance between two opposing corners and the sum of the length of the sides happens to be that limit. That limit happens to be pi.
-
Think about the sponges you were posting about a few days ago ...
If they were intelligent they wouldn't use base 10 because they don't have 10 digits (fingers).
Sponges might develop some way of counting quantities that wasn't based on distinct numbers, but was more fluid and could handle irrational division.
We are trapped in our 'digital' world by our own biology!
@SeanPLynch@mastodon.social @futurebird@sauropods.win @Meowthias@mastodon.world skeletal muscular biology has definitely impacted how we perceive the world 🧽 and therefore our mathematics
-
@Meowthias @futurebird I've never seen an intuitive or visual proof that pi is irrational.
@Meowthias @futurebird an aside: we watched the film "Train Dreams" last night. There's one scene where the couple are discussing whether a puppy or a baby of the same age is smarter. And they come up with some pretty convincing theories about it, based on evidence they'd seen with their own eyes -- how independent a puppy can be after weaning, how dependent a baby is even when it can walk and talk.
-
@johnzajac @leadegroot @futurebird @Meowthias I was talking about mathematical spaces; physical ones are not relevant to the technical definition of pi.
@khleedril @leadegroot @futurebird @Meowthias
So my much smarter husband just told me
-
@Meowthias @futurebird if we lived in a simulation, somewhere, somehow, pi would be found to repeat, terminate, or crash the simulation with an unhandled floating point exception.
@llewelly @futurebird Thank you. I only understood half of this but the half I did understand is vaguely reassuring.
-
@Meowthias @futurebird an aside: we watched the film "Train Dreams" last night. There's one scene where the couple are discussing whether a puppy or a baby of the same age is smarter. And they come up with some pretty convincing theories about it, based on evidence they'd seen with their own eyes -- how independent a puppy can be after weaning, how dependent a baby is even when it can walk and talk.
@Meowthias @futurebird it made me think about how science has crossed from rational examination and experimentation with our normal everyday sense experiences to extremely specialized equipment and methodologies. The question of whether puppies or babies have greater intelligence would be answered very differently in 2026 than in 1920, the setting of the film.
-
@cford @futurebird I can't explain it, but I blame Kurt Gödel and the incompleteness theorem.
@llewelly @futurebird Imagine how much better off we'd be if Kurt had the persistence to finish his theorem.
-
@futurebird @SeanPLynch @Meowthias how does a mathematician know such a thing? ... that they will never match up? Is it because a repeating pattern is found? But I thought pi does not repeat?
But wait how can we be sure that pi never will repeat?
@independentpen @futurebird @Meowthias
"How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality? Is human reason, then, without experience, merely by taking thought, able to fathom the properties of real things?"
[Albert Einstein]
-
@Meowthias @futurebird it made me think about how science has crossed from rational examination and experimentation with our normal everyday sense experiences to extremely specialized equipment and methodologies. The question of whether puppies or babies have greater intelligence would be answered very differently in 2026 than in 1920, the setting of the film.
@Meowthias @futurebird I bring it up because of this question of pi's irrationality. I did physics as an undergraduate, which requires a lot of math, and I can kind of follow along with some of the proofs in this article. But they're definitely not gut level, and I don't come away with an intuitive sense of *why*.
-
@SeanPLynch @futurebird @Meowthias I think there is a fundamental misunderstanding of what an irrational number is going in here. Because regardless of the base that is being used, or the counting system at play, you can’t tweak how you count to make the irrational numbers suddenly rational.
The “ratio” in rational is about how the number can be described as a ratio of two other integers. To be irrational means that it “cannot be expressed as a ratio between two integers”
Whatever base you use does not get around this. Using a base that is fractional doesn’t change the fundamental definition of “expressed as a ratio between two integers” either, it just means that it is incredibly difficult to do math because you have to express things in complicated addition and subtraction chains to represent a whole integer.
@dvandal @SeanPLynch @futurebird @Meowthias
I went looking on the 'tubes for a "simple proof that pi is irrational." This https://math.mit.edu/~poonen/papers/pi_irrational.pdf is the shortest one I found.
YMMV
-
@darkling @futurebird @Meowthias
Yeah some kind of fractional base. Maybe a tree, or a fern, with its fractal body design, would develop some kind of weirdly based counting system that could work.
Transforming to base 10, would still give irrational pi.
Great band name, irrational pi.
@SeanPLynch @futurebird @Meowthias Unless some component of that fractional base is itself related to pi (by a rational multipler), you're still going to end up with an infinite-length description of pi.
If you go for a multi-component base with non-transcendental components (say, the first digit is base 5, the second digit is base 3/2, the third is base sqrt(13), ...), then you'd still not be able to describe pi in a finite number of digits, even if your base has an infinite description.
-
@Meowthias @futurebird I bring it up because of this question of pi's irrationality. I did physics as an undergraduate, which requires a lot of math, and I can kind of follow along with some of the proofs in this article. But they're definitely not gut level, and I don't come away with an intuitive sense of *why*.
@Meowthias @futurebird maybe part of the tradeoff of getting to know these facts is having specialists who dig very deeply into an area, such that they can tell us what they learned, but they can't exactly communicate why it's true. And we can't just chat about it over the campfire.
-
@Meowthias @futurebird maybe part of the tradeoff of getting to know these facts is having specialists who dig very deeply into an area, such that they can tell us what they learned, but they can't exactly communicate why it's true. And we can't just chat about it over the campfire.
"And we can't just chat about it over the campfire."
I always take this as a challenge.
"watch me cook!"
-
@SeanPLynch @futurebird @Meowthias I think there is a fundamental misunderstanding of what an irrational number is going in here. Because regardless of the base that is being used, or the counting system at play, you can’t tweak how you count to make the irrational numbers suddenly rational.
The “ratio” in rational is about how the number can be described as a ratio of two other integers. To be irrational means that it “cannot be expressed as a ratio between two integers”
Whatever base you use does not get around this. Using a base that is fractional doesn’t change the fundamental definition of “expressed as a ratio between two integers” either, it just means that it is incredibly difficult to do math because you have to express things in complicated addition and subtraction chains to represent a whole integer.
@dvandal @futurebird @Meowthias
Yes, that's why I first mentioned sponges.
We'd need something without distinct digits to develop a 'math' not based on distinct set of counting numbers. A non-real number system. Something more fluid.
It's not a matter of choosing a different base. Even choosing pi as your base won't help.
I like our math, and its unreasonable effectiveness...
-
"And we can't just chat about it over the campfire."
I always take this as a challenge.
"watch me cook!"
@futurebird @Meowthias do it! I hope you can.
-
People will try to blow this up into something much more complex but a proof is simply a convincing and correct *deductive* argument. It's a series of sentences (logical statements such as "If A then B") that you string together to justify a more concise and useful statement. "The sum of the interior angles of parallel lines is 180"
@futurebird that leads some people to say that logic (first order and higher order) are not part of maths, but is the language that allows maths to be done.
@jtnystrom -
@futurebird @Meowthias so, the short answer is, the more sides to an even-sided regular polygon that you have, the closer and closer you reach to a limit of the ratio between the distance between two oppos and corners and sum of side lengths. A circle is functionally an infinitely sided regular polygon. And so, with an infinitely sided regular polygon, the ratio of the distance between two opposing corners and the sum of the length of the sides happens to be that limit. That limit happens to be pi.
@rallias @futurebird @Meowthias Would it be fair then to say, that the "infinite precision" of Pi could be read as a direct consequence of trying to calculate the ratios of an "infinite set" - that is, the set of all N-sided polygons?
That would make some sense as an explanation, to me.
-
@dvandal @futurebird @Meowthias
Yes, that's why I first mentioned sponges.
We'd need something without distinct digits to develop a 'math' not based on distinct set of counting numbers. A non-real number system. Something more fluid.
It's not a matter of choosing a different base. Even choosing pi as your base won't help.
I like our math, and its unreasonable effectiveness...
@SeanPLynch @dvandal @Meowthias
Pi is defined as a ratio and the irrationality is a property of the ratio. I'm having trouble knowing how you could somehow have pi and it didn't have that property.
You could have some other notion of calculating where this didn't come up... but then you'd never define pi.
You see, to me, that pi is irrational is so intrinsic to what it is in a Euclidean space that I don't think it'd be "pi" anymore if it didn't have that property.
-
@SeanPLynch @futurebird @Meowthias I think there is a fundamental misunderstanding of what an irrational number is going in here. Because regardless of the base that is being used, or the counting system at play, you can’t tweak how you count to make the irrational numbers suddenly rational.
The “ratio” in rational is about how the number can be described as a ratio of two other integers. To be irrational means that it “cannot be expressed as a ratio between two integers”
Whatever base you use does not get around this. Using a base that is fractional doesn’t change the fundamental definition of “expressed as a ratio between two integers” either, it just means that it is incredibly difficult to do math because you have to express things in complicated addition and subtraction chains to represent a whole integer.
@dvandal @futurebird @Meowthias
Correct on using a fractional base!
I had to think it through. Making a base pi will make pi rational, but you'll get irrational results for so many things.
Won't work with any base where the digits are distinct units apart.
