6 ms·

The article goes into significant detail, but the problem is that the computable real numbers are a tiny slice of all real numbers, and in general even in princ

The article goes into significant detail, but the problem is that the computable real numbers are a tiny slice of all real numbers, and in general even in principle mathematicians can only deal with a countable subset of the reals. So (metamathematically) if almost every single real can't actually be used in mathematics, it's hard to say the concept has much mathematical validity. [Which makes its mathematical usefulness a philosophical pickle.] > Math is about defining a system and playing it out A lot of mathematicians would consider this a very limited view of the subject.

asdf_snar 6y ago
> A lot of mathematicians would consider this a very limited view of the subject. Could you provide an example of such a mathematician?
- zornthewise 6y ago
  I am one such mathematician.
- shezi 6y ago
  "One of the main themes of the book is the beauty that mathematics possesses, which Hardy compares to painting and poetry.[5] For Hardy, the most beautiful mathematics was that which had no practical applications in the outside world (pure mathematics) and, in particular, his own special field of number theory." -- https://en.m.wikipedia.org/wiki/A_Mathematician's_Apology https://en.m.wikipedia.org/wiki/A_Mathematician's_Apology G. H. Hardy, A mathematician's apology. I think that would be a good example here, since the focus is on finding beauty and fulfilment, instead of simply visiting every niche.
- shezi 6y ago
  "Nevertheless, the fact is that there is nothing as dreamy and poetic, nothing as radical, subversive, and psychedelic, as mathematics. It is every bit as mind blowing as cosmology or physics (mathematicians conceived of black holes long before astronomers actually found any), and allows more freedom of expression than poetry, art, or music (which depend heavily on properties of the physical universe). Mathematics is the purest of the arts, as well as the most misunderstood." Paul Lockhart, a mathematicians lament. I think this serves as another example.
fractionalhare 6y ago
> A lot of mathematicians would consider this a very limited view of the subject. Maybe? A lot of mathematicians actually do describe it just like that. In fact that's one of the most common ways the difference between mechanical arithmetic and research mathematics is described on forums like r/math. And a lot of posts on Math Overflow have precisely the flavor of defining things and then playing around with what consequences emerge.
tomtomtom777 6y ago
> in general even in principle mathematicians can only deal with a countable subset of the reals. So (metamathematically) if almost every single real can't actually be used in mathematics, it's hard to say the concept has much mathematical validity. Let me give it try: > let R be the set of real numbers. Let x be an element of R. There it is, I've dealt with and used every single real number. The notion that reals are only real when they are individually described (Borel's credo in the article) is an odd one. Sure, almost every real number is a "Mathematical fantasy" as the author calls it, but that doesn't mean Mathematicians can't use them or deal with them. Mathematics excels in dealing with imaginary things. To extent Borel's credo to question the Mathematical validity of these Mathematical fantasies seems to defy the entire idea of Mathematics.
contravariant 6y ago
>A lot of mathematicians would consider this a very limited view of the subject. I'm not sure it's as limited as you think it is. It's not very specific though I'll give you that.
karmakaze 6y ago
I see. We actually failed to 'define a system' for what it means to be a real number. What the set of real numbers contains can't be defined in any strict formal way. Even for the range [0, 1] saying all numbers including rationals and irrationals is an incomplete cop-out. The rationals are defined. Only some irrationals are/can-be. Saying a 'number that is not rational' is not a definition--it is negative space. Prime numbers are the negative space of composite numbers--they are however countable and computable. The negative space within real numbers is different. There are no possible constructions to reach some/all of them. Does the same problem arise with any uncountably infinite set or only not-well defined ones? Is "The Set of all Subsets of Natural Numbers" (which is uncountable) also non-mathematical in the same sense? A program (requiring infinite storage and computation time) can be constructed.
- mike00632 6y ago
  "What the set of real numbers contains can't be defined in any strict formal way." On the contrary. There are multiple ways to rigorously define the Real Numbers. The most popular way is perhaps Cauchy sequence: https://en.wikipedia.org/wiki/Cauchy_sequence https://en.wikipedia.org/wiki/Cauchy_sequence There are also Dedekind cuts: https://en.wikipedia.org/wiki/Dedekind_cut https://en.wikipedia.org/wiki/Dedekind_cut
