Time travel is not forbidden by the laws of nature, but to build a time machine, we would need to understand more about those laws and how to subvert them than we do now. And every day, science does learn more. In this film Horizon meets the scientists working on the cutting edge of discovery - men and women who may discover how to build wormholes, manipulate entangled photons or build fully functioning time crystals. In short, these scientists may enable an engineer of the future to do what we have so far been only able to imagine - to build a machine that allows us travel back and forward in time at the touch of a button. It could be you! Science fiction? Watch this film.

Mathematician Dr Hannah Fry explores the mystery of maths. It underpins so much of our modern world that it's hard to imagine life without its technological advances, but where exactly does maths come from? Is it invented like a language or is it something discovered and part of the fabric of the universe? It's a question that some of the most eminent mathematical minds have been wrestling with. To investigate this question, Hannah goes head first down the fastest zip wire in the world to learn more about Newton's law of gravity, she paraglides to understand where the theory of maths and its practice application collide, and she travels to infinity and beyond to discover that some infinities are bigger than others.

In this episode, Hannah goes back to the time of the ancient Greeks to find out why they were so fascinated by the connection between beautiful music and maths. The patterns our ancestors found in music are all around us, from the way a sunflower stores its seeds to the number of petals in a flower. Even the shapes of some of the smallest structures in nature, such as viruses, seem to follow the rules of maths. All strong evidence for maths being discovered. But there are those who claim maths is all in our heads and something we invented. To find out if this is true, Hannah has her brain scanned. It turns out there is a place in all our brains where we do maths, but that doesn't prove its invented.

Experiments with infants, who have never had a maths lesson in their lives, suggests we all come hardwired to do maths. Far from being a creation of the human mind, this is evidence for maths being something we discover. Then along comes the invention of zero to help make counting more convenient and the creation of imaginary numbers, and the balance is tilted in the direction of maths being something we invented. The question of whether maths is invented or discovered just got a whole lot more difficult to answer

In this episode, Hannah goes back to the time of the ancient Greeks to find out why they were so fascinated by the connection between beautiful music and maths. The patterns our ancestors found in music are all around us, from the way a sunflower stores its seeds to the number of petals in a flower. Even the shapes of some of the smallest structures in nature, such as viruses, seem to follow the rules of maths. All strong evidence for maths being discovered. But there are those who claim maths is all in our heads and something we invented. To find out if this is true, Hannah has her brain scanned. It turns out there is a place in all our brains where we do maths, but that doesn't prove its invented.

Experiments with infants, who have never had a maths lesson in their lives, suggests we all come hardwired to do maths. Far from being a creation of the human mind, this is evidence for maths being something we discover. Then along comes the invention of zero to help make counting more convenient and the creation of imaginary numbers, and the balance is tilted in the direction of maths being something we invented. The question of whether maths is invented or discovered just got a whole lot more difficult to answer

Dr Hannah Fry travels down the fastest zip wire in the world to learn more about Newton's ideas on gravity. His discoveries revealed the movement of the planets was regular and predictable. James Clerk Maxwell unified the ideas of electricity and magnetism, and explained what light was. As if that wasn't enough, he also predicted the existence of radio waves. His tools of the trade were nothing more than pure mathematics. All strong evidence for maths being discovered.

But in the 19th century, maths is turned on its head when new types of geometry are invented. No longer is the kind of geometry we learned in school the final say on the subject. If maths is more like a game, albeit a complicated one, where we can change the rules, surely this points to maths being something we invent - a product of the human mind. To try and answer this question, Hannah travels to Halle in Germany on the trail of perhaps one of the greatest mathematicians of the 20th century, Georg Cantor. He showed that infinity, far from being infinitely big, actually comes in different sizes, some bigger than others. This increasingly weird world is feeling more and more like something we've invented. But if that's the case, why is maths so uncannily good at predicting the world around us? Invented or discovered, this question just got a lot harder to answer.

But in the 19th century, maths is turned on its head when new types of geometry are invented. No longer is the kind of geometry we learned in school the final say on the subject. If maths is more like a game, albeit a complicated one, where we can change the rules, surely this points to maths being something we invent - a product of the human mind. To try and answer this question, Hannah travels to Halle in Germany on the trail of perhaps one of the greatest mathematicians of the 20th century, Georg Cantor. He showed that infinity, far from being infinitely big, actually comes in different sizes, some bigger than others. This increasingly weird world is feeling more and more like something we've invented. But if that's the case, why is maths so uncannily good at predicting the world around us? Invented or discovered, this question just got a lot harder to answer.

Dr Hannah Fry explores a paradox at the heart of modern maths, discovered by Bertrand Russell, which undermines the very foundations of logic that all of maths is built on. These flaws suggest that maths isn't a true part of the universe but might just be a human language - fallible and imprecise. However, Hannah argues that Einstein's theoretical equations, such as E=mc2 and his theory of general relativity, are so good at predicting the universe that they must be reflecting some basic structure in it. This idea is supported by Kurt Godel, who proved that there are parts of maths that we have to take on faith.

Hannah then explores what maths can reveal about the fundamental building blocks of the universe - the subatomic, quantum world. The maths tells us that particles can exist in two states at once, and yet quantum physics is at the core of photosynthesis and therefore fundamental to most of life on earth - more evidence of discovering mathematical rules in nature. But if we accept that maths is part of the structure of the universe, there are two main problems: firstly, the two main theories that predict and describe the universe - quantum physics and general relativity - are actually incompatible; and secondly, most of the maths behind them suggests the likelihood of something even stranger - multiple universes.

We may just have to accept that the world really is weirder than we thought, and Hannah concludes that while we have invented the language of maths, the structure behind it all is something we discover. And beyond that, it is the debate about the origins of maths that has had the most profound consequences: it has truly transformed the human experience, giving us powerful new number systems and an understanding that now underpins the modern world.

Hannah then explores what maths can reveal about the fundamental building blocks of the universe - the subatomic, quantum world. The maths tells us that particles can exist in two states at once, and yet quantum physics is at the core of photosynthesis and therefore fundamental to most of life on earth - more evidence of discovering mathematical rules in nature. But if we accept that maths is part of the structure of the universe, there are two main problems: firstly, the two main theories that predict and describe the universe - quantum physics and general relativity - are actually incompatible; and secondly, most of the maths behind them suggests the likelihood of something even stranger - multiple universes.

We may just have to accept that the world really is weirder than we thought, and Hannah concludes that while we have invented the language of maths, the structure behind it all is something we discover. And beyond that, it is the debate about the origins of maths that has had the most profound consequences: it has truly transformed the human experience, giving us powerful new number systems and an understanding that now underpins the modern world.

Now, scientists are trying to shed light on the so-called 'dark sector' as the latest generation of detectors rev up, and powerful telescopes peer deeper into space than ever before to observe how it behaves. Will the discoveries help reveal how galaxies formed? In the series finale, Nova Wonders journeys to the stars and back to investigate what we know —and don’t know. Find out how scientists are discovering new secrets about the history of the universe, and why they’re predicting a shocking future.