7 ms·

> But I ultimately think of mathematics as a just an invented tool whose only reason for existence is to solve concrete problems. This might be the source of d

> But I ultimately think of mathematics as a just an invented tool whose only reason for existence is to solve concrete problems. This might be the source of disconnect. I frequently encounter this perspective and worry there's a fundamental problem with how mathematics is taught if so many people walk away believing this. Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change. Humans can create notation and formalisms, but they do not invent the truths those mathematics represent.

thebooktocome 4y ago
> Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change. Humans can create notation and formalisms, but they do not invent the truths those mathematics represent. We quite literally have no way of ever knowing this. This proposition and its negation are both beyond the scope of human knowledge.
- whatshisface 4y ago
  We do have a way of knowing this, it is as simple as saying that the finish line of a symbol game will stay the same given the initial symbols and the rules that can be used to move them around.
  - thebooktocome 4y ago
    OP is explicitly not talking about something open to human interaction (“saying”, “symbols”, “moving (symbols) around” are all human operations).
    - whatshisface 4y ago
      None of those are human-specific, machines and animals can do them. (Except saying, but I'm the one doing that verb, talking about moving symbols.)
- ganzuul 4y ago
  It's almost as if there is a phase diagram with impedance mismatches between systems of belief.
thwayunion 4y ago
> Humans can create notation and formalisms, but they do not invent the truths those mathematics represent. The land represented by a map exists independently of humanity. Another intelligent species would have to come up with a roughly isomorphic representation if they wanted a similar tool. Maps, to be clear, are just invented tools. They can be more or less right or wrong, but they are not the territory. Moving up the meta stack does sort of confuse this initially if you don't stay grounded. I wonder if there is a field of meta-map-making and whether map makers sometimes confuse maps with territories when they start meta-map-making work. > I frequently encounter this perspective and worry there's a fundamental problem with how mathematics is taught if so many people walk away believing this. I didn't walk away (undergrad, PhD, PI, editorial committees, grant reviewer, ...). I'm about as far from walking away as is possible. But I suppose it is possible I'm an imposture :)
- whatshisface 4y ago
  Any species would prove the exact same theorems given the same axioms, and since mathematicians only claim that their axioms imply their theorems, I think they are right to claim absolute truth.
  - thwayunion 4y ago
    This is either an extremely obvious and boring observation or the basis for a metaphysical trip, depending on how pre-disposed you are to "mathematical spiritualism" :)
    - whatshisface 4y ago
      Nothing can be objectively interesting, only objectively true. Just because math is objectively true does not mean you've been robbed of your license to decide if you think it's interesting. :)
      - thwayunion 4y ago
        Agreed. Similarly, just because I don't "get" church doesn't mean I can prove God doesn't exist. And it certainly doesn't mean I should stand in the way of others enjoying the experience of going to church regardless of their beliefs. It just means I don't "get" it.
mrob 4y ago
How is the Banach–Tarski paradox a truth that exists independent of humanity? It makes a physically implausible assumption (existence of infinitely small objects) and reaches a physically implausible conclusion (violation of conversation of mass). Mathematics is full of things like this. They all look like human inventions to me.
- ganzuul 4y ago
  General Relativity does not conserve energy.
  - BreakfastB0b 4y ago
    Underrated point. Conservation Laws emerge from symmetries via Noether's theorem. In particular, Conservation of Mass / Energy arises from Time Translation Symmetry. General Relativity doesn't have Time Translation Symmetry because the universe is expanding. Now the question is can we extract free energy from the expansion of spacetime and avoid the heat death of the universe?
    - deleted 4y ago
      [deleted]
- BreakfastB0b 4y ago
  Banach–Tarski relies upon the Axiom of Choice / Law of the Excluded Middle. Zermelo–Fraenkel set theory is independent of the Axiom of Choice and there's an entire field of Mathematics called Constructivist Mathematics which avoids including the Axiom of Choice / Law of the Excluded Middle. I had a hard time grasping why the Axiom of Choice / Law of the Excluded Middle was so problematic until I heard it translated into a Computer Science context. The Law of The Excluded Middle sounds very reasonable at first. For all propositions P, P ∨ ¬P. i.e. Every proposition is either true or false. Sounds fine right? But when viewed in the context of computer science via the Curry-Howard Isomorphism. A proposition is actually a program, and deciding the truth value of a proposition involves "running" that program. So The Law of the Excluded Middle is actually the Halting Problem! It's really saying that all possible programs terminate and yield true or false, but we know that some programs don't terminate, some propositions aren't true or false, but undecidable. So circling back around to the Banach-Tarski paradox. I would be very skeptical of any paradoxes resulting from assuming the halting problem doesn't exist!
