19
$\begingroup$

There are many ways to conceive of a universe where physical constants are different to our own; however, what would the universe be like if mathematics itself were different?

For instance, what would a universe where every number was either a square or a prime look like?

$\endgroup$
  • 15
    $\begingroup$ As I see it, Mathematics is a human construct, not a natural one. The universe does not "count" atoms, molecules or stars. It is the humans who need mathematics to measure / deal with the universe. $\endgroup$ – SJuan76 Dec 18 '15 at 2:12
  • 3
    $\begingroup$ As currently stated, I think your question is too broad - there's way too much ground to cover. Try narrowing the question down quite a bit (e.g. how would a Universe that obeyed non-Euclidean geometry rules work?). $\endgroup$ – Jim2B Dec 18 '15 at 3:36
  • 5
    $\begingroup$ @Jim2B Our universe has non-Euclidean geometry, per Einstein/space curvature by gravity. Euclidian geometry is just that best suited to representations on flat sheets of paper, so scholars came up with it first and it's easier to teach. $\endgroup$ – SudoSedWinifred Dec 18 '15 at 7:41
  • 2
    $\begingroup$ @SJuan76 Maybe it's because I'm a mathematician, but I'm failing to see the connection between mathematics and counting. :) $\endgroup$ – JiK Dec 18 '15 at 12:45
  • 1
    $\begingroup$ You'll want to read "Luminous" and "Dark Integers" by Greg Egan. $\endgroup$ – Spencer May 28 at 23:08
54
$\begingroup$

You imply that mathematics is some fundamental root of the entire universe. While there are many who agree, this is not a fully agreed upon assumption. Many would say what you describe just any other world, only with different math, that looks feels and tastes just like this one, because mathematics is nothing more than a human construct. (as SJuan76 says in the comments)

For those who do believe the fundamental root of the universe is mathematics, this question would have more meaning.

First off, you can declare a mathematical system to do anything you want. It's not hard. However, most mathematicians value consistency, which is a precise term meaning that I can never prove something to be both true and false at the same time. For example, I can declare "6 is a prime number" and "6/2=3" and still call it math, but it's not consistent because the former proves that the latter should be false. It's a murky world if you ditch consistency, so let's presume we want to stay consistent.

What's really interesting about mathematics is that they keep digging deeper and deeper. Primality and squareness are built off of the laws of arithmetic, so you're suggesting that the laws of arithmetic change. However, the laws of arithmetic are, themselves, built on a deeper set of axioms called the Peano axioms. Have you ever joked about having to prove that "1+1=2?" If you have to prove it, the Peano axioms are the things you assume:

  • 0 is a natural number (yes, you have to explicitly state this)
  • For every natural number x, x=x (yes, you also have to state that something equals itself!)
  • For every natural number x and y, if x=y then y=x (symmetric property)
  • If x y and z are natural numbers, and x=y and y=z then x=z (transitive. All of algebra is utterly dependent on this one)
  • For all a and b, if b is a natural number and a=b, then a is a natural number (closure, which prevents claims like 3=orange from being meaningful)

And then we define a function S(n), which is the "successor" function. This is basically adding one, but we can't use that terminology because addition isn't defined yet:

  • If n is a natural number S(n) is a natural number
  • If m and n are natural numbers, then m=n iff S(m)=S(n)
  • For every natural number n, S(n) = 0 is a false statement (no natural number is less than 0)

And finally we add an inductive axiom, which is hard to write out in technically correct notation, but it's the basic mathematical induction we had in school: if you can prove f(0) is true, and prove f(n+1) is true given f(n), then f is true for all natural numbers.

That's at the bottom of the concepts of arithmetic. When you talk about changing things, it has to be done at a layer where we don't even know 1=1 until we prove it. We actually use these axioms to define addition in another layer:

a + 0 = a
a + S(b) = S(a + b)

It goes on and on, but this is a good example of how far down the rabbit hole you have to go before discussing the concept of changing mathematics even starts to be meaningful. Any change done at a higher layer will either be inconsistent, or simply defining a new concept meaninglessly.

