Is Math Objective?

-On the nature of mathematics and its claims to objectivity:

There are three primary viewpoints taken on the nature of mathematics.1

1. Platonism: Numbers and Mathematical concepts actually exist.

"Platonism is view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and non-mental."2

2. Nominalism: Mathematics is about objects in the world. 

This can most simply be explained as the most common view of mathematics — the belief that at a fundamental level the numbers reference real objects, just like we were taught in elementary school. The number 3 therefore simply represents a collection of three apples, bottles, or whatever.

3. Fictionalism: Mathematics is fundamentally false. 

This final view of mathematics is definitely bold, but it is difficult, if not impossible, to disprove. Although through this view mathematics is false, it does not dispute the fact that mathematics is useful. After all, math, which is the heart of physics, has given us much of modern technology. Fictionalism therefore draws a comparison between math and the moral principles of many religions. Just because these principles and stories may be useful and successful does not mean that they are necessarily true.

I would like to suggest that perhaps none of these views are particularly correct. Instead, a combination of these views must be considered in order to come to a conceptual understanding of the process that is mathematical thought.

In order to come to this understanding, we must first understand the relationship between math and physics. Physics is nothing more than a description of our universe. It claims no more and no less. Its purpose is to predict empirical occurrences. For example,  the basic kinematic equation $v_f=v_i+a*t$ tells us that if an object is accelerating with acceleration $a$, by accounting for its initial velocity $v_i$ we can know what that object's velocity is after a certain time $t$. This final velocity $v_f$ will likely be measured in mph, kph, or m/s. And although these assignments of numbers to objects and events are of human creation, they still give us a method to describe and predict the rate of change of the position of an object without having to do an experiment every time we would like to find velocity. This is the method of discourse for all of physics. We take a specific occurrence and describe it in order to predict future outcomes. This means that for every physics equation there was a specific phenomena which we set out to model. Without the existence of this phenomena the equation would have no meaning.

Physics is mathematical not because we know so much about the physical world, but because we know so little; it is only its mathematical properties that we can discover. -Bertrand Russell

Having a deep knowledge of mathematics is therefore essential to the physicist because it simply gives you more tools to describe phenomena accurately and efficiently. The true mystery is uncovered when we ask the question: why is mathematics so good at describing the universe?

The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning. - Eugene Wigner

Keeping that idea in mind, lets turn to nominalism. Nominalism is an easily comprehensible viewpoint on the nature of math. It references every number to a set of real or abstract objects and as such we can say that 9*5=45 because 9 sets of 5 objects gives us a total of 45 objects. Therefore, nominalism places the number line (more specifically the positive integers) as the base idea from which mathematics is drawn.

To explain where this viewpoint leads, I'm going to make up a term — the "idea set". The positive integers are an idea set because the elements of the set are completely dependent on each other. For example, the number 1 does not exist without 2 and 5 does not exist without 604. Each positive integer could not be thought of without each and every other positive integer and together they form an idea — the positive number line. This is akin to the fact that 1 degree of a circle cannot exist by itself. The degrees 0-360 are all completely necessary in order for us to create a concept of what "1 degree" is. Numbers don't exist without the number line just as degrees don't exist without circles. However, when we place the positive integers as the most basic idea set of mathematics we run into some problems. Positive integers do not necessitate negative numbers, irrational numbers, or imaginary numbers. 

So lets specifically address those problems...

To the mathematical nominalist (most people), what does 6-7 mean? Can we take 7 apples from 6 apples? And when we multiply (-6)*(-5), what does it mean to have negative 6 sets of negative 5 apples? We are unable to conceptualize how a nominalistic concept of numbers can necessitate negative numbers, yet we use them regularly and are fully able to understand their worth. We can think of negative numbers as debt; a concept similar to potential energy. Just like potential energy, which represents the energy of an object or a system due to the position in space, negative numbers represent a number's position in worth. It describes the consequences of such a position. We did not invent negative numbers out of necessity; we invented this theoretical set because of its useful properties. 

We can also explain imaginary numbers using the same train of thought. $i = \sqrt{-1}$. Clearly there is no physical representation of $\sqrt{-1}$. It is seemingly absurd to find the square root of a number less than zero. Well, consider the problem $x^2 = -1$ or equivalently $1*x*x = -1$. This question asks us, what transformation $x$, when applied twice, will allow you to transform 1 into -1? Here's where a spark of genius comes in. Well, what if we placed the one dimensional number line on a two dimensional plane. Can we then use this second dimension to transform 1 into -1 by using the same transformation twice? Absolutely; by simple rotation. $i$ is a transformation by rotation into a second dimension. 

This second dimension, labeled the imaginary dimension, simply represents an alternate method of measuring a number(just like debt does). Therefore, when we multiply a number by $i$ we are signifying that this number is rotated 90 degrees counterclockwise using the imaginary dimension. As such, $1*i=i$. Additionally, $1*i*i$ rotates $1$ 180 degrees, transforming 1 into -1. 

