2

This came up as a tangential in relation to whether math is a thing we're discovering, or inventing:

Suppose we meet with an alien race: their symbols, and even ways of computation might be different than ours, but putting 2 pebbles, and 1 pebble on a table will map to their concept of "3". This is because physics provides a grounding for experimentation on various theories. On the other hand, there is a lot of "fanfic" in Math -eg category theory's Monads- for which there is no such easy grounding. On the middle hand, there are things which can be mapped to the 1st category, and therefore have grounding by relation.

This question pivots mostly around the term "grounding", so for the purpose of this question, I'd define grounding as: results being convertible into physical observations (which do not, by themselves contain the computation itself -no computers re-implementing the same thing allowed!).

Using this (or if ill-defined, closest by intent) definition, what proportion of Math is grounded in Physics? To put it in the larger context, what is the lower estimate on intersection of potential common mathematical understanding between 2 alien races?

Edit: okay, this thread seem to have a problem of gravity wells. I'd like to highlight, that this is specifically not a "bring your pet theory to work" topic.

For this reason, I've added a bounty.

Bounty, and answer acceptance specifically goes for an answer, which has the following structure:

  • describes a reasonable methodology (of fermi estimation, of approximation methods, of any reasonable form of method), and a list of specific assumptions it makes.
    • For example: you can ask physicists of all the math they've learned what proportion do they use during their work; deduce what proportion of "all math" is being taught to physicists, and thereby reach an estimate. This is totally a thing you can do.
  • works through the methodology from the specific assumptions given, to reach an estimate conclusion
  • concludes with a specific number (this was the question), optionally with an upper, and lower bound.

Numerical, quantitative methods, inspired by sociology, economics, or math very much preferred; so is grounding things into numbers as much as possible; methods, or possible ways of attack will also be upvoted. Please kindly keep a firm quantitative perspective when posting in this topic. Thank you.

  • 3
    Wouldn't Platonists answer "none of it" and Aristotelians, "all of it"? Are you asking: "How much of math is constructed vs. discovered?" – Geremia Dec 1 '16 at 16:41
  • 1
    You've assumed that the aliens would recognize that what we interpret as two or three separate pebbles map onto "two" and "three" respectively. They might not do this. – Dave Dec 1 '16 at 19:56
  • 4
    Putting 2 pebbles, and 1 pebble on a table will map to nothing, just like any pictures or signposts will mean nothing on their own, without some interpretation already in place, see Wittgenstein . Your idea of "grounding" was explored by logical positivists, it turned out to be unworkable in all of its versions, see verificationism. Finally, "math" is not a quantity measurable by proportions. Unfortunately, in its current form your question is incomprehensible. – Conifold Dec 1 '16 at 21:59
  • @Conifold Unworkable? No. Daily and with mundane regularity the verification principle is put to work advancing hypotheses and knowledge claims. Knowledge is empirical verification of what is - how else do you know what is?? If you observe an object falling after being released mid-air, how is this other than empirical verification that an object released mid-air falls to the ground? – Mr. Kennedy Dec 1 '16 at 22:38
  • 1
    Okay. can you recommend an existing SE site, where this question would be on topic & relevant? – Silver Dragon Dec 5 '16 at 22:31
2
+50

I don't think a quantitative approach really works here.

An important question for me, given how prevalent mathematics is in contemporary physics, is how much of physics can be motivated without appealing to mathematics.

The milisian monists and the greek atomists developed the shape of physics within broad contours without appealing to mathematics: the unity of the world, its lawlike nature and its divisibility into atoms.

This still holds in the contemporary situation, for example in quantum mechanics there is the notion of the quanta which is a discrete or atomic unit; in string theory even space-time is considered as atomic; if space was 2d, then one would have a picture similar to a carpet with tufted threads.