There are mathematicians who have explored numeric systems that don't follow these axioms. Dan Willard is my favorite. Instead of building a world up using addition and subtraction, he starts with subtraction and division. This sounds like its a minor detail, but its actually enough to completely change the nature of his systems. For example, it is possible to construct a countable infinity in one of his systems, and the create a sub-system within it which can prove that countable infinity is actually uncountable (which would be paradoxical and inconsistent if it were not for the quirks that were set up by starting with subtraction and division).

So, in summary, go for it. Go make a world with different math. However, you'll find the rabbit hole for math goes quite deep. You will learn something along the way though. I know I have, and I continue to learn something new each time I travel down it.

$\endgroup$
  • 2
    $\begingroup$ Well played sir! Although I have met people on occasion who when given the solid facts, are able to put two and two together to get twenty two, despite logic proving that four is the only correct answer. Perception is everything, and an inflexible ego can reinforce it pretty well. $\endgroup$ – Smoj Dec 18 '15 at 2:51
  • 3
    $\begingroup$ @Smoj =) My favorite kind of people are the ones that can be given 2+2, look at it a bit, grab the 2's, say "Thank you, I needed a pair of these to hang my clothes from" and pocket the + for a rainy day. $\endgroup$ – Cort Ammon Dec 18 '15 at 2:55
  • 1
    $\begingroup$ +1, a very engaging read that pushed me dangerously close to revisiting the mathematical theory I left behind in school. $\endgroup$ – Avernium Dec 18 '15 at 5:26
  • 2
    $\begingroup$ Good points and answer accepted. If I'm going to fiddle with anything, it would have to be the axioms. $\endgroup$ – the_au Dec 18 '15 at 7:35
  • $\begingroup$ +1 One of the most elegant and illuminating answers I have read on a subject I know little about in a very long time. Almost made me want to go back and learn new stuff for a few seconds ;) $\endgroup$ – Marv Mills Dec 18 '15 at 11:14
10
$\begingroup$

In a way, mathematics is the science of turning axioms into theorems using logic (which it itself based on axioms).

A famous example is Euclidean Geometry. You start with four axioms and add the parallel axiom as a fifth, and you get one kind of mathematics. Without the parallel axiom, you get a non-Euclidean geometry.

The same could be done with the Peano axioms of arithmetic. You change something, you add something, and you get a different kind of mathematics.

Imagine an arithmetic that is much like ours except that 13 = 1. That means I'm adding numbers like the dial of a clock, after 12 o'clock comes 1 o'clock again. You can do plenty of useful theorems in that kind of arithmetic, but you can't balance your checkbook.

So I guess what you are really asking is something like this:

Could there be an universe where other mathematical axioms are a better fit to reality?

$\endgroup$
  • 1
    $\begingroup$ mathematics is the science of turning axioms into theorems and "A mathematician is a device for turning coffee into theorems" $\endgroup$ – Michael Dec 18 '15 at 18:17
  • 4
    $\begingroup$ and a comathematician is a device for turning cotheorems into ffee $\endgroup$ – wchargin Dec 18 '15 at 22:46
  • 3
    $\begingroup$ For those who (as I) wondered about the comment from @WChagrin the "ffee" link is here $\endgroup$ – NL_Derek Dec 18 '15 at 22:55
  • 1
    $\begingroup$ Some even claim that mathematics isn't a science, since it is cannot be falsified by experiments and does not follow the scientific method. And, essentially, "cannot be falsified by experiments" means "the same theorems would hold true in every universe, given the same axioms". $\endgroup$ – Federico Poloni Dec 19 '15 at 9:07
  • $\begingroup$ @FedericoPoloni, coming up with conjectures and trying to find a proof or a counterexample is rather close to the scientific method. $\endgroup$ – o.m. Dec 19 '15 at 13:19
7
$\begingroup$

This is something I have pondered since I was very young (possibly 8 or so)... and my main conclusion is that it all depends on the number system(s) used and the level of intellectual evolution attained by the race(s) involved.

As humans, we have 10 digits... or put in more correct terms our number system is decimal (base 10, having 10 distinct numeric value representations 0-9).

Why? Well, we have 10 fingers. it makes sense that all throughout our planet, every culture has some sort of base 10 number system because all(in general) humans by default have 10 fingers.

