| Your banner could be here!
Find out how!
|Reader's login | Writer's login|
Is it Possible to Disprove Mathematics?
Science fiction trades on disproving stuff. The wonder gadgets and gizmos of your average SF story require shoving a lot of pesky scientific theories onto a rubbish pile to make way for them. The warp drives and transporters of Star Trek require overthrowing a lot of awkward physics theories like Heisenberg’s Uncertainty Principle and Special and General Relativity. In order for the psychics in your average Philip K Dick story to become a reality, you would have to disprove all the neuroscience and physics that says you can’t have telepathy and precognition. Weirdly enough there is nothing unscientific about this, we got the sun centred system by overthrowing the Earth centred one and we got evolution by overthrowing creationism so it’s only natural for the SF author to extrapolate forward. Perhaps one day Einstein will be overthrown by FTL. Maybe conventional neuroscience will be overturned by someone who can predict the future or survive death. Given that it’s possible to disprove theories in physics, chemistry or biology, it’s natural to wonder (in typical SF run-with-it logic!) whether it’s possible to disprove the language of these sciences, mathematics. Are there aliens who design spaceships without using numbers or reason with contradictory logic? Could we one day discover that 1+1=3?
The conventional wisdom says that this is impossible. It says that there’s something special about math, something that makes it undisprovable. Like an indestructible fortress, mathematics is an edifice that, when it’s built, nothing known to science can shift. The conventional wisdom has a pretty strong pedigree, consisting of the whole of Western science and philosophical speculation. You would be turning your guns on Plato, Descartes, Leibniz, Bertrand Russell, hell even real scientists like Einstein… Okay okay! But there’s an obvious question: what’s so special about math that you can’t disprove it? And the obvious answer is nothing! You should be able to disprove math like you can anything else.
There are two main arguments conventionally put forward to justify the undisprovability of mathematics. First, mathematicians and philosophers argue that you can’t imagine it being disproved. How would it work if 2+2=5, or squares had five sides instead of four? If you can’t even imagine two plus two not equalling four, how do you imagine actually disproving it? Anyone who has any imagination can see that this argument doesn’t hold. The fact that you can’t imagine something to save your life does not prove that it doesn’t exist. You can prove this with an example from – wait for it – mathematics. Imagine a fourth spatial dimension. You can’t, it’s impossible, you can’t even visualise it… This doesn’t stop the fourth dimension from being mathematically and physically possible. Mathematicians use higher dimensional spaces all the time, even though they can’t imagine them. Given this, what’s to stop a five sided square being an analogous case, something that’s possible even though all the mathematicians in the world can’t imagine it to save their lives? Further, the whole not being able to imagine it being disproved shtick only works for intuitive and elementary stuff. It doesn’t work for anything complicated. What about the graph for y=x4+2x3+3x – 9; could that be false?
Second, mathematicians and philosophers argue that over 2-3,000 years of recorded history, no mathematical statement or theory has been disproved. We still believe in 2+2=4 or Pythagoras’ theorem as much now as when they were first discovered. How can these statements have withstood the test of such time if they weren’t true? There are two major problems with this argument. One, the fact that scientists have believed something for over a thousand years does not make it any more likely to be true: Earth centred cosmology was believed for 1,500 years, and it was even mathematically accurate! Why couldn’t the same be true of Pythagoras’ theorem? Moreover, the persistence of a belief system does not imply that it is logically or empirically true, in fact it very probably implies the opposite. Consider the belief in god, maintained by religious authority, or the belief in star signs.
Two, if you study the history of mathematics carefully you find that it too has its analogues of revolutions. Before the 17th century, mathematics did not consist of the equations and formulae that every schoolchild knows today. Instead it was done by drawing, using a straightedge and compass to construct geometrical shapes and work out their interrelationships. The rise of algebraic methods swept the geometrical approach away. Things that were possible algebraically were not possible with a straightedge and compass. Conversely, though mathematicians are loath to admit it, things you could do with a straightedge and compass cannot be done by algebra. Another, perhaps more powerful example is complex numbers. Before Cardano discovered them, it was impossible to square root -1, afterwards it was possible, completely changing mathematician’s concept of number. Mathematical revolutions may not be as visible as scientific revolutions but they have the same effect, sending shockwaves through existing mathematics that irrevocably change its nature.
The ‘disprovability’ of mathematics would alter the way it is used in science. Currently it is regarded as a fixed frame of reference with which to ‘calibrate’ the rest of science. Experiments may be faulty and theories false but the equations used to describe them are never in error. A statistician can always rely on a random variable being bell shaped and a physicist doing orbital calculations can rely on the theorems of calculus. In the new way of thinking this can no longer be maintained. The theorems of calculus may be revised or the concept of random variable may change. (Both these senarios actually have happened to some extent.) If mathematics is the lens through which we view the physical world then that lens might be less like a telescope, with carefully calibrated optics producing a steady image, and more like a kaleidoscope, producing different images each time it turns, none of which is ‘true.’
If mathematics was disproved, where might we go next? One philosopher who has seriously considered the possibility that mathematics is radically false is Henry Flynt. Flynt argues that mathematics is a social construct whose ‘acolytes’ – mathematicians – act to preserve and maintain its core values and hypotheses. Remember how conventional wisdom said it didn’t change? Now we know why; math doesn’t change for exactly the same reason the church doesn’t! Because of this, Flynt argues that further intellectual and ‘scientific’ progress requires overthrowing, or negating, mathematics. To continue the analogy of the previous paragraph, centuries of ossification have made mathematics a duff lens that obscures more than it reveals with layers and layers of aberrations. Flynt believes we need to throw down the lens and look with new eyes. What will we see when we “look with new eyes?” It depends what ‘eyes’ we look with! Flynt suggests the creation of “meta-technology,” conceptual tools that would allow humans to ‘parse’ reality in ways that transcend classical logic. Replacing mathematics with meta-technology would be a bit like replacing the James Webb telescope with a viable form of astral projection. Flynt’s ideas are of course speculative, in fact, they are pure science fiction. However like all good science fiction they are based on scientific evidence and shouldn’t be dismissed because of their unconventional nature.
As well as having consequences for mathematics and science per se, the idea of a wholesale mathematical revolution forces us to reevaluate the way we think about mathematics and the type of questions we ask about it. The title question of this article was so simple it was almost childish, but poke it a little and the simplicity falls away to reveal a morass of thorny complications. Questions which most people never see fit to think about burst into consciousness. What do you mean by mathematics? What do you mean by disprove? What do you mean by possible?
One pressing objection to my argument is that the question of disproving mathematics is so broad it cannot possibly make sense. A bomb that is so powerful it can destroy reality itself seems to be the ultimate fantasy but it in fact lapses into incoherence and self contradiction. How could you “destroy reality” and if you did wouldn’t you destroy the “reality” of the destructive event itself therebye…? In a similar vein the idea of disproving mathematics is like ‘disproving science’, suggestive, but when you think about it for two seconds it’s nonsense.
There are several answers one might give to this. One is to pull back and say we’re only considering disproving sub theories of mathematics - arithmetic, Euclidean geometry, classical logic – mathematics itself will still carry on, albeit with different content. This would be analogous to how we see empirical science where an overarching field such as physics experiences periodic revolutions (Newton Einstein, quantum mechanics.) Here though, an important distinction comes to light between science and (conventional) mathematics which allows me to put my foot through the door I originally wanted to put it through. Because empirical science undergoes periodic revolutions in its content, it’s possible to draw a distinction between science and its content. General Relativity may be replaced by Warp Field Theory but the Star Trek universe still obeys the laws of physics (just not quite our laws.) Mathematics (conventionally) is different. Because it doesn’t experience periodic revolutions on its theories there is no way to draw a distinction between ‘mathematics’ and the sum total of mathematical theories. Furthermore, all existing ideological justifications of mathematics are premised on the non occurrence of such revolutions. A large part of mathematics’ self identity as a discipline consists in it being ‘undisprovable.’ In this way, if you could overturn arithmetic, complex numbers, Euclidean and Non-Euclidean geometry etc. then you would have overturned mathematics as a discipline. You would have literally disproved mathematics, like my schoolboy self dreamed.
Another issue is one that I alluded to above. Mathematics is traditionally understood to be so basic, so fundamental that its frameworks determine thought, experience and reality themselves. In disproving mathematics, wouldn’t we be in some sense undercutting, thought, experience and reality themselves? Let’s think about this a minute. On the one hand there are some mathematical notions that seem so basic and elementary that they are part of our basic thought patterns. One plus one equals two. A square has four equal sides. Space has three dimensions. It seems like if we tried to nix these mathematical concepts we wouldn’t be able to think straight or even see straight (what would the world look like if we could see four dimensionally?) On the other hand many mathematical theories are highly technical calculational schemas and algorithms that exist more as a superstructure than a basis for thought. When you multiply out a quadratic equation, you manipulate symbols almost mechanically according to algebraic rules. It seems that we could imagine different rules for multiplying out a quadratic equation without having a major reality dysfunction. In this sense then, mathematical theories might be disproved wholesale and we would still have ten fingers!
Perhaps the idea of ‘disproving mathematics’ is one of those ideas that doesn’t quite ‘make sense.’ In considering it we are poking at the basic framework of concepts that undergirds the way we think about knowledge and science. But not quite making sense is different from nonsense. Science is full of concepts that ‘don’t quite make sense’, a hole in space, an unobservable wavefuction, quantum entanglement. These are all concepts that stretch the boundaries of our existing linguistic frameworks. But they are valid concepts and they advance knowledge.
Science fiction is exactly what we need to explore the consequences of a mathematical revolution. However – and perhaps this shows the pernicious influence of Plato and Bertrand Russell – I can think of no science fiction novels based on the idea of ‘impossible’ mathematics. I can only think of three stories: Greg Egan’s Dark Integers is about a parallel universe that is ‘so far up the number line’ that it obeys different mathematical laws. Ted Chiang’s Division By Zero is about the consequences of discovering a proof that 1=2. To my mind the most intriguing is an online story called Self Destruct Mode by Stephen Watkins which has aliens coding signals in ‘anti-mathematics” described as “a field of mathematics that begins with the assumption that everything we know about mathematics is false.” Apart from these, the disprovability of mathematics is an unexplored blank. If any QM readers have any other suggestions please comment.
Michele: I believe one of the original points being made was the possibility that our reality dictates what and how we see things, mathematics included. And, the possibility that the mathematics as we have structured it is nothing more than a construct of this reality and possibly not the truth.
That's where philosophy comes in as a search for reasons and answers to our reality and who we are.
micheledutcher - I don't understand why we're talking about philosophy when we started out with Mathematics - but - the Christian Bible (New Testament) isn't as old as even Western European philosophy: Socrates was teaching 2300 years ago - 300 years before the birth of Christianity. Obviously the Judeo and Asian Indian philosophies are older than that - and before that was the nature based philosophies and religions of the most ancient peoples. It's good to see a lively discussion at Quantum Muse, I'm sure the Muse Herself would be pleased.
micheledutcher - I don't understand why we're talking about philosophy when we started out with Mathematics - but - the Christian Bible (New Testament) isn't as old as even Western European philosophy: Socrates was teaching 2300 years ago - 300 years before the birth of Christianity. Obviously the Judeo-Christian and Asian Indian philosophies are older than that - and before that was the nature based philosophies and religions of the most ancient peoples. It's good to see a lively discussion at Quantum Muse, I'm sure the Muse Herself would be pleased.
Science Fiction can be a form of philosophy using allegory to illustrate the question at hand, and though not necessarily providing an answer, it can show a possible problem/issues in a digestible fashion. I will use one example from the current time:
THE MATRIX AND PHILOSOPHY, edited by William Irwin, Open Court Press 2002.
The other example, older in time is the Christian Bible using allegory and fantasy to philosophical questions.
Then of course we have Plato, Aristotle,
Zhang Zi, Lao Zi, Confucius. And that's just a start.
r.tornello - 6000 year old earth? You're nuts and if I may say wrapped up around an axle that was proposed by a no nothing preacher a few hundred years ago.
And, Science fiction is a form of philosophy. Dig a bit deeper.
6000 year old earth, I nuts just responding to your inane comments
Sidewinder4 - Science Fiction is literature. Philosophy isn't. The warp drives and transporters of Star Trek require overthrowing a lot of awkward physics theories like Heisenberg’s Uncertainty Principle and Special and General Relativity. [No; it only requires a technology that will part The Zero Point Energy Field, the fabric of Space-Time in front of the space craft and enable it to reform behind the machine. Quite a trick, but the concept is sound.] In order for the psychics in your average Philip K Dick story to become a reality, you would have to disprove all the neuroscience and physics that says you can’t have telepathy and precognition. [Check out The Bible where there are many prophecies that came to pass. The Universe has at least 5 dimensions; the three normally sensed plus Time, and the dimension that the Universe is expanding along. ] Weirdly enough there is nothing unscientific about this, we got the sun centred system by overthrowing the Earth centred one and we got evolution by overthrowing creationism so it’s only natural for the SF author to extrapolate forward. [We “got” a sun centered solar system by diligent observation. Macro-Evolution fits the definition a philosophy. It is strictly speaking not science at all. Macro-Evolution is defunct as science. At 14 to 15 billion years The Universe is not old enough for evolution to have occurred. As for Creation see: Starlight and Time by D. Russell Humphreys PhD and read a scientific theory that allows for a 6000 year old earth and a 14 billon year old universe. It really is a theory and not religion or philosophy.] Perhaps one day Einstein will be overthrown by FTL. [Einstein ‘s Law of General Relativity it the single most tested theorem in science.] S4
What does it matter?
This reality works, for better or worse. The mathe works. Telephones work, cars work, so for all intents and purposes, this reality IS.
In a multi universe world there may be other laws of physics that exist, and their math works, so big deal.
In this world we kill each other because of ideology and religious myths. Maybe in other universes they kill each other because od skin color, and yet others because of the slant or depth of their eyes.
But each reality has its own scientific basis upon which it operates, and I'm guessing, and it works just fine.
so maybe this exercise in mental masturbation is just that. Let's play with what we have, speculate on what we can, drink good wine and make a lot of love.
Is what is, no blame.
Science fiction is also a branch of philosophy, taking the what is and contemplating the what could be in myriad subsets of subjects.
Yes it too does play in the fiction, or as you suggest untruth, but it's greater value lies in the contemplative nature of the field. One example might be the affect of AI and its possible affect on humanity.
Sidewinder4 - "Science fiction trades on disproving stuff." No, it doesn’t. Sci-Fi can neither prove nor disprove anything because it’s fiction. By definition that means it’s false in some way. Mathematics are chains of definitions. "Un-math" disturbs me. Intellectual anarchy is a step towards total anarchy. One may as well say un-light which is just darkness. Un-math would be the absence of math, an intellectual darkness. No one needs that. The Speed of Light is decreasing. Yet Science still calls it a constant. That is intellectual dishonesty; also disturbing, intellectually. Sidewinder4
You might find Mathematics Without Apologies:Portrait of a Problematic Vocation by Michael Harris as reviewed in New York Review of Books December 3, 2015 up your alley. RT
This story has been viewed: 1907 times.
Did you enjoy this story? Show your appreciation by tipping the author!
We shamelessly accept handouts!Give generously to the United Wa - uh, we mean Quantum Muse. It keeps Mike off the streets from scaring small children and the Web Goddess from spray painting Town Hall - again.
Quantum Museletter! Be the first to know when new stories and artwork have arrived.
Subscribe to Quantum Museletter by filling out the following form.