The role that mathematics plays in physics is complex, and to be honest a quantitative approach yields little understanding: Classical Mechanics was discovered alongside calculus; symmetry considerations (amongst others) prompted Einsteins discovery of GR; matrices, a pre-existing mathematical formalism was used by Heisenbergs in his version of QM.

More recently there has been a convergence of interests in mathematics and physics, in the 70s it was discovered principal bundles gave a geometric interpretation of Yang-Mills theories - hence of EM, QED & QCD; and in String Theory there has been a huge cross-over even with something as esoteric as arithmetic geometry.

1

From an intuitionist point of view, I would argue that all of math is grounded in physics via genetics. We have the math we have because we have the intuitive assumptions we share. We evolved those assumptions to fit our environment. Our environment has a physics. So our assumptions are an adapted approximation of the right kind of thinking in which to frame basic (Aristotelian-style) physics.

But the parts of our intuition refine one another when we bring them together in mathematics. We can put together measure and pure geometry and get to the analytic form of conic sections, for instance. And without that combination it would have been hard for Newton to notice that linear motion, ballistics and orbits can be captured by the same set of rules.

From this point of view, mathematics is the ongoing exploration of how those intuitions do or don't cleanly fit together, and why. So farther from physics, math is still based on combinations of intuitions that apply to reality. We have monads because we have groups, we have groups because we have fields, we have fields because we have Galois' original observation on the permutations of roots, we have those because of a specific obsession with polynomials, starting from the analytic forms of conic sections, which became especially important when Newton unified gravity with the inverse square law.

I would think that any two species that occupy the same shape of space would be well served by very similar Aristotelian-style physics, and would evolve quite similar patterns of thought to maintain those. But a race that moves, for instance at speeds we would consider very high, or who navigates a mostly solid environment rather than a fluid one, might have a very different kind of basic mathematics, because so much of ours is based in intuitions about time and empty space.

Actually, the 'fanfic' may be more similar. Algebra as a whole, and arithmetic as its special case, capture patterns that ordinary things fall into by combination, permutation or symmetry, and any model of space and objects probably still has those features, even if it lacks any actual instances in common.

I would bet that at a high level, we and they would share something as esoteric as the classification of finite simple groups, for example, although for totally different reasons -- we got there from roots of polynomials, but then we applied the concepts all over the place. They might get there from Polya groups of chemical crystals, or the knot groups of polymer strands, or something, if they are a non-Euclidean race.

  • Most of our fanfic is stupidly expensive in evolutionary terms, and the mental exercises performed during the "We have monads because we have groups, we have groups because we have fields..." etc phase doesn't justify their discovery on strict evolutionary terms -it's purely retcon. So, while I do agree that they are built on top of some form of adaptations, I disagree that those adaptations necessitated their specific discovery; and I'm specifically looking for the amount of wiggle room there is in the design space. – Silver Dragon Dec 5 '16 at 20:26
  • Right, I am arguing from the degree of connecteness that they are likely to have discovered one or the other of some of those connections. I have not offered any indication that anything "necessitated their specific discovery". I gave alternative reasons why someone would probably still discover groups if one had a thoroughly different kind of immersion in the environment than geometry. There is no way anyone can give you an amount of anything here, there is no metric on the space. – jobermark Dec 5 '16 at 20:34
  • So make one? Also, see edit for further refinements – Silver Dragon Dec 5 '16 at 20:49
  • There is no way to make one, at least no way based in anything distantly related to philosophy. Even if all of math is grounded in physics, what aspects of physics are shared? High energy physics really is different than the realm where Newton suffices. No one living at very high speeds or extreme gravities is going to bother developing Euclidean geometry. There is no way to approximate what kinds of aliens exist. – jobermark Dec 10 '16 at 18:29
1

Without going into philosophical aspects you could say that almost all mathematics has evolved due to the need to solve some physical problem. Common mathematical understanding would be based on whether or not the civilizations are facing common types of problems .