mike00632 6y ago
Well, a lot of math doesn't use continuous sets of numbers. Lots of algebra is done using countably infinite sets of numbers like the rationals and the algebraic completion of the rationals. It's about using the right tool for the job. And to that end, the computable numbers are more of a curiosity than something of practical use. Compared to the Reals, the computable numbers are difficult to define and have a lot of logical overhead for virtually no gain. Also, logically, you will never see most all numbers even from a countably infinite set, so a very similar qualm can be had with computable numbers being used in place of the reals (for wherever they can be substituted, which isn't all situations we encounter in math).

asdf_snar 6y ago

> A lot of mathematicians would consider this a very limited view of the subject. Could you provide an example of such a mathematician?

zornthewise 6y ago
I am one such mathematician.
shezi 6y ago
"One of the main themes of the book is the beauty that mathematics possesses, which Hardy compares to painting and poetry.[5] For Hardy, the most beautiful mathematics was that which had no practical applications in the outside world (pure mathematics) and, in particular, his own special field of number theory." -- https://en.m.wikipedia.org/wiki/A_Mathematician's_Apology https://en.m.wikipedia.org/wiki/A_Mathematician's_Apology G. H. Hardy, A mathematician's apology. I think that would be a good example here, since the focus is on finding beauty and fulfilment, instead of simply visiting every niche.
shezi 6y ago
"Nevertheless, the fact is that there is nothing as dreamy and poetic, nothing as radical, subversive, and psychedelic, as mathematics. It is every bit as mind blowing as cosmology or physics (mathematicians conceived of black holes long before astronomers actually found any), and allows more freedom of expression than poetry, art, or music (which depend heavily on properties of the physical universe). Mathematics is the purest of the arts, as well as the most misunderstood." Paul Lockhart, a mathematicians lament. I think this serves as another example.

fractionalhare 6y ago

> A lot of mathematicians would consider this a very limited view of the subject. Maybe? A lot of mathematicians actually do describe it just like that. In fact that's one of the most common ways the difference between mechanical arithmetic and research mathematics is described on forums like r/math. And a lot of posts on Math Overflow have precisely the flavor of defining things and then playing around with what consequences emerge.

tomtomtom777 6y ago

> in general even in principle mathematicians can only deal with a countable subset of the reals. So (metamathematically) if almost every single real can't actually be used in mathematics, it's hard to say the concept has much mathematical validity. Let me give it try: > let R be the set of real numbers. Let x be an element of R. There it is, I've dealt with and used every single real number. The notion that reals are only real when they are individually described (Borel's credo in the article) is an odd one. Sure, almost every real number is a "Mathematical fantasy" as the author calls it, but that doesn't mean Mathematicians can't use them or deal with them. Mathematics excels in dealing with imaginary things. To extent Borel's credo to question the Mathematical validity of these Mathematical fantasies seems to defy the entire idea of Mathematics.

contravariant 6y ago

>A lot of mathematicians would consider this a very limited view of the subject. I'm not sure it's as limited as you think it is. It's not very specific though I'll give you that.

karmakaze 6y ago

I see. We actually failed to 'define a system' for what it means to be a real number. What the set of real numbers contains can't be defined in any strict formal way. Even for the range [0, 1] saying all numbers including rationals and irrationals is an incomplete cop-out. The rationals are defined. Only some irrationals are/can-be. Saying a 'number that is not rational' is not a definition--it is negative space. Prime numbers are the negative space of composite numbers--they are however countable and computable. The negative space within real numbers is different. There are no possible constructions to reach some/all of them. Does the same problem arise with any uncountably infinite set or only not-well defined ones? Is "The Set of all Subsets of Natural Numbers" (which is uncountable) also non-mathematical in the same sense? A program (requiring infinite storage and computation time) can be constructed.

mike00632 6y ago
"What the set of real numbers contains can't be defined in any strict formal way." On the contrary. There are multiple ways to rigorously define the Real Numbers. The most popular way is perhaps Cauchy sequence: https://en.wikipedia.org/wiki/Cauchy_sequence https://en.wikipedia.org/wiki/Cauchy_sequence There are also Dedekind cuts: https://en.wikipedia.org/wiki/Dedekind_cut https://en.wikipedia.org/wiki/Dedekind_cut

mike00632 6y ago

Well, a lot of math doesn't use continuous sets of numbers. Lots of algebra is done using countably infinite sets of numbers like the rationals and the algebraic completion of the rationals. It's about using the right tool for the job. And to that end, the computable numbers are more of a curiosity than something of practical use. Compared to the Reals, the computable numbers are difficult to define and have a lot of logical overhead for virtually no gain. Also, logically, you will never see most all numbers even from a countably infinite set, so a very similar qualm can be had with computable numbers being used in place of the reals (for wherever they can be substituted, which isn't all situations we encounter in math).