Positive integers don't depend on negative numbers. Similarly, positive integers don't necessitate imaginary numbers. Here, numbers are two dimensional only because it is useful. Once you create "actual" numbers through nominalistic thought, it doesn't mean that you have the basis for all of math. Not everything we use is built from that foothold. However, through the use of ideas like negative numbers and imaginary numbers, we can now mathematically represent systems which we could not have before. Imaginary numbers are just as legitimate a concept as real numbers — a tool to describe our world.

My point here is that math, just like physics, stems from goal oriented logic.  Math doesn't create a singular set which is the basis for all sets so that the original set necessitates everything we can derive. It also does not claim to exist or not exist in physical or abstract form. That is not its purpose nor its rooting. Instead, math sets out to describe concepts and systems by using consistent sets that may or may not directly exist in observable phenomena. It holds the principle that logic derived from some useful tools can create as accurate a description of our world as direct observation can. Whether or not these tools are "real" or not isn't a real question. It means nothing. Math is not metaphysics. Don't defile it with such ambiguity. 

[Read more]

Active Irresponsibility

As a aspiring Physicist, it must have been amazing to live in the 1920's. Theoretical Physics saw a barrage of new discoveries in one of the most ridiculously successful periods for the advancement of technology and the scientific community in general. Einstein's theories for relativity and the photo-electric effect were finally being accepted as scientific fact, and early quantum theory was significantly reformulated. During this time period Neils Bohr developed the Bohr model for the atom and Schrodinger created a basis of wave mechanics by formulating the wave equation. The discoveries of the 1920's gave us insight into a world we know very little about. It was a period driven by the obsessions of great individuals who used their limited intelligences in specific directions. They were focused on what they did not yet understand. 

Isaac Newton, Charles Darwin, Nicola Tesla, Albert Einstein, Richard Feynman, Sigmund Freud, Francis Crick, and Marie Curie. These individuals have one significant thing in common. Yes, they were all great innovators and scientists who have each influenced our world in unique ways. But as human beings they embodied one trait; they were decidedly passionate. Passionate about their craft. To these people, science was a means onto itself. The accomplishments of these great scientists illustrate that scientific breakthroughs have been achieved through passionate, unrestricted exploration, where short-term gain was not a prerequisite for advance. 

Here's some proof: 

In March 2013 we finally confirmed the existence of the now well known elementary particle, the Higgs boson. More importantly, by finding the Higgs boson we were able to confirm the existence of the Higgs field. This is because just as a photon is a vibration in the electromagnetic field, the Higgs boson is a vibration in the Higgs field. But why is this significant? Well it could be said that there are three fundamental ingredients to our reality: matter particles, forces and carrier particles, and the Higgs. The importance of this discovery was tremendous and it has opened new exciting territory for physicists to explore. When the LHC was created it was expected that the collider would either demonstrate or rule out the existence of the elusive Higgs boson, thereby allowing physicists to consider whether the Standard Model or its Higgsless alternatives were more likely to be correct. At the time, the U.S. was building a competitor to the LHC, the Superconducting Super Collider. American physicists were devastated when in 1993, its construction was cancelled. We could not see the practicality in it; the purpose of such a project. It was a huge loss for science, but it gives us insight into the unscientific mind that drives much of the world today.

There was a time when knowledge for the sake of knowledge was a central axiom in scientific inquiry. The quest for knowledge was driven by the obsessions of great minds who found discovery to be a worthwhile reward. Now, we require practicality. We expect our scientists to give us a spaceship to Mars, a better iPhone, or faster internet. We revere the names of Einstein, Tesla, Bill Gates, and Steve Jobs, yet we have no interest in their craft. We care more about their apparent success than the fascinating innovations which made them successful. And our worship of success and recognition has reduced research to a process which produces products that we can go buy at the mall. Curiosity isn't dead, but it's scarcely breathing.

Of course, we shouldn't define the scientific mind as void of practicality. Take, for example, Nicola Tesla. While Newton and Einstein focused heavily on the theoretical and abstract aspects of Physics, Tesla had a way of making his imagination tangible. Just as much as Tesla was an engineer, he was also a scientist. He was THE "mad scientist" and many of the tangible benefits of his ideas were realized immediately (although not publicly). The man was essentially Tony Stark. So yes, I would like us to question the notion that great science and innovation demands utility. However, I do not imply that practicality is inherently foolish or that a great mind cannot dream of tangible discoveries. Teleportation, warp drives, quantum computing, macroscopic quantum tunneling - these are the dreams of both the physicist and the layman. Instead, I propose that the mundane, auditing culture of today needs to completely redefine the word "useful" when we speak on scientific matters. 

"The way I think of what we are doing is, we are exploring, we are trying to find out as much as we can about the world...whatever way it comes out it’s nature, it’s there, and she’s going to come out the way she is. And therefore when we go to investigate we shouldn't pre-decide what it is we are trying to do except to find out more about it."  -Richard Feynman

The theorists who proposed the Higgs boson spent their entire lives creating a theory which the LHC may have found false. It's how science works and as a theorist you have to learn to deal with that.

"If you don't risk your life, you can't create a future. Right?" -Monkey D. Luffy

By definition, you cannot anticipate the results of potential innovations. We must mend the boundary between the acquisition of knowledge and the application of it. We need active irresponsibility. If history has shown us anything, it's that in order to truly change the world we must be obsessed with something other than ourselves.

[Read more]