For instance calculus evolved because people were interested in learning the nature of slopes of curves . But for a civilization of ants this information would be meaningless because they don't have any understanding functions or curves . Their mathematics would be limited to primary level counting.

In fact you can observe this in daily life . There are 2 types of calculators - Normal and Scientific but most average people may not understand the utility of all the functions in the scientific calculator . Does that imply that Human mathematical knowledge is limited to only the operations which can be performed but normal calculators ? Certainly not .

Therefore it is difficult to comment on the intersection of common knowledge of different species. Problem solving ability develops when a problem is actually encountered .

1

None. If that alien race has only the sense of smell, they will not tell one pebble from another if the pebbles all smell the same.

Take, for instance, numbers: when you count, you count "things," but "things" have been invented by human beings for their own convenience. This is not obvious on the earth's surface because, owing to the low temperature, there is a certain degree of apparent stability. But it would be obvious if one could live on the sun where there is nothing but perpetually changing whirlwinds of gas. If you lived on the sun, you would never have formed the idea of "things," and you would never have thought of counting because there would be nothing to count.

--Russell, Bertrand. "Beliefs: Discarded and Retained." Portraits From Memory. New York: Simon and Schuster, 1956. 40. Print

Mathematical models to the physical world are topographic maps to the actual terrain: the former are just approximate representations of the latter. As precision increases, the smoothness of the representation disappears. Large-scale maps reveal rough terrain; hight-precision measurements result in jagged curves. Take Ohm's law for example: anyone who studied electronics long enough will realize that Ohm's law is not a law at all; it is a rough description of a very special kind of conductor. High-precision measurements reveal that most conductors are better described by I-V curves.

The question that naturally follows is this: how much of today's particle theory is based on mathematical models whose own premises remain rough and unexamined? A physicist should always be a geographer first and be vividly aware of the chains of inferences and the assumptions behind a mathematical model. Probably a generation of physicists brought up in the Russellian school is needed in order to sort things out.

As regards points, instants, and particles, I was awakened from my 'dogmatic slumbers' by Whitehead. Whitehead invented a method of constructing points, instants, and particles as sets of events, each of finite extent. This made it possible to use Occam's razor in physics in the same sort of way in which we had used it in arithmetic. I was delighted with this fresh application of the methods of mathematical logic. It seemed to suggest that all the smoothness of the concepts used in theological physics could be attributed to the ingenuity of mathematicians rather than to the nature of the world. It seemed, also, to open an entirely new vista on the problems of perception.

Russell, Bertrand. "The External World." My Philosophical Development.New York: Simon and Schuster, 1959. 103. Print.

0

Given your focus for using "grounding" the answer is none of it except for applied mathematics #duh.

Otherwise all of math is grounded in physics. Math is only to be observed in language and language is only to be observed among physical, biological species capable of language. There's no reason to be mystified by monads, they are merely monoids in the category of endofunctors. Also, tho we do not have an adequate accounting of how we get from physics to syntax or from syntax to semantics, there is no good reason to accept the proffering of weltanchauungs ("ways of looking at things" such as "if you imagine that genes think, then math is intuitively blahblahblah") in place of reasoned analysis of what is the case regarding physics, language and mathematics.Lastly, the dichotomy of "invented vs discovered" is simply a canard and no more accurate a description of what is the case than any dichotomy (false binary constructs, ways of looking at what is as exclusively either this or that). Note that false dchotomies are useful tools for critical analysis - just as canards are useful tools for hunting ducks, math professors use this canard to encourage thinking amongst their hungry students - but dichotomies are nevertheless illusory.

  • Again no frame of reference, no actual argument, just assertions of things that you imagine to be true and are not related to any theory that would let us even approach arguing for the answer given. – jobermark Dec 2 '16 at 3:55
0

It's an open question contingent upon our ontology and semantics of mathematical talk and things generally. Platonism, immanent realism/Aristotelianism, and nominalism/fictionalism.

  • Can you say more? – Keelan Dec 24 '16 at 7:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.