In the 1930s the logician Kurt Gödel showed that if you set out proper rules for mathematics, you lose the ability to decide whether certain statements are true or false. This is rather shocking and you may wonder why Gödel's result hasn't wiped out mathematics once and for all. The answer is that, initially at least, the unprovable statements logicians came up with were quite contrived. But are they about to enter mainstream mathematics?
It requires only a little processing power, but it's a giant leap for robotkind: engineers at the University of Southampton have developed a way of equipping spacecraft and satellites with human-like reasoning capabilities, which will enable them to make important decisions for themselves.
Quantum mechanics is usually associated with weird and counterintuitive phenomena we can't observe in real life. But it turns out that quantum processes can occur in living organisms, too, and with very concrete consequences. Some species of birds, for example, use quantum mechanics to navigate. Last year we talked to physicists Simon Benjamin and Erik Gauger, and found out that studying these little creatures' quantum compass may help us achieve the holy grail of computer science: building a quantum computer.
It's been nearly 18 months since the Large Hadron Collider at CERN started up and scientists are eagerly awaiting their first glimpse into the cosmic mysteries it was designed to explore. But when can we realistically expect the first ground-breaking discoveries to come through? Last week, John Ellis, outgoing leader of the theory division at CERN, addressed an audience of physicists at the University of Cambridge to update them on the current state of play. Plus went along and also managed to catch Ellis for a quick interview.
Many people like mathematics because it gives definite answers. Things are either true or false, and true things seem true in a very fundamental way. But it's not quite like that. You can actually build different versions of maths in which statements are true or false depending on your preference. So is maths just a game in which we choose the rules to suit our purpose? Or is there a "correct" set of rules to use? We find out with the mathematician Hugh Woodin.
The world we live in is strictly 3-dimensional: up/down, left/right, and forwards/backwards, these are the only ways to move. For years, scientists and science fiction writers have contemplated the possibilities of higher dimensional spaces. What would a 4- or 5-dimensional universe look like? Or might it even be true that we already inhabit such a space, that our 3-dimensional home is no more than a slice through a higher dimensional realm, just as a slice through a 3-dimensional cube produces a 2-dimensional square?
That geometry should be relevant to physics is no surprise — after all, space is the arena in which physics happens. What is surprising, though, is the extent to which the geometry of space actually determines physics and just how exotic the geometric structure of our Universe appears to be. Plus met up with mathematician Shing-Tung Yau to find out more.