arka2147483647 4y ago
Most people are intrested in what they can do with mathematics, and therefore, for them, it is a tool. Because of this, they are more likely to ’get’ mathemathics if it is presented to them as a tool, instead of as an abstract truth-of-everything.
JumpCrisscross 4y ago
> Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change...[we] can create notation and formalisms, but they do not invent the truths those mathematics represent This is a big philosophical question. (Kant would agree with you. Some of his detractors would not.) Setting that aside, I agree with your criticism of the claim that mathematics only exists to solve concrete problems. Mathematical fiction, e.g. exploring how a system following nonsense rules might behave, is perfectly good math. It's interesting, potentially beautiful, first and foremost; it might also be useful, though that's of secondary concern. (It has an uncanny knack for being so [1].) To say math must serve physical reality is to discard its artistic side, perhaps essence; that's disappointing, debilitating and reductive. [1] https://aapt.scitation.org/doi/abs/10.1119/1.2402156?journalCode=ajp https://aapt.scitation.org/doi/abs/10.1119/1.2402156?journal...
- thwayunion 4y ago
  With respect to aesthetics, to each their own. I do find some mathematics beautiful. In fact, "I am bored" is a real problem and mathematics can be used to solve that problem by being a tool that tickles our brains in pleasant ways. The "tool" and "problem" here are meant as comments on the metaphysical content of mathematics, not some sort of statement that mathematics is for engineering and that's all. In particular: I'm commenting on the imbued/latent metaphysics of Wolfram's post, which goes beyond mere artistic appreciation. If his framing were "and look how pretty cellular automata are!" then I guess my reaction would be "yeah they are quite cool aren't they?" I find Church-Rosser quite beautiful and also think Wolfram puts way too much metaphysical weight into the behavior of confluent rewrite systems. Similarly, some Psalms are beautiful and the story of Jesus is very nice but god does not actually exist. There's no contradiction there -- you can take the beauty and spit out the metaphysics.
vba616 4y ago
>they do not invent the truths those mathematics represent I got the idea somewhere that because Principia Mathematica was doomed to failure, that means any two "islands" of math are not necessarily related to each other. So I would think that hypothetical aliens in different circumstances could in fact have math that didn't intersect with ours at all. If they did, wouldn't it be possible to build one system up from foundations?

thebooktocome 4y ago

> Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change. Humans can create notation and formalisms, but they do not invent the truths those mathematics represent. We quite literally have no way of ever knowing this. This proposition and its negation are both beyond the scope of human knowledge.

whatshisface 4y ago
We do have a way of knowing this, it is as simple as saying that the finish line of a symbol game will stay the same given the initial symbols and the rules that can be used to move them around.
- thebooktocome 4y ago
  OP is explicitly not talking about something open to human interaction (“saying”, “symbols”, “moving (symbols) around” are all human operations).
  - whatshisface 4y ago
    None of those are human-specific, machines and animals can do them. (Except saying, but I'm the one doing that verb, talking about moving symbols.)
ganzuul 4y ago
It's almost as if there is a phase diagram with impedance mismatches between systems of belief.

thwayunion 4y ago

> Humans can create notation and formalisms, but they do not invent the truths those mathematics represent. The land represented by a map exists independently of humanity. Another intelligent species would have to come up with a roughly isomorphic representation if they wanted a similar tool. Maps, to be clear, are just invented tools. They can be more or less right or wrong, but they are not the territory. Moving up the meta stack does sort of confuse this initially if you don't stay grounded. I wonder if there is a field of meta-map-making and whether map makers sometimes confuse maps with territories when they start meta-map-making work. > I frequently encounter this perspective and worry there's a fundamental problem with how mathematics is taught if so many people walk away believing this. I didn't walk away (undergrad, PhD, PI, editorial committees, grant reviewer, ...). I'm about as far from walking away as is possible. But I suppose it is possible I'm an imposture :)

whatshisface 4y ago
Any species would prove the exact same theorems given the same axioms, and since mathematicians only claim that their axioms imply their theorems, I think they are right to claim absolute truth.
- thwayunion 4y ago
  This is either an extremely obvious and boring observation or the basis for a metaphysical trip, depending on how pre-disposed you are to "mathematical spiritualism" :)
  - whatshisface 4y ago
    Nothing can be objectively interesting, only objectively true. Just because math is objectively true does not mean you've been robbed of your license to decide if you think it's interesting. :)
    - thwayunion 4y ago
      Agreed. Similarly, just because I don't "get" church doesn't mean I can prove God doesn't exist. And it certainly doesn't mean I should stand in the way of others enjoying the experience of going to church regardless of their beliefs. It just means I don't "get" it.