Imagine a race with only say 2 fingers... well, they'd likely have a binary number system or some derivative thereof. Same as our computers and electronics. This also changes the way one might think about maths, the rules and mechanisms for performing operations differ. some things are much easier to do in binary than in decimal - like for instance multiplying by 2. to multiply by 2 in binary, you simply add a zero to the end of the line (effectively shifting all the numbers left by one digit). likewise to divide by two you simply shift the numbers to the right. ...and if you have any power n of 2 then we simply shift the digits n times. ie: to get the number multiplied by 8, simply shift the number left 3 times (2 ^ 3 = 8)

in binary this looks as follows:

each column represents a power of 2 with the lowest power (0) on the right

1: 00000001   (1 x 2^0)
2: 00000010   (1 x 2^1   +   0 x 2^0) drop the second term to simplify to (1x2^1)
3: 00000011   (1 x 2^1   +   1 x 2^0)
4: 00000100   (1 x 2^2)
5: 00000101   (1 x 2^2   +   1 x 2^0)
...
8: 00010000   (1 x 2^3)

However, in a decimal system the same holds true for powers of 10... to multiply by 10^n, simply shift the numbers left by n digits and add n trailing 0's.

For example:

123 * 10^3  = 123 * 1000 = 123000

Where:
10^0 = 1
10^1 = 10
10^2 = 100
10^3 = 1000
...

There are an infinite number of number systems... In computing we use: base 16 (Hexadecimal), base 8 (Octal), base 10 (decimal), base 2 (binary)...

It could also be further complicated By including the number of appendages and the division of digits among those too. You could have numerical systems based on some odd, nonsensical (to us) sequence of values. for instance, beings may have devised some number system that uses/combines properties from the octal, binary and hexadecimal number systems...

Imagine an octopus with two "fingers" at the end of each tentacle... it could count in binary on each tentacle (base 2 - 2 fingers), it could count in octal if counting each limb (base 8 - 8 tentacles)... or if combining both tentacles and fingers, it could count in some hexadecimal fashion (base 16 - 8x2 digits = 16).

Multiple, symbiotic, sentient species living together... well, it's likely that they will find a common number system with which to interact. for instance, beings with 8 digits interacting with beings having 4 digits will likely work in a number system somehow common to both (in this case, most likely base 8 - Octal).

Prime-base number system intersections... what about beings with say 7 digits living with beings having 13 digits... The first common number system that intersects across both is probably going to be base (7x13) = base 91. Unlikely, but who are we to say. you will also see that in nature, there are many references to the fibonacci sequence (simply google "sequences in nature" to see what I mean). This may be true on earth, but may be completely different on some other planet. We also have an abundance of plants and creatures that adhere to specific numbers and structures which are purely mathematical... this goes as far as crystalline structures of molecules and elements.
All these things play a role in what one might use to create a base number system. for instance, if everything around us had six branches, or six sides or six leaves or six legs... then it's quite likely that a hex number system would evolve despite our having 10 digits. OR... rather there is a likely chance that the number 6 or the hex number system would play an important role despite our having a decimal number system.

Programmers and scientists work in different number systems. Cryptographers and information specialists will think in other, higher base number systems - the reasons for which are because they are more condensed, so you can represent more data in a single digit than you can in a decimal or binary system.

How to see densification of numeric representation... simply open a calculator app and put it into programmer mode, enter some number and switch between the different base representations. The lower the base, the longer the number representation has to be... the higher the base, the shorter the number representation (but the more complex the number system and number of symbols).

Quantum computing This is another area where higher order number systems COULD used, but it gets far more complex because the cubits could in fact represent multiple values simultaneously. There is no reason why a race couldn't have evolved to such a degree that their number system could be represented in a similar manner - We have. We might only be at the initial stage of such an evolution, but we are at the point where the number systems we use are no longer constrained by the prehistoric notions of counting in factors of 10.

Advancements in math if you really want to see what we have evolved our math to... simply look at the the number (-1/12) ... it's derived from a mathematical summation of all the natural numbers Sum of all natural numbers

