Doesn’t that indicate that there is some kind of objective reality, to which our mathematics corresponds?
A reality behind repeatable observations is a good model, as long as it works. My point is that it doesn’t always work, like in the confusion about logical uncertainty.
And I disagree with the assumptions behind the Wigner’s question, “why does our math work so well at predicting the future?”, specifically that math’s effectiveness is “unreasonable”. Human and animal brains do complicated calculations all the time in real time to get through life, like solving what amounts to non-linear partial differential equations to even get a bite of food into your mouth. Just because it is subconscious, it is no less of a math than proving theorems. What most humans mean by math is constructing conscious, not subconscious meta-models and using them in multiple contexts. But we subconscious meta-modeling like this all the time in other areas of human experience, so my answer to Wigner’s question is “you are committing a mind projection fallacy, the apparently unreasonable effectiveness of mathematics is a statement about human mind, not about the world”.
If there is no such thing as non-experienced mathematical truths, then why does everyone’s experience of mathematical truths seem to be the same?
In general, however, your questions about the intuitionist approach to math is best directed to professional mathematicians who are actually intuitionists, though.
Human and animal brains do complicated calculations all the time in real time to get through life, like solving what amounts to non-linear partial differential equations to even get a bite of food into your mouth. Just because it is subconscious, it is no less of a math than proving theorems.
I agree. So if there is no “objective” reality, apart from that which we experience, then why is it that we all seem to experience the same reality? When I shoot a basketball, or hit a tennis ball, both I and the referee see the same trajectory and are in approximate agreement about where the ball lands. When I lift a piece of food to my mouth and eat it, it would surprise me if someone across the table said that they saw it spill from my fork and stain my shirt.
In the absence of an external reality, why is it that everyone’s model of the world appears to be in such concordance with everyone else’s?
So if there is no “objective” reality, apart from that which we experience, then why is it that we all seem to experience the same reality?
I am not saying that there is no objective reality, just that I am agnostic about it. In the example you describe, it is a useful meta-model, though not all the time. You may notice that, despite a video review and slow motion hi-res cameras, fans of different teams still argue about what happened, and the final decision is in the hands of a referee. You and your partner (especially ex partner) may disagree about “what really happened” and there is often no way to tell “who is right”. One instead has to accept that what one person experienced is not necessarily what another did, and, at least instrumentally, arguing about whose reality is the “true” is likely to be not useful at all. One may as well accept the model where somewhat different things happened to different actors.
In the absence of an external reality, why is it that everyone’s model of the world appears to be in such concordance with everyone else’s?
Does it? Who won the World War II, Americans, British or Russians? Is Trump a hero or a villain? Did Elon Musk disclose material information or not in his tweets? Do mathematical infinities exist? Are the laws of physics invented or discovered? Was Jesus a son of God? The list of disagreements about “objective reality” is endless. Sure, there is some “concordance” between different people’s views of the world, but it is much less strong than one naively assumes.
The examples you use reinforce my point. We argue about extremely fine details. When supporters of opposing teams argue over whether a point was or was not scored, they’re disputing whether the ball was here or there by a few millimeters. You won’t find very many people arguing that actually, the ball was clear on the other side of the field and in reality, the disputed point is one that would have been scored by the other team.
Similarly, we might argue about whether the British, Americans or Russians were primarily responsible for the United Nations’ victory in World War 2, but I don’t think you’ll find very many people arguing that actually it was the Italians who won World War 2.
The fact that our perceptions of reality match each other 99.999% of the time, to me, indicates that there’s something out there that exists regardless of whether I perceive it or not. I call that “reality”.
I can see your point, and it’s the one most people implicitly accept. Observations are predictable, therefore there is a shared reality out there generating those observations. It works most of the time. But in the edge cases (or “extremely fine details”) this implicit assumption breaks down. Like in the case of “objective mathematical facts waiting to be discovered”, such as the 98,765th of π before you measure it. So why insist on applying this assumption outside of its realm of applicability? Isn’t it sort of like insisting that if you shoot a bullet from a ship moving with nearly the speed of light, it will travel faster than light?
You seem to be saying that “external shared reality” is an approximation in the same way that Newtonian mechanics is an approximation for Einsteinian relativity. That’s fine. So what is “external shared reality” an approximation of? Just what exactly is out there generating inputs to my senses, and by what mechanism does it remain in sync with everyone else (approximately)?
Just what exactly is out there generating inputs to my senses, and by what mechanism does it remain in sync with everyone else (approximately)?
Sometimes the “out there” can be modeled as a shared reality, sure. The key word is “modeled”. Sometimes this model is not a good one. If you insist on privileging one model over all others to be the true objective external reality valid everywhere, you pay the price where it fails. Like in the OP’s case.
Having read through the above discussion, I don’t think you have distinguished between the claim that there are mathematical entities, and the claim that there are mathematical facts. The latter can mean nothing more than different mathematicians will find the same solutions to a given problem, which you accept. Call the second claim epistemological realism, and the first metaphysical realism. To argue that convergence on a set of facts can only be, or be explained by, form of metaphysical realism is to give to much credence to realism. Metaphysical realism about mathematical entities , Platonism, is much more controversial than realism about physical bodies.
By “good” I mean (as always) “fitting the available observations and producing accurate predictions”. In the OP’s case of the 98,765th digit of π, the model is that “A randomly picked digit is uniformly distributed” and it is a “good” (i.e. accurate) one.
There’s a puzzle about how probability theory would apply would apply to something that’s basically determinate, but the question of how randomly selected digits of pi are distributed isn’t it, because the process of picking a digit randomly bring indeterminacy in.
People pose the problem with a specific digit to make the problem determinate, and focus on the paradoxical aspect.
The paradox only arises if you ignore the view I’ve been presenting. The 98,765th digit of π is a random digit in the same way that a 98,765th reading of rand() is. Until you do some work to measure it, it’s not determined.
It is determined in the sense of having only one possible value. The same applies to a call to rand() ,so long as it is a deterministic PRNG. We don’t know what the answer is , until we have done some work, in either case, but that doesn’t mean anything indeterministic is going on. Determinism is defined in terms of inevitability, ie. lack of possible alternatives. We do not regard the future as undeterminedjust because it has not happened yet.
Determinism is defined in terms of inevitability, ie. lack of possible alternatives. We do not regard the future as undetermined just because it has not happened yet.
I don’t argue with that, in fact, the statement above makes my point: there is no difference between an as-yet-unknown to you (but predetermined) digit of pi and anything else that is not yet known to you, like the way a coin lands when you flip it.
It doens’t make your point, since I don’t agree with it.
Given any degree of realism, you can differentiate between determined but unknown things and undetermined things.
Well, you’re an anti realist. But that doesn’t give you the right to interpret what other people, if there are any other people, are saying in anti-realist terms.
A reality behind repeatable observations is a good model, as long as it works. My point is that it doesn’t always work, like in the confusion about logical uncertainty.
And I disagree with the assumptions behind the Wigner’s question, “why does our math work so well at predicting the future?”, specifically that math’s effectiveness is “unreasonable”. Human and animal brains do complicated calculations all the time in real time to get through life, like solving what amounts to non-linear partial differential equations to even get a bite of food into your mouth. Just because it is subconscious, it is no less of a math than proving theorems. What most humans mean by math is constructing conscious, not subconscious meta-models and using them in multiple contexts. But we subconscious meta-modeling like this all the time in other areas of human experience, so my answer to Wigner’s question is “you are committing a mind projection fallacy, the apparently unreasonable effectiveness of mathematics is a statement about human mind, not about the world”.
In general, however, your questions about the intuitionist approach to math is best directed to professional mathematicians who are actually intuitionists, though.
I agree. So if there is no “objective” reality, apart from that which we experience, then why is it that we all seem to experience the same reality? When I shoot a basketball, or hit a tennis ball, both I and the referee see the same trajectory and are in approximate agreement about where the ball lands. When I lift a piece of food to my mouth and eat it, it would surprise me if someone across the table said that they saw it spill from my fork and stain my shirt.
In the absence of an external reality, why is it that everyone’s model of the world appears to be in such concordance with everyone else’s?
I am not saying that there is no objective reality, just that I am agnostic about it. In the example you describe, it is a useful meta-model, though not all the time. You may notice that, despite a video review and slow motion hi-res cameras, fans of different teams still argue about what happened, and the final decision is in the hands of a referee. You and your partner (especially ex partner) may disagree about “what really happened” and there is often no way to tell “who is right”. One instead has to accept that what one person experienced is not necessarily what another did, and, at least instrumentally, arguing about whose reality is the “true” is likely to be not useful at all. One may as well accept the model where somewhat different things happened to different actors.
Does it? Who won the World War II, Americans, British or Russians? Is Trump a hero or a villain? Did Elon Musk disclose material information or not in his tweets? Do mathematical infinities exist? Are the laws of physics invented or discovered? Was Jesus a son of God? The list of disagreements about “objective reality” is endless. Sure, there is some “concordance” between different people’s views of the world, but it is much less strong than one naively assumes.
The examples you use reinforce my point. We argue about extremely fine details. When supporters of opposing teams argue over whether a point was or was not scored, they’re disputing whether the ball was here or there by a few millimeters. You won’t find very many people arguing that actually, the ball was clear on the other side of the field and in reality, the disputed point is one that would have been scored by the other team.
Similarly, we might argue about whether the British, Americans or Russians were primarily responsible for the United Nations’ victory in World War 2, but I don’t think you’ll find very many people arguing that actually it was the Italians who won World War 2.
The fact that our perceptions of reality match each other 99.999% of the time, to me, indicates that there’s something out there that exists regardless of whether I perceive it or not. I call that “reality”.
I can see your point, and it’s the one most people implicitly accept. Observations are predictable, therefore there is a shared reality out there generating those observations. It works most of the time. But in the edge cases (or “extremely fine details”) this implicit assumption breaks down. Like in the case of “objective mathematical facts waiting to be discovered”, such as the 98,765th of π before you measure it. So why insist on applying this assumption outside of its realm of applicability? Isn’t it sort of like insisting that if you shoot a bullet from a ship moving with nearly the speed of light, it will travel faster than light?
You seem to be saying that “external shared reality” is an approximation in the same way that Newtonian mechanics is an approximation for Einsteinian relativity. That’s fine. So what is “external shared reality” an approximation of? Just what exactly is out there generating inputs to my senses, and by what mechanism does it remain in sync with everyone else (approximately)?
Sometimes the “out there” can be modeled as a shared reality, sure. The key word is “modeled”. Sometimes this model is not a good one. If you insist on privileging one model over all others to be the true objective external reality valid everywhere, you pay the price where it fails. Like in the OP’s case.
Having read through the above discussion, I don’t think you have distinguished between the claim that there are mathematical entities, and the claim that there are mathematical facts. The latter can mean nothing more than different mathematicians will find the same solutions to a given problem, which you accept. Call the second claim epistemological realism, and the first metaphysical realism. To argue that convergence on a set of facts can only be, or be explained by, form of metaphysical realism is to give to much credence to realism. Metaphysical realism about mathematical entities , Platonism, is much more controversial than realism about physical bodies.
“Sometimes this model is not a good one.”
What do you mean by “good” here? And, given some definitiin of good, what alternative model is better in that sort of situation?
By “good” I mean (as always) “fitting the available observations and producing accurate predictions”. In the OP’s case of the 98,765th digit of π, the model is that “A randomly picked digit is uniformly distributed” and it is a “good” (i.e. accurate) one.
..isn’t a random digit, it’s the 98,765th digit.
There’s a puzzle about how probability theory would apply would apply to something that’s basically determinate, but the question of how randomly selected digits of pi are distributed isn’t it, because the process of picking a digit randomly bring indeterminacy in.
People pose the problem with a specific digit to make the problem determinate, and focus on the paradoxical aspect.
The paradox only arises if you ignore the view I’ve been presenting. The 98,765th digit of π is a random digit in the same way that a 98,765th reading of rand() is. Until you do some work to measure it, it’s not determined.
It is determined in the sense of having only one possible value. The same applies to a call to rand() ,so long as it is a deterministic PRNG. We don’t know what the answer is , until we have done some work, in either case, but that doesn’t mean anything indeterministic is going on. Determinism is defined in terms of inevitability, ie. lack of possible alternatives. We do not regard the future as undeterminedjust because it has not happened yet.
I don’t argue with that, in fact, the statement above makes my point: there is no difference between an as-yet-unknown to you (but predetermined) digit of pi and anything else that is not yet known to you, like the way a coin lands when you flip it.
It doens’t make your point, since I don’t agree with it.
Given any degree of realism, you can differentiate between determined but unknown things and undetermined things.
Well, you’re an anti realist. But that doesn’t give you the right to interpret what other people, if there are any other people, are saying in anti-realist terms.
Right, never mind, for a moment what your discourse style is. Disengaging.