Take a look at my response to tim. Replace god with Euclidean Geometry, and forget the fluff about god being inconsistent, and you can see that Euclidean Geometry is still coherent, because our minds can represent it with consistent rules, so these rules exist as an abstraction in the universe. So my view doesn’t make Euclidean Geometry incoherent. I’m not sure what exactly you mean by validity, but the only thing that my view says is “invalid” about Euclidean Geometry is that it is not the same as the geometry of our universe.
Now it gets a bit difficult to write about clearly, I’m sorry if it’s not clear enough to be understandable. Things we figure out about numbers using Euclidean Geometry can still be valid, simply because when we abstract the details about Euclidean Geometry to be left with only numbers, we get the same thing as when we abstract apples to numbers, and the same thing is true about our mental representation of PA. So proofs from one can be “transferred” over to another. But “transfer” doesn’t really describe it well. What’s really happening is that from the abstract numbers, you can un-abstract them by filling them in with some details. So you can remember that the apples were in a bag, and that gravity was acting on them. If, when you add in the details, the abstract number behavior still holds, then the object follows the rules of numbers. So if the added details about apples don’t affect the conclusions you make using PA, by abstracting PA into numbers, and then filling in the details about apples, you have shown that things that are true about PA are true about apples too. And all this is done using physical processes.
So my view doesn’t entail anything about accepting or rejecting mathematical statements. What it says is that mathematical concepts are abstract concepts, which we obtain by ignoring details in things in this world, and thanks to our awesome simple and universal laws of physics, the same abstract concepts emerge again and again.
Sorry, unintended inferential distance. In a previous post, Eliezer distinguishes between “true” and “valid” because only empirical things can be true, and he doesn’t think mathematics is empirical. Thus, propositions that follow from proposed axioms are “valid”—what a mathematician would call true—to avoid confusing vocabulary.
You avoid the confusion by asserting that mathematical assertions really do correspond to some physical state (i.e. are empirical). Under the correspondence theory of truth, that allows some mathematical statements to be true, not simply valid. Nonetheless, I assume you don’t think all mathematical statements are true (2 + 2 != 3, etc).
The problem with asserting that mathematical statements are empirical is that there are certain mathematical assertions that are valid but do not have any physical basis. Consider the proposition, “The Pythagorean theorem follows from Euclid’s axioms.” The statement is valid, but cannot meaningfully be called true because there is no physical fact that corresponds to the assertion by virtue of the fact that the physical universe is not a Euclidean space. But the statement is not false because there is no physical fact that corresponds to “The Pythagorean theorem is not deducible from Euclidean axioms.”
In other words, your theory of mathematics has no room for “validity”, only “truth.” The Pythagorean theorem is interesting to mathematicians, but adopting your philosophy of mathematics would hold that generations of mathematicians have been interested in a theorem that we now know can never be true or false. That’s just too weird for most people to accept.
You seem to misinterpret what I mean, but that’s my fault for explaining poorly. This post has been getting out of hand with all the clarifications, so I will retract it and post a hopefully clearer version later on. Maybe as I write it, I’ll notice a problem with my view which I hadn’t seen before, and I’ll never actually post it.
Or you can leave it, take your karma lumps which seem to be somewhat finite, and expect that to the extent there is something useful here, people stumbling across it will be influenced.
Missing the nuance is the right thing to do with most nuances, IF you are interested in making technical progress. And to the extent that there is a bias towards things that would help you build an AI, that is a valid purpose of this board.
Don’t worry about it—I may be missing some nuance.
I would recommend reading some more advanced math before trying to make a philosophy of math. Integers make intuitive sense in the physical world in a way that more advanced math tends not to. Godel, Escher, Bach gets high marks around these parts, and rightfully so.
Don’t even need to go that far. Just take e from logarithms and compound interests and you’re already in NOT-INTUITIVE-TO-HUMANS-land.
I.e. How does a “perfect sphere” even remotely make sense in the real world? What the hell does e correspond to in the universe? A ton of trig, logarithm and limit stuff can prove problematic to simpler philosophical analyses of mathematics. And it’s not like you can just throw out e and π either, since they yield accurate predictions so obviously there’s something “true” or at least valid about them.
There is no PRACTICAL difference between a theory that treats e and pi as “rational but not yet perfectly determined” and “irrational.” And by practical I mean as used by practitioners, people who build stuff, people who survey, even people who need to know the parallax to the most distant object in the universe between two relatively closely spaced telescopes on earth.
“infinite” broken down to its roots means “not finite.” The practical value of “not finite” is probably “so large that we need to be sure we always get the same answer when we assume it is a million times larger,” that is, we verify that we have a PRACTICAL solution that has converged as we make x larger and larger, and whether x is > 1 km (when designing a microcircuit) or x > 1 quadrillion light-years, we never need to know, PRACTICALLY, what happens when x finally reaches infinity.
Engineering principles which are WRONG when quantum and relativistic considerations are taken in to account stand firmly and valuably behind quadrillions of dollars worth of human infrastructure.
Philosophical theories which are limited in validity only to these principles are possibly not useless.
Sure, but I can’t name an accessible but deep reference about e or pi of the top of my head.
What the hell does e correspond to in the universe?
It’s a number than happens to have interesting mathematical properties—but it is no harder to explain physically than any other irrational number. Even if one thinks numbers are made of apples, one ought to be able to conceive of numbers of apples that aren’t integers or rationals.
In short, I don’t think the interesting constants are cleanest examples of the problems with mathematical pure physicalism.
Hah. The real hidden question was actually “How does one arrive at e specifically by looking at the universe, and why does it work like that?”, I think.
I agree that they’re not the most clear stuff, but I’ve listed them as the most accessible wonder-inducing mathematics-related points of interest.
That’s an interesting question, and I have no idea about the answer.. If aliens asked me to define e, I’d start talking about exponential functions that were their own derivative. But I have no idea if that’s the historical motivation for noticing e.
Pi is obviously much easier, since it is part of the ratios linking circle diameter to circle perimeter and circle area.
Pi is obviously much easier, since it is part of the ratios linking circle diameter to circle perimeter and circle area.
If I had to explain Pi to real aliens that somehow understood English but not our mathematics, I would start with straight lines of a fixed length (radius) that share one (fixed) endpoint and where the other (movable) endpoints get gradually closer and closer.
Some multiple of pi is the ratio you apparently get as you compare those lengths and extrapolate for infinitely-closer-and-closer lines.
Sounds simple enough, as far as explaining abstract concepts to real aliens goes.
In my imagination, I have a chalkboard, but no other ability to communicate. So, lots of drawing circles (with emphasis on diameters and circumferences).
Take a look at my response to tim. Replace god with Euclidean Geometry, and forget the fluff about god being inconsistent, and you can see that Euclidean Geometry is still coherent, because our minds can represent it with consistent rules, so these rules exist as an abstraction in the universe. So my view doesn’t make Euclidean Geometry incoherent. I’m not sure what exactly you mean by validity, but the only thing that my view says is “invalid” about Euclidean Geometry is that it is not the same as the geometry of our universe.
Now it gets a bit difficult to write about clearly, I’m sorry if it’s not clear enough to be understandable. Things we figure out about numbers using Euclidean Geometry can still be valid, simply because when we abstract the details about Euclidean Geometry to be left with only numbers, we get the same thing as when we abstract apples to numbers, and the same thing is true about our mental representation of PA. So proofs from one can be “transferred” over to another. But “transfer” doesn’t really describe it well. What’s really happening is that from the abstract numbers, you can un-abstract them by filling them in with some details. So you can remember that the apples were in a bag, and that gravity was acting on them. If, when you add in the details, the abstract number behavior still holds, then the object follows the rules of numbers. So if the added details about apples don’t affect the conclusions you make using PA, by abstracting PA into numbers, and then filling in the details about apples, you have shown that things that are true about PA are true about apples too. And all this is done using physical processes.
So my view doesn’t entail anything about accepting or rejecting mathematical statements. What it says is that mathematical concepts are abstract concepts, which we obtain by ignoring details in things in this world, and thanks to our awesome simple and universal laws of physics, the same abstract concepts emerge again and again.
Sorry, unintended inferential distance. In a previous post, Eliezer distinguishes between “true” and “valid” because only empirical things can be true, and he doesn’t think mathematics is empirical. Thus, propositions that follow from proposed axioms are “valid”—what a mathematician would call true—to avoid confusing vocabulary.
You avoid the confusion by asserting that mathematical assertions really do correspond to some physical state (i.e. are empirical). Under the correspondence theory of truth, that allows some mathematical statements to be true, not simply valid. Nonetheless, I assume you don’t think all mathematical statements are true (2 + 2 != 3, etc).
The problem with asserting that mathematical statements are empirical is that there are certain mathematical assertions that are valid but do not have any physical basis. Consider the proposition, “The Pythagorean theorem follows from Euclid’s axioms.” The statement is valid, but cannot meaningfully be called true because there is no physical fact that corresponds to the assertion by virtue of the fact that the physical universe is not a Euclidean space. But the statement is not false because there is no physical fact that corresponds to “The Pythagorean theorem is not deducible from Euclidean axioms.”
In other words, your theory of mathematics has no room for “validity”, only “truth.” The Pythagorean theorem is interesting to mathematicians, but adopting your philosophy of mathematics would hold that generations of mathematicians have been interested in a theorem that we now know can never be true or false. That’s just too weird for most people to accept.
You seem to misinterpret what I mean, but that’s my fault for explaining poorly. This post has been getting out of hand with all the clarifications, so I will retract it and post a hopefully clearer version later on. Maybe as I write it, I’ll notice a problem with my view which I hadn’t seen before, and I’ll never actually post it.
Or you can leave it, take your karma lumps which seem to be somewhat finite, and expect that to the extent there is something useful here, people stumbling across it will be influenced.
Missing the nuance is the right thing to do with most nuances, IF you are interested in making technical progress. And to the extent that there is a bias towards things that would help you build an AI, that is a valid purpose of this board.
Don’t worry about it—I may be missing some nuance.
I would recommend reading some more advanced math before trying to make a philosophy of math. Integers make intuitive sense in the physical world in a way that more advanced math tends not to. Godel, Escher, Bach gets high marks around these parts, and rightfully so.
Don’t even need to go that far. Just take e from logarithms and compound interests and you’re already in NOT-INTUITIVE-TO-HUMANS-land.
I.e. How does a “perfect sphere” even remotely make sense in the real world? What the hell does e correspond to in the universe? A ton of trig, logarithm and limit stuff can prove problematic to simpler philosophical analyses of mathematics. And it’s not like you can just throw out e and π either, since they yield accurate predictions so obviously there’s something “true” or at least valid about them.
There is no PRACTICAL difference between a theory that treats e and pi as “rational but not yet perfectly determined” and “irrational.” And by practical I mean as used by practitioners, people who build stuff, people who survey, even people who need to know the parallax to the most distant object in the universe between two relatively closely spaced telescopes on earth.
“infinite” broken down to its roots means “not finite.” The practical value of “not finite” is probably “so large that we need to be sure we always get the same answer when we assume it is a million times larger,” that is, we verify that we have a PRACTICAL solution that has converged as we make x larger and larger, and whether x is > 1 km (when designing a microcircuit) or x > 1 quadrillion light-years, we never need to know, PRACTICALLY, what happens when x finally reaches infinity.
Engineering principles which are WRONG when quantum and relativistic considerations are taken in to account stand firmly and valuably behind quadrillions of dollars worth of human infrastructure.
Philosophical theories which are limited in validity only to these principles are possibly not useless.
Sure, but I can’t name an accessible but deep reference about e or pi of the top of my head.
It’s a number than happens to have interesting mathematical properties—but it is no harder to explain physically than any other irrational number. Even if one thinks numbers are made of apples, one ought to be able to conceive of numbers of apples that aren’t integers or rationals.
In short, I don’t think the interesting constants are cleanest examples of the problems with mathematical pure physicalism.
Hah. The real hidden question was actually “How does one arrive at e specifically by looking at the universe, and why does it work like that?”, I think.
I agree that they’re not the most clear stuff, but I’ve listed them as the most accessible wonder-inducing mathematics-related points of interest.
That’s an interesting question, and I have no idea about the answer.. If aliens asked me to define e, I’d start talking about exponential functions that were their own derivative. But I have no idea if that’s the historical motivation for noticing e.
Pi is obviously much easier, since it is part of the ratios linking circle diameter to circle perimeter and circle area.
If I had to explain Pi to real aliens that somehow understood English but not our mathematics, I would start with straight lines of a fixed length (radius) that share one (fixed) endpoint and where the other (movable) endpoints get gradually closer and closer.
Some multiple of pi is the ratio you apparently get as you compare those lengths and extrapolate for infinitely-closer-and-closer lines.
Sounds simple enough, as far as explaining abstract concepts to real aliens goes.
In my imagination, I have a chalkboard, but no other ability to communicate. So, lots of drawing circles (with emphasis on diameters and circumferences).