1 + 2 + 3 + 4 + 5... = -1/12   (negative one-twelfth)

What about imaginary numbers and other such formulated concepts which make impossible formulae very possible and elegant to solve.

Using math to describe everything
I believe that to some degree, we can. the limitations are in how much detail you want to portray and across how much variation and scope etc. DNA is essentially a really well constructed mathematical function that permeates through some pseudo-random modifications in each iteration (hence evolution).. You could for instance use a mathematical formula to describe any set of data to some degree of accuracy - a fourier transform could be used to describe a drawing of homer simpson for instance Homer Simpson described by Fourier Transform function

Conclusion My advice is think about this from all angles... it might even be influenced by factors such as how many eyes does the creature have, how their brains work and think, sleep cycles, moons around the planet... It's simply a question of how the perceive the world they live in (or LIVED in) and how they represent that and everything else.

$\endgroup$
  • 1
    $\begingroup$ Colour could have a profound influence. We as humans can only see in 3 spectra (Red Yellow Blue), other animals can see in even more - pistol shrimp sees 12 spectra. Thus representation of numbers as colours could then densify the number system even further. IE: RED, YELLOW, BLUE, ORANGE, GREEN, PURPLE, WHITE AND BLACK could map to 0-7 respectively. for a being able to distinguish 12 different colour bands, it could almost easily distinguish twice as many combinations thereof. and so it could devise a system of say 24 numeric representations even if it only has say 10 digits (fingers). $\endgroup$ – James Christopher Eckhardt Dec 18 '15 at 10:39
  • $\begingroup$ Fair point. It might not be necessary to change the axioms themselves, just change the way that they are perceived. $\endgroup$ – Smoj Dec 18 '15 at 14:40
  • $\begingroup$ @JamesChristopherEckhardt Interestingly, if Pistol Shrimp have similar visual capacities to Mantis Shrimp (which I am more familiar with, thanks to The Oatmeal), it is currently believed that mantis shrimp brains do not actually combine data from their 12 different color bands. They appear, to the best of our understanding, to only act on one color band at a time. (not that it changes your point, I just found it to be a rather fascinating tidbit) $\endgroup$ – Cort Ammon Dec 18 '15 at 18:39
  • $\begingroup$ @BenitoCiaro note that even on that scale, there's a symbol for 10 which is simply repeated many times for numbers greater than 10. It's not like a real alternative base like hexadecimal where you introduce additional characters. I think the case for 10 being inherent to human number systems is quite strong. $\endgroup$ – Daniel Buckmaster Dec 19 '15 at 3:36
6
$\begingroup$

What is "different mathematics"? You can consider different axiomatic systems, but that's not different mathematics; indeed, some mathematicians are doing exactly this. You may even consider modifying the rules of logical reasoning and seeing what happens then — again, there are mathematicians who are doing that. In short: Whatever you think of changing, you will find that as long as it is consistent, is will still be mathematics as we know it, in the most extreme case a new branch of mathematics, but still not a different mathematics.

Why is that so? Well, that's the case because mathematics is basically the science that explores the logical connections between abstract ideas. Therefore any logically consistent set of abstract ideas is included in mathematics.

So, how is this related to the real world? Strictly speaking, not at all. There are tons of mathematical constructs which are completely unrelated to our world. You'll be hard pressed to find the first uncountable ordinal somewhere in our universe (except as abstract concept in mathematics books or articles). However, if we can perceive any part of the world, we can abstract it, because fundamentally the act of perception is an act of abstraction (you don't really see the world, you see a reconstruction of the world based on the input of your sensory organs and a set of assumptions built into your brain). If we can perceive something, we can speak about it. And if we can speak about it, we can apply logic to it. And thus we can do mathematics on it.

There are certain mathematical models which fairly well match out observed world; the science that develops mathematical models that fit our world is known as physics. Now the specific mathematical models tell us something about our world, but the fact that we can create mathematical models of the world does not. Whatever the world is, as long as we can perceive (or imagine) it and talk about it, we can create mathematical models to describe it. We may need to invent new mathematical constructs to do so. But we don't need a new mathematics to do so.

$\endgroup$
4
$\begingroup$

