Slashdot Mirror
New Calculations May Lead To a Test For String Theory
dexmachina writes "A team of theoreticians, led by a group from Imperial College London, has released calculations that show string theory makes specific, testable predictions about the behaviour of quantum entangled particles. Professor Mike Duff, lead author of the study from the Department of Theoretical Physics at Imperial College London, commented, 'This will not be proof that string theory is the right "theory of everything" that is being sought by cosmologists and particle physicists. However, it will be very important to theoreticians because it will demonstrate whether or not string theory works, even if its application is in an unexpected and unrelated area of physics.' In other words, string theory may finally have shed its critics' most common complaint: unfalsifiability. However, given the second most common complaint, I can't help but wonder: which string theory?" Update: 09/03 23:34 GMT by S : Columbia University's Peter Woit, author of the Not Even Wrong blog, says these claims are overblown, and adds that a number of string theorists said as much to Wired.
That's a good news for Dr. Leonard Leakey Hofstadter...
*** Korbinus ***
http://www.geotruc.net
It seems I may have jumped the gun on this one. My bad for being such an easy mark of sensationalist pop science headlines.
I scanned through the article and from what I see, they have made an equivalence between the maths used in string theory and the maths used in entanglement. This is interesting in itself, because this allowed them to port a result from string theory to entanglement theory, a result which was not known before and could be falsified.
However, this is like saying that the mathematical theory used to count apples harvested from an orchard (addition of natural numbers) is the same as the mathematical theory behind the algorithm the slashcode uses to count the number of comments below threshold (addition of natural numbers). It allows one to port result from ancient mathematics to modern applications without having to rederive everything from first principles; it does not mean that sub-threshold comments are, deep down, really made of apples.
As a physicist, I do get a bit annoyed at the constant attacks on string theory in public media.
Let me just state a few points please:
* We have Quantum Mechanics for the realm of the very small
* We have General Relativity for the realm of the very heavy
* Both of these theories fit observational data and work very well
* The two theories contradict each other in the case of very heavy and very small object (e.g. tiny black holes)
So, we need a new theory that gives the same predictions at QM and GR in the realms that we can measure them. This is where string theory etc comes in. But we do not yet have experimental data for very heavy and very small objects. If you want to complain about string theory not being testable, then accept that your same complaint is going to apply to EVERY grand-unified-theory that we know of.
Conclusion
=========
If you complain at string theory, then PLEASE state what you are proposing. What is the use in complaining when you have no alternative? The main scientific proponents against String Theory also just happen to have their own pet theories (e.g Quantum Loop Gravity) which are in an even worse situation.
If you complain about string theory taking so long, then what do you expect? It has taken 16 years just to do a single experiment (The LHC).
The only way we can make String Theory etc testable is by further research. If you dislike, please propose a better solution rather than just complaining.
TL;DR - People complain at string without proposing anything better.
God is love. You believe in love, don't you? So there must be God, because there is love.
Obviously, it follows that love created the world in six days. Then love created a flood that destroyed just about fucking everyone, because you don't fuck with love, love is a sociopath.
I don't believe in time. It's a grand conspiracy designed to sell watches.
Just for the record: Gödel did not proof math to be not consistent. He showed two things:
1. That in every axiomatic system strong enough to capture aithmetic there necessarily are true sentences that can be expressed with the means of the system but cannot be deduced from the axioms (he presented a method to construct such sentences).
2. You cannot deduce a system's consistency from the axioms of such a system. (Which is something completely different from prooving that math is not consistent).
which string theory?
The one that will come out of the renormalization that they'll need to do to make it fit the observed outcome of this experiment, obviously.
Is that it isn't. What I mean by that is it doesn't seem to make any testable predictions. At this point, it is just a bunch of math wanking. Now there's nothing wrong with purse math. A lot of useful theories start out that way and I like the Bacon quote "If in other sciences we should arrive at certainty without doubt and truth without error, it behooves us to place the foundations of knowledge in mathematics."
However when all you've got is a bunch of neat math with no real testable predictions, it is not a theory and it is not the sort of thing to be crowing about to the general public. XKCD, as usual, did a humorous job summing it up: http://xkcd.com/171/.
If you are going to complain that people complain about the lack of testability then you need to do two things:
1) Read The Logic of Scientific Discovery again and brush up on what a theory is and isn't.
2) Don't go making press releases. I'm not saying you personally have done this but physicists are awful happy to talk to the press about something they can't prove.
Part of it is simply wanting accuracy in the use of the words because let's face it: In science accuracy matters. Being pedantic about terms is important in science. Another part of it is this is the kind of thing that confuses normal people. With evolution, scientists have gone to a lot of trouble to explain that a theory is NOT a guess, NOT a wild idea, etc. They show other theories and how they work, how many things we accept as true are theories.
Well something like this undermines that to an extent, because here is something being called a theory that is not only untested, but that they can't even figure out how to test. It is the kind of thing that can make people say "But wait, if this is a theory then theory doesn't mean what you said."
Actually, it seems to me like we don't call those grand-unified things a proper scientific theory either. As long as there are no testable predictions, and it fails Occam's Razor, it's not a theory, plain and simple. It's a hypothesis.
Yes, there is a name for a theory which hasn't yet been tested: hypothesis.
And really, as someone who's gotten tired of hearing Young Earth Creationists go "well, evolution is just a theory" and having to explain to them "yeah, but theory in science doesn't mean what you think. It means it already made testable predictions and is the best we have"... it's getting annoying to see that a whole bunch of physicists are actually using it exactly as the YECs and conspiracy theorists think: as just an untested and untestable supposition, which may or may not actually hold any water at all.
Yes, I realize that calling it a "theory" is more science-y sounding and good for your funding. But it devalues the whole idea of science for everyone. If we accept that some untested and untestable calculation is just as worthy of being called a "theory" with a straight face as GR or electromagnetism just because it's the pet supposition of some physicist, then basically why wouldn't Behe's pencils-up-the-nose ID idiocies be a "theory" too? I mean Behe _is_ a professor of biochemistry.
Call it the String Hypothesis, and you'd see a lot less complaints, basically.
A polar bear is a cartesian bear after a coordinate transform.
No, it's nylons... and they only go down from the thigh (otherwise we're talking about pantyhose, which are a creation of the devil.) From the thigh up, it's garters. If you find turtles, retreat immediately. It's likely to get worse, and you don't want to know about that... guys that want to know about that become gynecologists. And no one with any sense at all wants to encounter dark matter. Also, garters first, panties (optional, of course), second.
Experimenting in this realm is highly recommended. Repeat a lot - you want to be sure.
I've fallen off your lawn, and I can't get up.
Well, propositional logic can be proven to be consistent (there are no contradictions) AND complete (all true propositions can be proven out of the axioms), so can first order predicate logic (in the PhD dissertation of Gödel, 1929).
To construct arithmetic out of logic, we however need second order predicate logic. Gödel (1930, published 1931) showed that axiomatic systems in second order logic are either incomplete (true non-provable sentences can be constructed) OR they are inconsistent (containing contradictions).
No, you can NOT say that it is inconsistent, and you can NOT say that it is consistent. The fact that you prove you can't say some A doesn't automaticaly makes NOT A true.
Having a bit of trouble with math, isn't you? What are you proposing to construct the real numbers of? Rational numbers? If so, that is just a tautology. You don't need to construct the real numbers, as you don't need to construct the natural numbers. You don't proff that math exists, that doesn't make sense (well, except if you define "exist" in some mathematical way, but then, you'll be just applying your definition).
Rethinking email
Chill out, Pinky.
Where did I say I was using the one from Contact or anything. Yes, I'm using largely the version you explain there: as long as two hypotheses explain the exact same sets of measured data, go with the less complex one, leave the more complex one for when you actually have some data that the other one can't explain.
In exactly that sense, as long as the String Hypothesis doesn't have at least one testable prediction [b]of its own[/b], that can't be explained by the simpler GR and QM, it freaking fails Occam's Razor.
It doesn't mean it's _false_ and nowhere did I say it's _false_. I said until such time as it makes testable predictions of its own, it's just a _hypothesis_. Different thing from "false".
So basically, what, you made all that fuss to answer to your own strawman?
A polar bear is a cartesian bear after a coordinate transform.