mrob 4y ago

How is the Banach–Tarski paradox a truth that exists independent of humanity? It makes a physically implausible assumption (existence of infinitely small objects) and reaches a physically implausible conclusion (violation of conversation of mass). Mathematics is full of things like this. They all look like human inventions to me.

ganzuul 4y ago
General Relativity does not conserve energy.
- BreakfastB0b 4y ago
  Underrated point. Conservation Laws emerge from symmetries via Noether's theorem. In particular, Conservation of Mass / Energy arises from Time Translation Symmetry. General Relativity doesn't have Time Translation Symmetry because the universe is expanding. Now the question is can we extract free energy from the expansion of spacetime and avoid the heat death of the universe?
  - deleted 4y ago
    [deleted]
BreakfastB0b 4y ago
Banach–Tarski relies upon the Axiom of Choice / Law of the Excluded Middle. Zermelo–Fraenkel set theory is independent of the Axiom of Choice and there's an entire field of Mathematics called Constructivist Mathematics which avoids including the Axiom of Choice / Law of the Excluded Middle. I had a hard time grasping why the Axiom of Choice / Law of the Excluded Middle was so problematic until I heard it translated into a Computer Science context. The Law of The Excluded Middle sounds very reasonable at first. For all propositions P, P ∨ ¬P. i.e. Every proposition is either true or false. Sounds fine right? But when viewed in the context of computer science via the Curry-Howard Isomorphism. A proposition is actually a program, and deciding the truth value of a proposition involves "running" that program. So The Law of the Excluded Middle is actually the Halting Problem! It's really saying that all possible programs terminate and yield true or false, but we know that some programs don't terminate, some propositions aren't true or false, but undecidable. So circling back around to the Banach-Tarski paradox. I would be very skeptical of any paradoxes resulting from assuming the halting problem doesn't exist!

arka2147483647 4y ago

Most people are intrested in what they can do with mathematics, and therefore, for them, it is a tool. Because of this, they are more likely to ’get’ mathemathics if it is presented to them as a tool, instead of as an abstract truth-of-everything.

JumpCrisscross 4y ago

> Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change...[we] can create notation and formalisms, but they do not invent the truths those mathematics represent This is a big philosophical question. (Kant would agree with you. Some of his detractors would not.) Setting that aside, I agree with your criticism of the claim that mathematics only exists to solve concrete problems. Mathematical fiction, e.g. exploring how a system following nonsense rules might behave, is perfectly good math. It's interesting, potentially beautiful, first and foremost; it might also be useful, though that's of secondary concern. (It has an uncanny knack for being so [1].) To say math must serve physical reality is to discard its artistic side, perhaps essence; that's disappointing, debilitating and reductive. [1] https://aapt.scitation.org/doi/abs/10.1119/1.2402156?journalCode=ajp https://aapt.scitation.org/doi/abs/10.1119/1.2402156?journal...

thwayunion 4y ago
With respect to aesthetics, to each their own. I do find some mathematics beautiful. In fact, "I am bored" is a real problem and mathematics can be used to solve that problem by being a tool that tickles our brains in pleasant ways. The "tool" and "problem" here are meant as comments on the metaphysical content of mathematics, not some sort of statement that mathematics is for engineering and that's all. In particular: I'm commenting on the imbued/latent metaphysics of Wolfram's post, which goes beyond mere artistic appreciation. If his framing were "and look how pretty cellular automata are!" then I guess my reaction would be "yeah they are quite cool aren't they?" I find Church-Rosser quite beautiful and also think Wolfram puts way too much metaphysical weight into the behavior of confluent rewrite systems. Similarly, some Psalms are beautiful and the story of Jesus is very nice but god does not actually exist. There's no contradiction there -- you can take the beauty and spit out the metaphysics.

vba616 4y ago

>they do not invent the truths those mathematics represent I got the idea somewhere that because Principia Mathematica was doomed to failure, that means any two "islands" of math are not necessarily related to each other. So I would think that hypothetical aliens in different circumstances could in fact have math that didn't intersect with ours at all. If they did, wouldn't it be possible to build one system up from foundations?