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?
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.
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?
How large are the forces acting on a gymnast swinging on the high bar?
Insurance companies offer protection against rare but catastrophic events like hurricanes or earthquakes. But how do they work out the financial risks associated to these disasters? Shane Latchman investigates.
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.