I have to disagree with those who say that math is a "human construct" and so any set of math rules is possible. It is true that math is pretty much built by taking starting axioms -- assumptions -- and then investigating what you can prove by applying rigorous logic to those assumptions. So if you started with different assumptions, you'd get widely different conclusions. But most of the math that non-mathematicians are familiar with is based on axioms that are rooted in real-world observations.

If you consider very simple math, like arithmetic, a universe where it is different is very hard to even imagine. Like in a universe where 2+2=5, that means that if I put two rocks in an empty box, and then add two more rocks, then I look in the box, there are now five rocks. How many are left if I take one out? What if I put them in one at a time? It's just very difficult to conceive of how this could hang together.

As the math gets more complex, the problems may become less obvious, but they don't go away. Like suppose you say that in your hypothetical universe the surface area of a sphere is 4 * π * r^3 instead of 4 * π * r^2. At first glance that may sound plausible. But somebody didn't just make up that formula one day because it sounded cool. Look at methods for deriving that formula, and it's not easy to see how you could change underlying assumptions to come up with a different formula, and still have those assumptions be mutually consistent and make sense.

Mathematicians regularly find that math all connects together. Prime numbers turn out to be related to powers of 2. The square root of -1 turns out to be related to sines and cosines. Etc. If in an alternate universe 4 is a prime number, all sorts of things would have to be different for that to make sense, and all those differences would have to connect together.

Yes, there are aspects of mathematics that are purely abstract, and perhaps you could imagine those being different. But the "routine" stuff, like arithmetic and trigonometry and Cartesian geometry ... imagining an alternative system that is internally consistent is very difficult.

$\endgroup$
  • $\begingroup$ I have to disagree with "At first glance that may sound plausible". At first glance it's obviously wrong because the dimensions are wrong. $\endgroup$ – Peter Taylor Dec 18 '15 at 21:48
  • $\begingroup$ They didn't make up the formula for a sphere, they made up the axioms. And for those, we certainly are free to make up whatever ones we want and work out whether it's a consistent set or not and what the consequences are if they are consistent. We can choose not to include the parallel postulate in our axioms and get a non-euclidian geometry in which the surface area of a sphere will not match your formula. The new formula will not be something we directly be made up, but it will be a consequence of some set of axioms we made up. $\endgroup$ – Shufflepants Dec 18 '15 at 22:52
  • $\begingroup$ I think a good corollary to this answer is: you could make up any type of inconsistent mathematical system you liked, but does it allow you to produce reliable results? If I can't use your mathematical system to work out how much pay I'm owed at the end of the day... $\endgroup$ – Daniel Buckmaster Dec 19 '15 at 3:41
  • $\begingroup$ @Shufflepants But a sphere isn't an abstract concept that somebody just made up. It's a real-world object. And we can measure its radius and its surface area in the real world. Yes, you could invent a system of geometry based on axioms that do not match the real world. And of course mathematicians do this, because it's interesting to see where it leads. That's why, to discuss this question, we have to distinguish between math that models the real world and abstract math. $\endgroup$ – Jay Dec 22 '15 at 6:51
  • $\begingroup$ @PeterTaylor I meant, "At first glance it seems that we could imagine a universe where the relationship between radius and surface area is governed by a different formula, but this breaks down when we try to think it through." The more someone has an intuitive feel for math, the more obvious it is why a theorem or a formula just MUST be true. I recall my college calc book quoted some famous mathematician as saying, "What is a mathematician? A mathematician is someone to whom e^pi*i=-1 is just as obvious as 1+1=2 is to you." $\endgroup$ – Jay Dec 22 '15 at 6:54
2
$\begingroup$

The universe would look exactly like a giant frosted donut, but it would also be square, and the passage of time would be experienced as the simultaneous existence and non-existence of birds. Other than that, everything would be exactly the same as it is now.

Even the reasoning we would use to answer a question like "How would change X affect the universe?" is subject to change in this scenario, because it is based on fundamental principles of logic and cause-and-effect, which are closely tied our current mathematical system and therefore can no longer be assumed to apply.

$\endgroup$
1
$\begingroup$

I think simulationism can help us make sense of the possibility of a different mathematics. Remember the Pentium floating point division bug? A processor simulating a universe could have a similar problem. But really it wouldn't exactly be that math was different. The inhabitants of the universe might construct a mathematics exactly like our own, it's just that the universe wouldn't perfectly conform to mathematical patterns. At a certain level of sophistication the inhabitants of the universe might begin discovering small anomalies, measured values different very slightly from expected values derived from otherwise very well-confirmed theories. Maybe there could be even more severe manifestations of the mathematical errors, like an inability to ever collect a particular number of particles in a single structure. (an atom with X protons & electrons and Y neutrons might be predicted to be stable by the best atomic theories, but discovered to actually decay after an immeasurably small interval in experiments) The bug might also be observable via occasional, repeatable conservation law violations.

(The thought of this possibility actually delights me personally, because it would be such an incredible nightmare for reductionism.)

$\endgroup$
  • 1
    $\begingroup$ That universe would not have a different mathematics. It would just not be correctly described by the theory of real numbers, but would need to be described by the theory of "Pentium numbers". That is a well-defined mathematical theory (indeed a description of that theory in included in the specification of every single faulty Pentium), although figuring it out would be a nightmare. And it would certainly be within the scope of mathematics; the only reason we don't have the theory of Pentium numbers is that this is not considered a worthwhile topic by mathematicians. $\endgroup$ – celtschk Dec 18 '15 at 8:52
  • $\begingroup$ Yes, computer chips definitely implement axiomatic systems and rely on real math, it's true. There's really no other way. Even random functions can be mathematically defined (fortunately for the procedurally generated game industry, my favorites.) This seems like a "gotcha" response that ignores about half of my answer. Maybe you stopped reading early and started in with the objection I already guarded with the part beginning "But it wouldn't exactly be that math was different." $\endgroup$ – SudoSedWinifred Dec 18 '15 at 18:46
-1
$\begingroup$

My opinion is that there can't be another mathematics. Maybe somewhere in the universe or in another universe you will find another kind of hydrogen, helium, f. ex metallic carbon, gaseous iron, in low temperature, etc. but you will never find another kind of mathematics. Even god can't make 2+2=5

Mathematics is God of the Universe, there is no god above mathematics, because nobody can rule mathematics but mathematics rule everybody.

$\endgroup$
  • 2
    $\begingroup$ “another kind of hydrogen” Can you explain what you mean by this? If you were to change hydrogen from being hydrogen, it would be a different element. Also, technically speaking, you don’t need a god to make 2+2=5, all you’d need to do is change what this symbol “5” means. For example, this symbol “5” could mean you have four of something, this symbol “4” could mean you have nine of something. There is nothing preventing this other than our language and the meanings we have ascribed to those symbols. $\endgroup$ – Liam Morris May 28 at 18:48
  • $\begingroup$ To counter your statement, nobody thought that another geometry than the one contained in Euclides' elements was possible. Until Lobachevsky came with its geometry. $\endgroup$ – L.Dutch - Reinstate Monica May 28 at 19:22
  • $\begingroup$ Counterexample: base-3 math --> 2+2=11 $\endgroup$ – Frostfyre May 28 at 19:29
  • $\begingroup$ Also, welcome to the site, Harilaos. Please note that the Worldbuilding SE is dedicated to providing detailed answers to specific questions a user has while developing his/her fictional world. We strongly encourage and favor fact-based answers to questions. Answers beginning with phrases akin to "My opinion is..." are often flagged as low-quality or inadequate to the task of answering the question that was asked, as this was. If you haven't already feel free to take the tour and check out our site culture when you get the chance. $\endgroup$ – Frostfyre May 28 at 19:33
  • $\begingroup$ Welcome to Worldbuilding.SE! When you can, please click here to learn more about our culture and take our tour. You might not understand the purpose of our site. From our help center, "Worldbuilding SE is a site for designers, writers, artists, gamers and enthusiasts to get help creating imaginary worlds. World building includes geography, culture and creatures for the world, not to mention magic and planetary physics, in short, everything from the physics underlying your reality to the entire universe you want to build." $\endgroup$ – JBH May 29 at 1:48

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.