All language subtitles for Magic Numbers Mysterious World of Maths 2of3 720p HDTV x264 AAC MVGroup org

af Afrikaans
sq Albanian
am Amharic
ar Arabic
hy Armenian
az Azerbaijani
eu Basque
be Belarusian
bn Bengali
bs Bosnian
bg Bulgarian
ca Catalan
ceb Cebuano
ny Chichewa
zh-CN Chinese (Simplified)
zh-TW Chinese (Traditional)
co Corsican
hr Croatian
cs Czech
da Danish
nl Dutch
en English Download
eo Esperanto
et Estonian
tl Filipino
fi Finnish
fr French
fy Frisian
gl Galician
ka Georgian
de German
el Greek
gu Gujarati
ht Haitian Creole
ha Hausa
haw Hawaiian
iw Hebrew
hi Hindi
hmn Hmong
hu Hungarian
is Icelandic
ig Igbo
id Indonesian
ga Irish
it Italian
ja Japanese
jw Javanese
kn Kannada
kk Kazakh
km Khmer
ko Korean
ku Kurdish (Kurmanji)
ky Kyrgyz
lo Lao
la Latin
lv Latvian
lt Lithuanian
lb Luxembourgish
mk Macedonian
mg Malagasy
ms Malay
ml Malayalam
mt Maltese
mi Maori
mr Marathi
mn Mongolian
my Myanmar (Burmese)
ne Nepali
no Norwegian
ps Pashto
fa Persian
pl Polish
pt Portuguese
pa Punjabi
ro Romanian
ru Russian
sm Samoan
gd Scots Gaelic
sr Serbian
st Sesotho
sn Shona
sd Sindhi
si Sinhala
sk Slovak
sl Slovenian
so Somali
es Spanish Download
su Sundanese
sw Swahili
sv Swedish
tg Tajik
ta Tamil
te Telugu
th Thai
tr Turkish Download
uk Ukrainian
ur Urdu
uz Uzbek
vi Vietnamese
cy Welsh
xh Xhosa
yi Yiddish
yo Yoruba
zu Zulu
or Odia (Oriya)
rw Kinyarwanda
tk Turkmen
tt Tatar
ug Uyghur
Would you like to inspect the original subtitles? These are the user uploaded subtitles that are being translated: 1 00:00:01,400 --> 00:00:05,880 There is a mystery at the heart of our universe - 2 00:00:05,880 --> 00:00:10,160 a puzzle that so far no-one has been able to solve. 3 00:00:10,160 --> 00:00:12,360 I can't, it's too weird. 4 00:00:12,360 --> 00:00:13,840 Welcome to my world! 5 00:00:14,800 --> 00:00:18,960 If we can solve this mystery, it will have profound consequences 6 00:00:18,960 --> 00:00:20,920 for all of us. 7 00:00:20,920 --> 00:00:25,280 That mystery is why mathematical rules and patterns seem 8 00:00:25,280 --> 00:00:30,320 to infiltrate pretty much everything in the world around us. 9 00:00:31,240 --> 00:00:35,880 Many people have, in fact, described maths as the underlying 10 00:00:35,880 --> 00:00:37,720 language of the universe. 11 00:00:38,800 --> 00:00:40,600 But how did it get there? 12 00:00:42,320 --> 00:00:47,360 Even after thousands of years, this question causes controversy. 13 00:00:47,720 --> 00:00:52,640 We still can't agree on what maths actually is or where it comes from. 14 00:00:52,640 --> 00:00:55,480 Is it something that's invented, like a language? 15 00:00:55,480 --> 00:00:57,960 Or is it something that we've merely discovered? 16 00:00:57,960 --> 00:00:59,520 I think discovered. 17 00:00:59,520 --> 00:01:00,640 Invented. 18 00:01:00,640 --> 00:01:01,680 It's both. 19 00:01:01,680 --> 00:01:02,800 I have no idea. 20 00:01:04,200 --> 00:01:05,240 Oh, my God! 21 00:01:06,200 --> 00:01:08,680 Why does any of this matter? 22 00:01:08,680 --> 00:01:11,800 Well, maths underpins just about everything 23 00:01:11,800 --> 00:01:16,120 in our modern world, from computers and mobile phones 24 00:01:16,120 --> 00:01:18,640 to our understanding of human biology 25 00:01:18,640 --> 00:01:20,720 and our place in the universe. 26 00:01:23,080 --> 00:01:27,400 My name is Hannah Fry and I'm a mathematician. 27 00:01:27,400 --> 00:01:31,800 In this series, I will explore how the greatest thinkers in history 28 00:01:31,800 --> 00:01:36,320 have tried to explain the origins of maths' extraordinary power. 29 00:01:38,400 --> 00:01:40,360 You've ruined his equation! 30 00:01:41,720 --> 00:01:44,760 I'm going to look at how, in ancient times, 31 00:01:44,760 --> 00:01:48,440 our ancestors thought maths was a gift from the gods. 32 00:01:48,440 --> 00:01:53,480 How in the 17th and 18th centuries, we invented new mathematical systems 33 00:01:53,600 --> 00:01:55,520 and used them to create 34 00:01:55,520 --> 00:01:59,440 the scientific and industrial revolutions. 35 00:01:59,440 --> 00:02:04,000 And I'll reveal how, in the 20th and 21st centuries, 36 00:02:04,000 --> 00:02:09,000 radical, new theories are forcing us to question once again everything 37 00:02:09,200 --> 00:02:12,800 we thought we knew about maths and the universe. 38 00:02:14,320 --> 00:02:17,760 The unexpected should be expected, because why would reality 39 00:02:17,760 --> 00:02:21,480 down there bear any resemblance to reality up here? 40 00:02:21,480 --> 00:02:26,560 In this episode, I discover how maths led Victorian scientists 41 00:02:26,560 --> 00:02:31,560 into a world of invisible forces and particles that we cannot see. 42 00:02:32,200 --> 00:02:35,080 Now, this couldn't be a coincidence. 43 00:02:35,080 --> 00:02:39,680 And I reveal why the concept of infinity broke the rules 44 00:02:39,680 --> 00:02:41,760 about where maths comes from. 45 00:02:42,960 --> 00:02:45,680 I'm very tormented by infinity. 46 00:02:45,680 --> 00:02:47,320 Is infinity real? 47 00:02:47,320 --> 00:02:49,640 I do not know the answer to that question. 48 00:03:00,200 --> 00:03:04,280 Our world is governed by the rules of science, 49 00:03:04,280 --> 00:03:08,080 but science wouldn't work if it wasn't for a far deeper set 50 00:03:08,080 --> 00:03:10,760 of rules - those of mathematics. 51 00:03:14,440 --> 00:03:17,680 It predicts the movement of the planets and the ebb and flow 52 00:03:17,680 --> 00:03:18,920 of the tides. 53 00:03:18,920 --> 00:03:22,600 If you look hard enough at anything, you'll find mathematics 54 00:03:22,600 --> 00:03:24,560 hiding underneath. 55 00:03:26,480 --> 00:03:29,320 If maths is the language of the universe, 56 00:03:29,320 --> 00:03:31,640 then where do numbers come from? 57 00:03:33,760 --> 00:03:37,280 Before we learned that one plus one equals two, 58 00:03:37,280 --> 00:03:41,080 the idea of one and two still existed. 59 00:03:41,080 --> 00:03:45,760 The nature of oneness and twoness has always been there. 60 00:03:48,600 --> 00:03:52,520 The concept of numbers is something universal. 61 00:03:52,520 --> 00:03:54,680 All around the world and in every language, 62 00:03:54,680 --> 00:03:59,720 we understand the idea of what one or two means 63 00:04:01,040 --> 00:04:03,800 and this raises an intriguing question. 64 00:04:06,600 --> 00:04:08,880 Is maths all in our heads? 65 00:04:08,880 --> 00:04:10,920 Is it something that we've invented, 66 00:04:10,920 --> 00:04:14,880 a language that we use to describe the universe? 67 00:04:14,880 --> 00:04:19,280 Or is it an external, physical reality, something 68 00:04:19,280 --> 00:04:22,960 that exists completely independently of us humans, 69 00:04:22,960 --> 00:04:26,960 something that's just out there waiting to be discovered? 70 00:04:31,360 --> 00:04:35,520 In ancient times, we were in awe of the power of maths. 71 00:04:35,520 --> 00:04:40,400 Seen as a gift from the gods, it was considered pure and complete. 72 00:04:40,400 --> 00:04:43,320 But, through the centuries, maths developed. 73 00:04:43,320 --> 00:04:45,280 It wasn't complete, after all. 74 00:04:45,280 --> 00:04:49,560 New areas and techniques have been invented. 75 00:04:49,560 --> 00:04:52,720 And the more we explored science, the more it became obvious 76 00:04:52,720 --> 00:04:56,600 that we couldn't just rely on simple experiments. 77 00:04:56,600 --> 00:05:01,400 We needed a theory and, crucially, a mathematical description 78 00:05:01,400 --> 00:05:04,560 to be able to understand the world around us. 79 00:05:06,880 --> 00:05:11,840 Things that seem obvious at first often have a habit of melting away 80 00:05:12,480 --> 00:05:16,560 when exposed to the rigour of experimentation. 81 00:05:16,560 --> 00:05:20,760 The problem for humans is overriding our instinct 82 00:05:20,760 --> 00:05:23,600 to trust our intuition. 83 00:05:23,600 --> 00:05:27,720 Our senses aren't always the best guide to the truth. 84 00:05:29,960 --> 00:05:34,400 The Greek philosopher Aristotle fell into this trap when he famously 85 00:05:34,400 --> 00:05:37,240 declared that something heavy will fall quicker 86 00:05:37,240 --> 00:05:39,280 than something that's light. 87 00:05:41,160 --> 00:05:44,440 To him, it seemed blindingly obvious and for centuries, 88 00:05:44,440 --> 00:05:46,720 nobody disagreed with him. 89 00:05:49,280 --> 00:05:51,640 On the face of it, you might think that suggesting 90 00:05:51,640 --> 00:05:55,760 that heavier objects fall faster than light objects was quite 91 00:05:55,760 --> 00:05:57,280 a sensible idea. 92 00:05:57,280 --> 00:05:59,840 After all, if you drop them at the same height, 93 00:05:59,840 --> 00:06:01,680 the hammer lands first. 94 00:06:05,720 --> 00:06:09,640 But a 16th-century scientist and mathematician called 95 00:06:09,640 --> 00:06:13,400 Galileo Galilei had a different explanation. 96 00:06:15,520 --> 00:06:20,200 He believed Aristotle had failed to consider something crucial. 97 00:06:21,880 --> 00:06:26,040 The incredible fact is not that Aristotle was wrong, 98 00:06:26,040 --> 00:06:31,040 but that his law of motion stood unchallenged for almost 2,000 years. 99 00:06:34,880 --> 00:06:38,640 How could such a flawed idea survive for so long? 100 00:06:38,640 --> 00:06:40,680 Well, to be fair, there are a few reasons. 101 00:06:40,680 --> 00:06:45,680 You can see the hammer hitting the ground earlier than the feather. 102 00:06:45,680 --> 00:06:48,440 The reason for that, of course, is air resistance, 103 00:06:48,440 --> 00:06:52,400 and Galileo argued that if you dropped them in a vacuum, 104 00:06:52,400 --> 00:06:56,240 they would land at exactly the same time. 105 00:06:56,240 --> 00:06:59,480 To come up with this theory, Galileo imagined the idea 106 00:06:59,480 --> 00:07:03,760 of a vacuum in which air resistance didn't exist, 107 00:07:03,760 --> 00:07:07,080 and created a series of laws that describe the motion 108 00:07:07,080 --> 00:07:09,360 of falling objects. 109 00:07:09,360 --> 00:07:13,160 They completely overturned Aristotle's ideas. 110 00:07:15,640 --> 00:07:19,880 Over 300 years after Galileo's prediction, 111 00:07:19,880 --> 00:07:24,880 Apollo 15 astronaut David Scott gave the theory its most dramatic test. 112 00:07:26,440 --> 00:07:30,360 Well, in my left hand I have a feather, in my right hand 113 00:07:30,360 --> 00:07:32,080 a hammer, 114 00:07:32,080 --> 00:07:35,240 and I'll drop the two of them here, and hopefully they'll hit 115 00:07:35,240 --> 00:07:36,760 the ground at the same time. 116 00:07:38,920 --> 00:07:41,680 How about that? Mr Galileo was correct. 117 00:07:42,840 --> 00:07:47,360 With no air resistance on the moon, the hammer and feather hit the lunar 118 00:07:47,360 --> 00:07:49,240 surface at the same time. 119 00:07:53,640 --> 00:07:58,200 A physical description of the world on its own isn't enough. 120 00:07:58,200 --> 00:08:01,080 It has to go hand in hand with mathematics 121 00:08:01,080 --> 00:08:04,840 before you can truly discover the nature of reality. 122 00:08:06,480 --> 00:08:11,520 Galileo was incredibly impressed, for good reason, at the power 123 00:08:12,000 --> 00:08:16,680 of mathematics to give us insights, to describe things that were 124 00:08:16,680 --> 00:08:20,240 happening, to articulate the patterns that the human brain 125 00:08:20,240 --> 00:08:22,440 is able to access. 126 00:08:22,440 --> 00:08:26,880 It almost seems miraculous that some symbols on a piece of paper 127 00:08:26,880 --> 00:08:30,800 can do that and, in that sense, it might lead you to think 128 00:08:30,800 --> 00:08:33,440 that maths is the language of reality. 129 00:08:33,440 --> 00:08:37,200 Galileo exclaimed that the world is a grand book written 130 00:08:37,200 --> 00:08:39,440 in the language of mathematics. 131 00:08:39,440 --> 00:08:42,360 I think the reason for this is that ultimately... 132 00:08:44,320 --> 00:08:46,400 ..the world is completely mathematical 133 00:08:46,400 --> 00:08:49,400 and we're just discovering that, bit by bit. 134 00:08:49,400 --> 00:08:54,360 He had this feeling that, by using mathematics, 135 00:08:55,480 --> 00:09:00,480 he could get into these things which he wanted to be inevitable. 136 00:09:00,800 --> 00:09:04,840 And mathematics gave him that certainty that things 137 00:09:04,840 --> 00:09:09,920 are inevitable, so he was the first to understand that, in order 138 00:09:10,320 --> 00:09:13,960 to explain phenomena, he needs to use mathematics. 139 00:09:15,440 --> 00:09:18,640 Galileo's theories, though ahead of their time, 140 00:09:18,640 --> 00:09:21,680 raised as many questions as they answered. 141 00:09:24,320 --> 00:09:28,440 There appeared to be some kind of a force that was pulling objects 142 00:09:28,440 --> 00:09:32,360 to the ground, but exactly what that force was 143 00:09:32,360 --> 00:09:35,480 or how it worked remained a mystery. 144 00:09:37,120 --> 00:09:40,440 Solving this mystery would take the genius 145 00:09:40,440 --> 00:09:42,920 of a 17th-century Englishman. 146 00:09:42,920 --> 00:09:44,960 His name was Isaac Newton. 147 00:09:51,560 --> 00:09:54,600 I'm heading to north Wales to do something I'm not 148 00:09:54,600 --> 00:09:56,400 entirely happy about. 149 00:10:00,600 --> 00:10:05,640 So, my director was looking for a clever way to illustrate gravity, 150 00:10:07,640 --> 00:10:12,080 and he came up with the bright idea to send me 151 00:10:12,080 --> 00:10:14,920 down the fastest zip wire in the world. 152 00:10:14,920 --> 00:10:16,040 Headfirst, as well. 153 00:10:18,080 --> 00:10:19,760 I wasn't in that meeting. 154 00:10:19,760 --> 00:10:21,840 I should have been in that meeting. 155 00:10:24,320 --> 00:10:28,400 The same force that brought Newton's apple to the ground 156 00:10:28,400 --> 00:10:31,720 is the thing that's going to be propelling me 157 00:10:31,720 --> 00:10:33,400 towards a quarry. 158 00:10:33,400 --> 00:10:36,240 Good luck! See you at the bottom. See you at the bottom. 159 00:10:36,240 --> 00:10:38,280 What do I let myself in for? 160 00:10:38,280 --> 00:10:42,520 But all this is nothing compared to how Newton performed 161 00:10:42,520 --> 00:10:44,240 experiments on himself. 162 00:10:47,760 --> 00:10:51,880 Newton totally believed that the path to true knowledge lay 163 00:10:51,880 --> 00:10:56,960 in observation. So, rather than just read a book on optics, say, 164 00:10:57,280 --> 00:11:01,400 he decided to experiment by poking a blunt needle 165 00:11:01,400 --> 00:11:03,440 into his own eye. 166 00:11:03,440 --> 00:11:05,080 Maybe don't try that one at home. 167 00:11:06,720 --> 00:11:09,400 He wasn't going to take someone else's word for it. 168 00:11:09,400 --> 00:11:13,040 He had to test these theories for himself. 169 00:11:13,040 --> 00:11:17,480 As he began wrestling with bigger ideas, such as gravity, 170 00:11:17,480 --> 00:11:22,320 only mathematics could help him find the answers. 171 00:11:22,320 --> 00:11:24,440 When you think about it, gravity is actually quite 172 00:11:24,440 --> 00:11:26,200 a strange beast. 173 00:11:26,200 --> 00:11:30,040 It creates this invisible force of attraction between me 174 00:11:30,040 --> 00:11:32,760 and everything around me, but one that's weak enough 175 00:11:32,760 --> 00:11:37,400 that I can easily overcome it just by moving my own muscles. 176 00:11:37,400 --> 00:11:41,880 Newton set out to find a way to describe this mysterious force. 177 00:11:43,720 --> 00:11:47,760 Originally described in words, his law of gravity was later 178 00:11:47,760 --> 00:11:50,400 written down in the form of an equation. 179 00:11:53,440 --> 00:11:56,080 Now, don't be fooled by its simplicity 180 00:11:56,080 --> 00:12:00,520 because this guy packs a real punch. 181 00:12:02,600 --> 00:12:06,840 I'm using it to work out the force that will be acting on me 182 00:12:06,840 --> 00:12:09,000 as I head down the zip wire. 183 00:12:09,000 --> 00:12:13,440 To understand it, you need to know what all the letters stand for, 184 00:12:13,440 --> 00:12:15,800 so, let's begin with F, the force. 185 00:12:17,640 --> 00:12:20,640 Newton says that, between any two objects in the universe, 186 00:12:20,640 --> 00:12:25,120 there is an attractive force, and this force depends on the mass 187 00:12:25,120 --> 00:12:26,400 of those objects. 188 00:12:26,400 --> 00:12:29,200 This capital M here, that's the mass of the earth, 189 00:12:29,200 --> 00:12:32,680 and, then, slightly smaller, the little m, there, is me. 190 00:12:32,680 --> 00:12:37,680 That little m is my mass and it's measured in kilograms. 191 00:12:38,240 --> 00:12:40,720 There's also G, the gravitational constant, 192 00:12:40,720 --> 00:12:44,520 which Newton knew had to exist, although he didn't know exactly 193 00:12:44,520 --> 00:12:46,200 the size of it at the time, 194 00:12:46,200 --> 00:12:49,480 and r, there, which is the distance between me and the centre 195 00:12:49,480 --> 00:12:51,400 of the earth. 196 00:12:51,400 --> 00:12:52,960 More generally, what this equation 197 00:12:52,960 --> 00:12:54,840 is saying is that the bigger 198 00:12:54,840 --> 00:12:56,600 the mass of your objects, 199 00:12:56,600 --> 00:12:58,520 like planets, for example, 200 00:12:58,520 --> 00:13:01,720 the bigger your force between them is going to be. 201 00:13:01,720 --> 00:13:05,240 And the greater the distance between objects, the bigger 202 00:13:05,240 --> 00:13:09,400 this r is, the weaker the force of gravity is going to be. 203 00:13:12,080 --> 00:13:16,360 So what does Newton say the force of gravity will be on me? 204 00:13:18,680 --> 00:13:23,760 So, if you plug in all of the numbers into this equation, 205 00:13:23,760 --> 00:13:28,280 you could calculate the force on me as I travel down the wire. 206 00:13:28,280 --> 00:13:30,800 It works out to be... 207 00:13:30,800 --> 00:13:35,640 ..736 and the unit is newtons. 208 00:13:37,240 --> 00:13:40,640 Newton arrived at his now-famous formula after studying 209 00:13:40,640 --> 00:13:44,000 centuries' worth of measurements from astronomers 210 00:13:44,000 --> 00:13:45,760 that had gone before him. 211 00:13:46,960 --> 00:13:51,000 His law of gravity not only explained why objects fall 212 00:13:51,000 --> 00:13:52,240 to the ground - 213 00:13:52,240 --> 00:13:56,920 it predicted the positions of every moon, planet or comet 214 00:13:56,920 --> 00:13:58,640 anywhere in the cosmos. 215 00:13:59,880 --> 00:14:03,000 That is one devastatingly powerful equation. 216 00:14:04,760 --> 00:14:06,440 This was Newton's genius. 217 00:14:06,440 --> 00:14:10,360 Once you've got a mathematical law, you can use it to apply to anything 218 00:14:10,360 --> 00:14:13,800 - apples, planets and people. 219 00:14:13,800 --> 00:14:16,640 And, if you can calculate exactly what that force will be, 220 00:14:16,640 --> 00:14:19,120 it means that you can predict all kinds of other things, 221 00:14:19,120 --> 00:14:22,960 like my terminal velocity as I travel down to the bottom. 222 00:14:22,960 --> 00:14:25,880 So, er, let's put it to the test. 223 00:14:29,560 --> 00:14:32,720 As the force of gravity pulls an object to the ground, 224 00:14:32,720 --> 00:14:35,200 it reaches a maximum speed. 225 00:14:35,200 --> 00:14:37,840 This is called its terminal velocity. 226 00:14:37,840 --> 00:14:40,240 Before you can calculate this figure, there is a bunch 227 00:14:40,240 --> 00:14:43,560 of things you need to consider, such as the gravity, 228 00:14:43,560 --> 00:14:47,120 drag and friction along the cable. 229 00:14:47,120 --> 00:14:48,120 Don't worry. 230 00:14:51,160 --> 00:14:53,720 Time to put my faith in Newton... 231 00:14:53,720 --> 00:14:56,680 ..and the fastest zip line in the world. 232 00:14:56,680 --> 00:14:59,280 From my calculations, I reckon my terminal velocity 233 00:14:59,280 --> 00:15:02,240 is going to be about 90mph. 234 00:15:03,960 --> 00:15:06,680 I don't think I'm going to speak to this director again. 235 00:15:09,520 --> 00:15:10,880 What am I doing? 236 00:15:12,280 --> 00:15:13,720 Right. 237 00:15:13,720 --> 00:15:15,320 Three, two, one... 238 00:15:16,280 --> 00:15:17,640 Oh! 239 00:15:23,720 --> 00:15:25,000 No! 240 00:15:31,400 --> 00:15:32,760 Whoa! 241 00:15:35,840 --> 00:15:39,000 That was actually really fun. OK. 242 00:15:39,000 --> 00:15:41,720 OK, I also need to check my speed prediction. 243 00:15:41,720 --> 00:15:45,160 Now, disclaimer - just before I came down, 244 00:15:45,160 --> 00:15:47,240 they added some flags to the back of me, 245 00:15:47,240 --> 00:15:49,360 just to slow me down, because the wind's picked up, 246 00:15:49,360 --> 00:15:51,120 as you can probably hear. 247 00:15:51,120 --> 00:15:55,040 So, I don't think I'm going to quite hit 90, but let's have a look here. 248 00:15:55,040 --> 00:16:00,000 There is a big spike, there, on the graph and it says it's 41 249 00:16:00,480 --> 00:16:03,760 seconds for one mile, which is about, what? 250 00:16:05,400 --> 00:16:07,440 75mph, something like that? 251 00:16:09,920 --> 00:16:11,200 Not bad, not bad. 252 00:16:11,200 --> 00:16:13,840 For a back-of-the-envelope calculation, not bad. 253 00:16:20,880 --> 00:16:24,320 The power of Newton's equation was that it could explain 254 00:16:24,320 --> 00:16:27,040 and predict so much about the universe. 255 00:16:29,280 --> 00:16:33,360 It allowed us to think of nature as ordered, 256 00:16:33,360 --> 00:16:36,640 not just on Earth but throughout the cosmos. 257 00:16:38,680 --> 00:16:42,720 The key breakthrough of Newton was that he had the audacity 258 00:16:42,720 --> 00:16:47,760 to shatter this idea that Earth rules are different from heaven 259 00:16:48,560 --> 00:16:51,000 rules, and the moon doesn't fall down because it's made 260 00:16:51,000 --> 00:16:52,360 of heaven stuff, 261 00:16:52,360 --> 00:16:56,040 and say, "Wait a minute, maybe all things obey 262 00:16:56,040 --> 00:16:57,480 "the same physical laws." 263 00:16:57,480 --> 00:17:01,560 His laws of force and of motion were not meant to merely apply in, 264 00:17:01,560 --> 00:17:03,880 say, the heavenly realms or just on Earth. 265 00:17:03,880 --> 00:17:06,400 They were meant to apply everywhere and the idea was the whole 266 00:17:06,400 --> 00:17:09,240 of nature would really be captured by this single set of laws. 267 00:17:09,240 --> 00:17:13,000 I mean, the fact that we can write equations and know how to power 268 00:17:13,000 --> 00:17:16,400 a rocket and have it land on the moon 269 00:17:16,400 --> 00:17:18,840 and come back, holy cow! 270 00:17:18,840 --> 00:17:21,360 I mean, we take these things for granted, but think 271 00:17:21,360 --> 00:17:24,920 about the power of equations to give us the trajectory 272 00:17:24,920 --> 00:17:28,520 and figure out how to accomplish this incredible feat. 273 00:17:28,520 --> 00:17:30,080 That is thrilling. 274 00:17:32,000 --> 00:17:36,080 If evidence is needed to prove maths is discovered, 275 00:17:36,080 --> 00:17:40,600 part of the fabric of reality, then, surely, this is it - 276 00:17:40,600 --> 00:17:44,520 how could something we invented in our brain have the power 277 00:17:44,520 --> 00:17:47,200 to reveal the workings of the universe? 278 00:17:51,520 --> 00:17:54,400 And the extraordinary power of mathematics 279 00:17:54,400 --> 00:17:56,760 wasn't just confined to the stars. 280 00:17:58,040 --> 00:18:01,120 By the end of the 18th century, scientists and engineers 281 00:18:01,120 --> 00:18:05,560 were using it to drive innovation on a grand scale - 282 00:18:05,560 --> 00:18:09,000 what became known as the Industrial Revolution. 283 00:18:12,760 --> 00:18:14,920 This changed everything. 284 00:18:14,920 --> 00:18:17,240 People didn't just live and work in a field any more - 285 00:18:17,240 --> 00:18:21,120 there was an explosion of growth in towns and cities, 286 00:18:21,120 --> 00:18:23,880 as employment switched to factories. 287 00:18:23,880 --> 00:18:27,400 And driving this entire revolution was the invention 288 00:18:27,400 --> 00:18:28,840 of the steam engine. 289 00:18:33,840 --> 00:18:37,480 The impact of this new technology was profound. 290 00:18:37,480 --> 00:18:40,760 It opened up the country not just to people and goods, 291 00:18:40,760 --> 00:18:42,120 but to ideas. 292 00:18:43,520 --> 00:18:47,240 New ways of doing things were propelling us into 293 00:18:47,240 --> 00:18:49,160 the age of the machine. 294 00:18:49,160 --> 00:18:52,480 How fast does it go? 25mph maximum. 295 00:18:52,480 --> 00:18:55,200 What are we doing now? About 15. 296 00:18:55,200 --> 00:18:57,480 And yet your speedometer goes up to 100. 297 00:18:57,480 --> 00:18:59,320 Yeah, not going there! 298 00:19:00,800 --> 00:19:04,440 Behind all of this were the essential calculations 299 00:19:04,440 --> 00:19:07,880 of the machine age - how strong the materials were, 300 00:19:07,880 --> 00:19:10,680 how hot or cold something might get. 301 00:19:10,680 --> 00:19:13,880 It was mathematics that was used to design faster 302 00:19:13,880 --> 00:19:16,720 and more efficient machines. 303 00:19:16,720 --> 00:19:18,800 So, how hot does it get in there? 304 00:19:18,800 --> 00:19:22,720 In Fahrenheit, it goes to about 2,500 degrees. 305 00:19:22,720 --> 00:19:24,720 Two and a half...? What's that in Celsius? 306 00:19:24,720 --> 00:19:27,520 I'm not sure. I've got no idea. 307 00:19:27,520 --> 00:19:29,400 Hot - very hot. 308 00:19:33,560 --> 00:19:35,600 New skills were required in all of this, 309 00:19:35,600 --> 00:19:40,120 so, whereas, before, you would have craftsmen using hand tools, 310 00:19:40,120 --> 00:19:44,360 now you had people in factories operating machinery. 311 00:19:44,360 --> 00:19:47,520 But there's also a sea change here in the way that we think. 312 00:19:47,520 --> 00:19:50,760 It's a belief that, while the natural world might not be tamed, 313 00:19:50,760 --> 00:19:53,600 it can at least be bent to our will. 314 00:19:56,680 --> 00:20:01,000 The Industrial Revolution marked a major turning point in history. 315 00:20:01,000 --> 00:20:04,880 From textiles to iron production and the spread of the railways, 316 00:20:04,880 --> 00:20:07,480 almost every aspect of daily life 317 00:20:07,480 --> 00:20:09,760 was influenced in some way. 318 00:20:09,760 --> 00:20:13,400 And, at the heart of this revolution, was mathematics. 319 00:20:14,800 --> 00:20:18,520 Now, this is a world that feels firmly rooted in reality. 320 00:20:18,520 --> 00:20:20,680 We can trust the numbers and we know that they're not 321 00:20:20,680 --> 00:20:21,920 going to let us down. 322 00:20:21,920 --> 00:20:25,320 So, forget all of your airy-fairy, philosophical stuff here, 323 00:20:25,320 --> 00:20:28,360 this is maths in action. 324 00:20:28,360 --> 00:20:32,840 It's big, it's bold and, actually, it's pretty amazing. 325 00:20:35,960 --> 00:20:39,680 Technological miracles were coming thick and fast. 326 00:20:39,680 --> 00:20:41,960 Mathematics had given us a description 327 00:20:41,960 --> 00:20:43,360 of how the world works. 328 00:20:43,360 --> 00:20:46,880 It was driving our understanding forward. 329 00:20:46,880 --> 00:20:51,520 But, also, it could hint at how seemingly separate things 330 00:20:51,520 --> 00:20:52,960 could be connected. 331 00:21:01,880 --> 00:21:05,320 By the 19th century, mathematicians and scientists 332 00:21:05,320 --> 00:21:10,000 began to wonder what else was out there just waiting to be discovered. 333 00:21:10,000 --> 00:21:13,560 They soon turned their attention to the invisible link 334 00:21:13,560 --> 00:21:16,240 between electricity and magnetism. 335 00:21:21,240 --> 00:21:23,600 Both had been known about for centuries, 336 00:21:23,600 --> 00:21:26,800 from the raw power of lightning to navigation 337 00:21:26,800 --> 00:21:31,120 by means of a ship's compass, but they'd always been thought of 338 00:21:31,120 --> 00:21:33,280 as two very different things. 339 00:21:34,680 --> 00:21:38,520 It was a working-class son of the Industrial Revolution, 340 00:21:38,520 --> 00:21:42,720 Michael Faraday, who was the first person to see a connection 341 00:21:42,720 --> 00:21:43,840 between the two. 342 00:21:45,000 --> 00:21:48,360 I've come to the Royal Institution, to the place where Faraday 343 00:21:48,360 --> 00:21:49,760 had his laboratory. 344 00:21:52,440 --> 00:21:54,800 To see if electricity and magnetism were linked, 345 00:21:54,800 --> 00:21:57,320 Faraday ran a series of experiments. 346 00:21:57,320 --> 00:22:02,160 He took a wire that had electricity passing through it 347 00:22:02,160 --> 00:22:05,680 and he watched as it moved the needle of a compass. 348 00:22:08,080 --> 00:22:12,400 The electric wire and the magnetic needle weren't touching, 349 00:22:12,400 --> 00:22:15,960 and yet one was having an effect on the other. 350 00:22:15,960 --> 00:22:17,960 What was the connection? 351 00:22:17,960 --> 00:22:19,520 Faraday looked deeper. 352 00:22:22,960 --> 00:22:26,200 What he did was to take a magnet like this one 353 00:22:26,200 --> 00:22:30,800 and a roll of copper wire wrapped around a cylinder like this, 354 00:22:30,800 --> 00:22:35,840 and then to pass one through the other very quickly like this. 355 00:22:36,080 --> 00:22:39,480 The wire surrounds the outside of the cylinder, so the magnet 356 00:22:39,480 --> 00:22:41,280 can't come into contact with it. 357 00:22:41,280 --> 00:22:44,200 And that's really all there is to it. 358 00:22:44,200 --> 00:22:46,080 There's nothing more complicated than that. 359 00:22:46,080 --> 00:22:49,880 The wire never touches the magnet and, yet, as you can see 360 00:22:49,880 --> 00:22:53,320 from these LEDs - probably not the originals - 361 00:22:53,320 --> 00:22:56,040 that is enough to generate electricity. 362 00:23:01,040 --> 00:23:04,680 Faraday realised there had to be some kind of invisible 363 00:23:04,680 --> 00:23:09,280 force working behind the scenes 364 00:23:09,280 --> 00:23:12,960 and he had a clever idea of how to make it visible. 365 00:23:16,080 --> 00:23:21,080 What you do is you take a permanent magnet and you place some paper 366 00:23:21,560 --> 00:23:25,480 on top of it, and then take some iron filings 367 00:23:25,480 --> 00:23:27,920 and sprinkle them on top. 368 00:23:27,920 --> 00:23:30,960 Now, this, I think, is one of the most memorable 369 00:23:30,960 --> 00:23:33,240 experiments that you do at school. 370 00:23:33,240 --> 00:23:37,000 And I can remember that moment where you see 371 00:23:37,000 --> 00:23:41,320 the invisible force field that's created by the magnet. 372 00:23:44,960 --> 00:23:47,720 As the iron filings fall onto the paper, 373 00:23:47,720 --> 00:23:50,760 they line up with the magnet's field lines. 374 00:23:53,840 --> 00:23:57,240 Now, this is just two-dimensional here, but actually these lines 375 00:23:57,240 --> 00:23:58,680 are three-dimensional. 376 00:23:58,680 --> 00:24:02,680 They come out and they warp and curve and wrap around 377 00:24:02,680 --> 00:24:04,080 the entire magnet. 378 00:24:09,000 --> 00:24:10,720 That's pretty cool, isn't it? 379 00:24:10,720 --> 00:24:12,040 It's pretty cool. 380 00:24:18,720 --> 00:24:22,360 Faraday's iron filings experiments revealed the existence 381 00:24:22,360 --> 00:24:26,000 of an invisible field stretching out into space. 382 00:24:27,760 --> 00:24:32,560 He could see the lines of the force, but he was an experimentalist 383 00:24:32,560 --> 00:24:37,200 and lacked a complete mathematical description of what was going on. 384 00:24:37,200 --> 00:24:40,440 As a result, many of his contemporaries dismissed his 385 00:24:40,440 --> 00:24:42,040 ideas as fanciful. 386 00:24:43,040 --> 00:24:46,600 It was the Scottish scientist James Clerk Maxwell 387 00:24:46,600 --> 00:24:48,560 who took Faraday's ideas 388 00:24:48,560 --> 00:24:51,200 and came up with a mathematical way to link 389 00:24:51,200 --> 00:24:53,520 electricity and magnetism. 390 00:24:56,440 --> 00:24:59,960 Drawing from the observations of previous scientists, 391 00:24:59,960 --> 00:25:03,920 Maxwell distilled electricity and magnetism down 392 00:25:03,920 --> 00:25:08,520 into four equations that worked for nearly every situation. 393 00:25:09,720 --> 00:25:13,240 The symbols themselves aren't important to the story - 394 00:25:13,240 --> 00:25:17,880 the key point is that Maxwell spotted a gap. 395 00:25:17,880 --> 00:25:22,000 The mathematics was telling him there was something missing 396 00:25:22,000 --> 00:25:23,800 in this last equation. 397 00:25:31,240 --> 00:25:34,280 He realised there has to be another term in this equation, 398 00:25:34,280 --> 00:25:36,280 one that looks like this. 399 00:25:36,280 --> 00:25:41,320 And essentially what it's saying is that if an electric field is moving, 400 00:25:43,120 --> 00:25:46,640 then a magnetic field will wrap itself around it. 401 00:25:46,640 --> 00:25:48,920 And it's mirrored by this equation up here, 402 00:25:48,920 --> 00:25:52,320 which says that if a magnetic field is moving, an electric field 403 00:25:52,320 --> 00:25:54,240 will wrap itself around it. 404 00:25:54,240 --> 00:25:59,200 With this missing piece in place, suddenly everything fitted together. 405 00:25:59,200 --> 00:26:04,200 Mathematics had led Maxwell to see the bigger picture. 406 00:26:07,120 --> 00:26:10,360 electricity to magnetism, magnetism to electricity, 407 00:26:10,360 --> 00:26:14,280 back and forth from one to the other. 408 00:26:14,280 --> 00:26:19,000 Using only mathematical ideas, Maxwell had found the evidence 409 00:26:19,000 --> 00:26:22,320 to prove that electricity and magnetism were 410 00:26:22,320 --> 00:26:24,440 inextricably linked. 411 00:26:25,560 --> 00:26:29,600 Together, electricity and magnetism formed what he called 412 00:26:29,600 --> 00:26:32,080 an electromagnetic field. 413 00:26:34,200 --> 00:26:37,400 This helped explain so much. 414 00:26:37,400 --> 00:26:40,880 The equations perfectly described what Faraday 415 00:26:40,880 --> 00:26:42,680 had seen in his experiments. 416 00:26:44,480 --> 00:26:46,800 But Maxwell didn't stop there. 417 00:26:46,800 --> 00:26:51,240 He showed how these field lines could move in time with each other, 418 00:26:51,240 --> 00:26:53,800 creating electromagnetic waves. 419 00:26:56,680 --> 00:27:01,120 By playing around with these equations, Maxwell could calculate 420 00:27:01,120 --> 00:27:04,520 the speed of this wave and it came out to be about 421 00:27:04,520 --> 00:27:08,160 300,000 kilometres a second. 422 00:27:08,160 --> 00:27:10,120 That wasn't a random number. 423 00:27:10,120 --> 00:27:13,680 That was a number that Maxwell knew very well because it was the same 424 00:27:13,680 --> 00:27:17,320 as the speed of light in a vacuum. 425 00:27:17,320 --> 00:27:19,680 Now, this couldn't be a coincidence. 426 00:27:19,680 --> 00:27:22,920 You don't really get coincidences like that in the universe. 427 00:27:22,920 --> 00:27:27,080 There was only one possible explanation - 428 00:27:27,080 --> 00:27:31,200 light had to be an electromagnetic wave. 429 00:27:37,960 --> 00:27:41,080 Maxwell's discoveries were genuinely revolutionary. 430 00:27:41,080 --> 00:27:44,800 He'd given us a unified theory for electricity and magnetism 431 00:27:44,800 --> 00:27:49,120 and, as an added bonus, an explanation of light itself. 432 00:27:50,800 --> 00:27:53,320 For the first time, an electric field, 433 00:27:53,320 --> 00:27:57,240 a magnetic field and light could all be explained 434 00:27:57,240 --> 00:27:59,080 using a single theory. 435 00:28:01,560 --> 00:28:06,400 The elegance and simplicity of this solution was breathtaking. 436 00:28:06,400 --> 00:28:10,360 Surely, nothing the human mind could conceive of would ever 437 00:28:10,360 --> 00:28:15,120 be capable of thinking up something so sublime - 438 00:28:15,120 --> 00:28:18,840 equations that reveal new truths about the universe. 439 00:28:21,280 --> 00:28:25,080 It feels very much as if this answer was always out there. 440 00:28:25,080 --> 00:28:29,560 It just needed someone who thought differently to discover it. 441 00:28:31,600 --> 00:28:36,640 It's quite uncanny how mathematics has again and again predicted 442 00:28:37,440 --> 00:28:40,720 new things in the physical world that we weren't even looking for. 443 00:28:40,720 --> 00:28:42,560 You come up with novel predictions. 444 00:28:42,560 --> 00:28:45,400 You come up with ideas that there should be structures 445 00:28:45,400 --> 00:28:48,920 in the world that you haven't yet discovered 446 00:28:48,920 --> 00:28:52,720 and, then, on inquiry, you discover those to be real. 447 00:28:52,720 --> 00:28:55,280 That's really extraordinary. 448 00:28:55,280 --> 00:28:58,080 I can tell you from my personal experience, 449 00:28:58,080 --> 00:29:01,560 it is shocking, not just surprising but shocking, 450 00:29:01,560 --> 00:29:05,840 that mathematics makes predictions about the world around us. 451 00:29:05,840 --> 00:29:10,040 The Ancient Greeks found intriguing patterns in nature which seemed 452 00:29:10,040 --> 00:29:12,960 to follow the rules of maths. 453 00:29:12,960 --> 00:29:15,840 Then Newton showed us how mathematical equations 454 00:29:15,840 --> 00:29:19,000 had the power to predict the movement of the planets, 455 00:29:19,000 --> 00:29:21,160 revealing an ordered universe. 456 00:29:22,800 --> 00:29:26,520 By the 19th century, the formidable power of maths 457 00:29:26,520 --> 00:29:31,520 allowed Maxwell to unify electricity and magnetism. 458 00:29:32,000 --> 00:29:35,760 It seemed inconceivable that maths could be anything other 459 00:29:35,760 --> 00:29:37,800 than something we discover. 460 00:29:39,280 --> 00:29:42,840 But then something happened that turned this worldview 461 00:29:42,840 --> 00:29:44,520 on its head. 462 00:29:44,520 --> 00:29:47,600 There was a new way to look at maths. 463 00:29:47,600 --> 00:29:51,640 Someone had invented a different way of doing things. 464 00:29:53,040 --> 00:29:57,320 Since the days of the Greek mathematician Euclid more than 2,000 465 00:29:57,320 --> 00:30:01,040 years ago, right angles and parallel lines, 466 00:30:01,040 --> 00:30:04,240 the kind we learned at school, have been the bedrock 467 00:30:04,240 --> 00:30:06,840 upon which all of geometry and our understanding 468 00:30:06,840 --> 00:30:08,800 of space is built. 469 00:30:12,760 --> 00:30:16,000 But, in the 19th century, mathematicians started to wonder 470 00:30:16,000 --> 00:30:19,080 whether everything really was as it seemed, 471 00:30:19,080 --> 00:30:22,560 or whether there was the possibility of something a bit weird 472 00:30:22,560 --> 00:30:24,560 going on behind the scenes. 473 00:30:26,360 --> 00:30:29,200 You can see it with games like Pac-Man. 474 00:30:31,240 --> 00:30:35,040 What kind of a shape is the Pac-Man universe? 475 00:30:35,040 --> 00:30:37,920 Your instinctive answer might be a square 476 00:30:37,920 --> 00:30:40,000 and you'd be right, sort of. 477 00:30:41,560 --> 00:30:45,440 For instance, if this little pink character exits to the left, 478 00:30:45,440 --> 00:30:47,720 it will re-enter on the right... 479 00:30:50,280 --> 00:30:53,440 ..which actually makes this universe... 480 00:30:55,920 --> 00:30:57,880 ..more of a cylinder. 481 00:30:57,880 --> 00:31:01,120 What's more, in other, similar games, you can exit 482 00:31:01,120 --> 00:31:05,120 out of the top and re-enter at the bottom, 483 00:31:05,120 --> 00:31:09,280 which means that these two loose ends have to bend around 484 00:31:09,280 --> 00:31:11,680 and connect up to one another. 485 00:31:11,680 --> 00:31:14,000 It's a bit of a strange idea to get your head around, 486 00:31:14,000 --> 00:31:17,600 but these kind of computer games are not played on a square. 487 00:31:17,600 --> 00:31:20,200 They are played on a doughnut. 488 00:31:21,840 --> 00:31:26,240 Once you move from a flat square to another shape, 489 00:31:26,240 --> 00:31:29,760 you can't take it for granted that geometry will follow the rules 490 00:31:29,760 --> 00:31:32,320 you've always expected it to. 491 00:31:32,320 --> 00:31:35,040 Behind the scenes, there can be something else 492 00:31:35,040 --> 00:31:37,880 going on entirely. 493 00:31:37,880 --> 00:31:41,040 But, hold on to your hats, because this is all about 494 00:31:41,040 --> 00:31:42,440 to get much weirder. 495 00:31:45,240 --> 00:31:48,240 Consider for a moment a traditional geometric view 496 00:31:48,240 --> 00:31:49,440 of the world. 497 00:31:49,440 --> 00:31:52,320 Imagine there are four coloured courtyards. 498 00:31:52,320 --> 00:31:56,400 What would happen when I leave one of the courtyards? 499 00:31:56,400 --> 00:32:00,280 If the world was as Euclid says it is and everything worked 500 00:32:00,280 --> 00:32:05,280 normally, if I turned left four times, I would eventually get back 501 00:32:06,080 --> 00:32:07,400 to where I started. 502 00:32:08,880 --> 00:32:10,840 I've left the yellow courtyard. 503 00:32:10,840 --> 00:32:15,320 I've gone through orange, red and blue and I'm back in yellow again. 504 00:32:15,320 --> 00:32:17,640 Nothing controversial here. 505 00:32:17,640 --> 00:32:22,320 But who says there has to be four courtyards next to each other? 506 00:32:22,320 --> 00:32:26,040 What if you got back to where you started after turning 507 00:32:26,040 --> 00:32:28,160 left only three times? 508 00:32:30,160 --> 00:32:33,760 But, hang on, I hear you cry, that's impossible - 509 00:32:33,760 --> 00:32:36,800 except it's not if you're living on a cube. 510 00:32:37,840 --> 00:32:41,640 Begin on this side, turn once, turn twice, 511 00:32:41,640 --> 00:32:43,480 turn three times 512 00:32:43,480 --> 00:32:45,520 and you're back where you started. 513 00:32:46,720 --> 00:32:51,320 No longer was there only one description of space. 514 00:32:51,320 --> 00:32:54,760 By changing the rules, you could now choose a different 515 00:32:54,760 --> 00:32:56,680 type of geometry. 516 00:32:56,680 --> 00:33:01,040 It turns out there's many different ways to think about space. 517 00:33:02,120 --> 00:33:05,200 It would be very much like if somebody discovered 518 00:33:05,200 --> 00:33:08,480 Piccadilly Circus by taking a left turn where they had always taken 519 00:33:08,480 --> 00:33:09,920 a right turn before. 520 00:33:09,920 --> 00:33:12,520 People hadn't even thought that there could be a distinction 521 00:33:12,520 --> 00:33:15,960 between the physical space and the mathematical space 522 00:33:15,960 --> 00:33:18,680 that Euclid had studied with his axioms. 523 00:33:18,680 --> 00:33:22,680 Cos all of a sudden Euclidean geometry just looks like one way 524 00:33:22,680 --> 00:33:25,120 of describing a space and, in fact, you know, 525 00:33:25,120 --> 00:33:27,360 it happens to be a good one for describing the space 526 00:33:27,360 --> 00:33:28,640 we're sitting in right now, 527 00:33:28,640 --> 00:33:31,400 not such a good one for describing space on astronomical scales, 528 00:33:31,400 --> 00:33:32,720 it turns out. 529 00:33:32,720 --> 00:33:34,240 So, it's a little bit like a game. 530 00:33:34,240 --> 00:33:38,960 Namely, I teach you the rules of chess and we play chess. 531 00:33:38,960 --> 00:33:42,480 I change the rules and we play a different game but we still can 532 00:33:42,480 --> 00:33:43,800 play a game. 533 00:33:43,800 --> 00:33:47,960 So, that was the feeling, that maybe it is all, 534 00:33:47,960 --> 00:33:51,720 you know, depending on which set of actions you choose, 535 00:33:51,720 --> 00:33:54,360 you can get a new type of mathematics. 536 00:33:56,960 --> 00:33:58,640 But hang on a minute. 537 00:33:58,640 --> 00:34:01,680 If we can just make up a new type of geometry, 538 00:34:01,680 --> 00:34:03,920 then perhaps I've got this wrong. 539 00:34:03,920 --> 00:34:07,200 Maybe maths IS something we invent, after all. 540 00:34:10,960 --> 00:34:15,680 With this new-found freedom mathematicians began exploring 541 00:34:15,680 --> 00:34:19,920 ever more abstract ideas, the most intriguing 542 00:34:19,920 --> 00:34:23,200 of which was the notion of infinity. 543 00:34:30,880 --> 00:34:35,640 Can everybody show me the sign that we are going to be using 544 00:34:35,640 --> 00:34:38,080 to solve this problem? 545 00:34:38,080 --> 00:34:39,280 Off you go. 546 00:34:40,680 --> 00:34:44,560 From an early age, we all have an idea of what infinity is, 547 00:34:44,560 --> 00:34:46,760 but it's hard to pin down. 548 00:34:46,760 --> 00:34:49,920 Our minds aren't built to wrap themselves around the concept 549 00:34:49,920 --> 00:34:54,280 of something that is completely endless and boundless. 550 00:34:54,280 --> 00:34:59,280 And that makes describing exactly what infinity is pretty tricky. 551 00:35:01,680 --> 00:35:05,280 It's a number that keeps on going and never stops. 552 00:35:06,560 --> 00:35:10,320 The biggest number I can think of is 99 billion. 553 00:35:10,320 --> 00:35:12,000 400. 554 00:35:12,000 --> 00:35:14,320 Googolplex. 555 00:35:14,320 --> 00:35:17,840 There's nothing bigger than infinity 556 00:35:17,840 --> 00:35:20,480 because that's the biggest number that you could, um, 557 00:35:20,480 --> 00:35:23,120 that you could possibly need. 558 00:35:23,120 --> 00:35:26,480 I'm very tormented by infinity. 559 00:35:26,480 --> 00:35:29,440 I have a love/hate relationship with infinity. 560 00:35:29,440 --> 00:35:31,880 I love using it when I teach courses at MIT cos 561 00:35:31,880 --> 00:35:35,240 it makes things so easy to derive and prove. 562 00:35:35,240 --> 00:35:39,680 But, in my gut, I know there is no actual infinity, 563 00:35:39,680 --> 00:35:42,720 it's just a convenient approximation. 564 00:35:42,720 --> 00:35:44,880 Is infinity real? 565 00:35:44,880 --> 00:35:46,480 It's about as real as 566 00:35:46,480 --> 00:35:49,280 the number one or the number zero. 567 00:35:49,280 --> 00:35:50,960 It's a concept. 568 00:35:50,960 --> 00:35:56,040 It's a useful concept in describing a certain set of elements 569 00:35:58,480 --> 00:36:02,760 and, in that sense, yes, it's real. 570 00:36:02,760 --> 00:36:07,440 I think it's fair to say that nobody in the laboratory is ever 571 00:36:07,440 --> 00:36:10,560 going to have a dial that registers infinity, 572 00:36:10,560 --> 00:36:11,920 that measures infinity. 573 00:36:11,920 --> 00:36:14,560 We're never going to literally count to infinity. 574 00:36:14,560 --> 00:36:16,000 We can approach it, 575 00:36:16,000 --> 00:36:18,160 but, from that point of view, I don't think we're ever 576 00:36:18,160 --> 00:36:21,640 going to embrace it the way that we embrace tables and chairs 577 00:36:21,640 --> 00:36:23,080 and finite objects. 578 00:36:23,080 --> 00:36:25,200 It's only by definition we can't go there, 579 00:36:25,200 --> 00:36:26,560 you can't get there. 580 00:36:26,560 --> 00:36:28,800 Try and get closer to infinity and it always stays 581 00:36:28,800 --> 00:36:30,040 just as far away! 582 00:36:31,960 --> 00:36:35,000 You might imagine that something as abstract as infinity 583 00:36:35,000 --> 00:36:36,920 is not very useful. 584 00:36:36,920 --> 00:36:40,880 But, in reality, infinity offers a way to solve problems 585 00:36:40,880 --> 00:36:44,040 that previously would have seemed impossible. 586 00:36:46,640 --> 00:36:51,640 If you wanted to know the distance between the UK and New York, 587 00:36:52,040 --> 00:36:56,600 you could try and use a ruler on a globe like this. 588 00:36:57,640 --> 00:37:01,320 You'd have some trouble because, of course, the world is round 589 00:37:01,320 --> 00:37:06,320 and curves, unlike straight lines, are quite tricky to measure. 590 00:37:06,840 --> 00:37:11,360 Good luck in geography class with a globe and a measuring stick. 591 00:37:13,280 --> 00:37:15,880 But what if rather than just using one ruler, 592 00:37:15,880 --> 00:37:18,000 you use two much smaller rulers 593 00:37:18,000 --> 00:37:23,040 and you use how they overlap to wrap around the curve of the earth? 594 00:37:23,400 --> 00:37:26,640 Now, by doing that you're not going to get the exact distance 595 00:37:26,640 --> 00:37:29,280 between London and New York, but you're going to get a much 596 00:37:29,280 --> 00:37:31,360 better approximation for it. 597 00:37:31,360 --> 00:37:33,360 And you can imagine the more and more rulers 598 00:37:33,360 --> 00:37:37,240 that you use, the better they will wrap around the curve 599 00:37:37,240 --> 00:37:40,640 of the globe and the better an approximation you'll end up with. 600 00:37:42,280 --> 00:37:44,440 So here's the key idea. 601 00:37:44,440 --> 00:37:49,440 If you zoom in enough on any curve, it will start to look straight. 602 00:37:50,120 --> 00:37:54,560 And if you have an infinite number of teeny, tiny rulers, 603 00:37:54,560 --> 00:37:59,080 you can perfectly measure the length of any curve just by adding 604 00:37:59,080 --> 00:38:01,080 up all of those straight lines. 605 00:38:03,840 --> 00:38:07,720 It's only by harnessing the power of infinity 606 00:38:07,720 --> 00:38:10,520 that any this is possible. 607 00:38:10,520 --> 00:38:12,560 OK, so why should you care? 608 00:38:12,560 --> 00:38:15,840 Well, it's not just the Earth that's got curves. 609 00:38:15,840 --> 00:38:18,640 Everything from the movement of satellites in the sky, 610 00:38:18,640 --> 00:38:21,120 to the rise and fall of the stock market, 611 00:38:21,120 --> 00:38:25,520 to understanding how our human behaviour changes over time, 612 00:38:25,520 --> 00:38:28,720 all of them rely on this idea of infinity. 613 00:38:33,640 --> 00:38:37,640 Relying on an idea we don't really understand isn't something 614 00:38:37,640 --> 00:38:40,600 that sits comfortably with mathematicians. 615 00:38:45,360 --> 00:38:49,920 In 1924, the renowned German mathematician David Hilbert created 616 00:38:49,920 --> 00:38:54,400 a famous thought experiment to try and help explain infinity. 617 00:38:58,800 --> 00:39:01,840 He did it by imagining a large hotel. 618 00:39:05,400 --> 00:39:08,280 But this was no ordinary hotel. 619 00:39:08,280 --> 00:39:11,000 It had an infinite number of rooms. 620 00:39:14,720 --> 00:39:16,280 Hi. Hiya. 621 00:39:16,280 --> 00:39:17,960 Can I have a room for tonight, please? 622 00:39:17,960 --> 00:39:19,920 Sorry, madam, we're fully booked tonight. 623 00:39:19,920 --> 00:39:21,600 Oh, you haven't got any rooms at all? 624 00:39:21,600 --> 00:39:23,760 Unfortunately not, sorry. Oh. 625 00:39:29,360 --> 00:39:33,920 Hilbert wondered what would happen if all the rooms were full 626 00:39:33,920 --> 00:39:36,640 and a guest like me turned up. 627 00:39:36,640 --> 00:39:40,560 Would there be room for one more in the infinite hotel? 628 00:39:43,040 --> 00:39:46,720 So, today I've turned up and the place is fully booked. 629 00:39:46,720 --> 00:39:49,120 They're saying they haven't got any rooms at all, 630 00:39:49,120 --> 00:39:50,560 whatsoever. 631 00:39:50,560 --> 00:39:52,680 I've tried asking them if they know who I am, 632 00:39:52,680 --> 00:39:56,240 but, apparently, they're not familiar with my back catalogue 633 00:39:56,240 --> 00:39:58,600 of extremely niche online maths videos, 634 00:39:58,600 --> 00:40:00,160 if you can believe it. 635 00:40:01,240 --> 00:40:04,360 Even in a hotel with an infinite number of rooms, 636 00:40:04,360 --> 00:40:06,000 there's a problem. 637 00:40:06,000 --> 00:40:08,720 The manager can't just put me in the last room 638 00:40:08,720 --> 00:40:13,280 because, in an infinite hotel, there is no last room. 639 00:40:13,280 --> 00:40:17,560 So, if the hotel is full, how do I find a bed for the night? 640 00:40:19,080 --> 00:40:23,960 All we have to do is politely ask the person staying in room one 641 00:40:23,960 --> 00:40:27,000 to move along into room two. 642 00:40:27,000 --> 00:40:30,040 The person in room two to move to room three. 643 00:40:30,040 --> 00:40:31,480 Three to four. 644 00:40:31,480 --> 00:40:33,120 Four to five. 645 00:40:33,120 --> 00:40:37,120 And so on. 646 00:40:38,440 --> 00:40:43,040 As there's no last room, if you move everyone along by one 647 00:40:43,040 --> 00:40:46,680 room number, every guest has somewhere to sleep. 648 00:40:47,720 --> 00:40:51,200 And that leaves room one for me. 649 00:40:52,880 --> 00:40:56,880 Even if the hotel is full, a room can always be found. 650 00:40:58,800 --> 00:41:03,400 That's because infinity plus one, is still infinity. 651 00:41:03,400 --> 00:41:05,720 So there's always room at the infinity hotel 652 00:41:05,720 --> 00:41:09,440 because you can always add on an extra room at the beginning 653 00:41:09,440 --> 00:41:12,600 to make infinity just that little bit bigger. 654 00:41:12,600 --> 00:41:14,600 And, if my friend wants to come and stay, too, 655 00:41:14,600 --> 00:41:18,600 well, infinity plus two is still infinity, 656 00:41:18,600 --> 00:41:21,680 which is perfect for a girls' weekend away. 657 00:41:25,720 --> 00:41:27,320 I told you it was weird. 658 00:41:29,640 --> 00:41:31,400 That's the thing about infinity. 659 00:41:31,400 --> 00:41:33,400 It's a very slippery beast. 660 00:41:38,840 --> 00:41:43,600 There was one mathematician who set out to tame the infinite beast. 661 00:41:45,200 --> 00:41:47,080 His name was Georg Cantor 662 00:41:47,080 --> 00:41:52,080 and the question he wanted to answer sounded deceptively simple - 663 00:41:52,520 --> 00:41:54,880 how big is infinity? 664 00:41:56,240 --> 00:42:01,280 With that one, simple question, Cantor would start a revolution, 665 00:42:01,640 --> 00:42:04,920 one that would have a profound effect on the foundations 666 00:42:04,920 --> 00:42:06,320 of mathematics. 667 00:42:11,000 --> 00:42:13,040 I've come to Halle in Germany. 668 00:42:13,040 --> 00:42:16,680 It was here that Cantor taught in the city university. 669 00:42:20,520 --> 00:42:23,800 For him, infinity was the key that opened the door 670 00:42:23,800 --> 00:42:26,320 to a new mathematical landscape. 671 00:42:30,040 --> 00:42:33,080 I don't know about you, but I find it quite hard to picture 672 00:42:33,080 --> 00:42:37,240 in my head the size of something like our solar system, 673 00:42:37,240 --> 00:42:40,120 or our galaxy, the Milky Way. 674 00:42:40,120 --> 00:42:45,120 These distances are so big that they defy our imagination. 675 00:42:45,360 --> 00:42:49,640 But each of these things scales into insignificance. 676 00:42:49,640 --> 00:42:52,840 They are infinitesimally small when compared 677 00:42:52,840 --> 00:42:55,800 to the vastness of infinity. 678 00:42:57,240 --> 00:43:01,200 While the idea of infinity was known to the ancient Greeks, 679 00:43:01,200 --> 00:43:04,880 some of Cantor's contemporaries saw it as an offshoot of maths 680 00:43:04,880 --> 00:43:09,040 rather than anything worth understanding in its own right. 681 00:43:10,520 --> 00:43:12,720 This wasn't good enough for Cantor. 682 00:43:12,720 --> 00:43:16,000 If our knowledge of the world is built on infinity, 683 00:43:16,000 --> 00:43:19,040 he said, we can't just accept it, 684 00:43:19,040 --> 00:43:20,960 we have to understand it. 685 00:43:23,400 --> 00:43:27,160 To get a handle on infinity, take a look 686 00:43:27,160 --> 00:43:30,120 at these two sets of numbers. 687 00:43:30,120 --> 00:43:33,160 Let's imagine that, along here, you've got all the natural numbers, 688 00:43:33,160 --> 00:43:36,280 the counting numbers. So, one, two, three, 689 00:43:36,280 --> 00:43:38,560 four, five, six, seven, 690 00:43:38,560 --> 00:43:40,200 eight and so on. 691 00:43:40,200 --> 00:43:43,480 Now, there's going to be an infinite number of these. 692 00:43:43,480 --> 00:43:46,920 Now, next to it, let's put the even numbers. 693 00:43:46,920 --> 00:43:51,960 So, two, four, six, eight, and so on. 694 00:43:52,600 --> 00:43:57,000 On the surface of it, it looks like this infinity 695 00:43:57,000 --> 00:44:00,360 will be bigger than that one. 696 00:44:00,360 --> 00:44:03,160 As both of these lines will go on forever, 697 00:44:03,160 --> 00:44:06,200 it seems obvious that the infinity of one, 698 00:44:06,200 --> 00:44:10,040 two, three, four will be bigger than the infinity of the even 699 00:44:10,040 --> 00:44:13,400 numbers, two, four, six, eight. 700 00:44:13,400 --> 00:44:17,240 After all, there's only half as many of those. 701 00:44:17,240 --> 00:44:19,720 But, actually, if you shuffle all of these along, 702 00:44:19,720 --> 00:44:21,680 they actually match up rather nicely. 703 00:44:21,680 --> 00:44:24,880 So, one goes with two, two goes with four, 704 00:44:24,880 --> 00:44:28,880 three goes with six and so on and so on. 705 00:44:28,880 --> 00:44:33,200 Neither of these lists are ever going to run out. 706 00:44:33,200 --> 00:44:38,160 As each list of numbers never stops, every counting number can always 707 00:44:39,000 --> 00:44:41,640 find an even number to pair up with. 708 00:44:43,320 --> 00:44:48,360 As a result, both infinite lists of numbers have to be the same size. 709 00:44:50,200 --> 00:44:54,000 We know this is true because we can count them. 710 00:44:54,000 --> 00:44:56,320 I know that seems like a bit of a strange idea, 711 00:44:56,320 --> 00:44:58,440 but just go with me on this for a second. 712 00:44:58,440 --> 00:45:01,600 Because you can start at the beginning and work your way up, 713 00:45:01,600 --> 00:45:03,680 counting as you go. 714 00:45:03,680 --> 00:45:07,000 First number, second number, the third number, 715 00:45:07,000 --> 00:45:08,360 and so on and so on. 716 00:45:08,360 --> 00:45:11,960 Now, it's true, you would have to carry on counting forever, 717 00:45:11,960 --> 00:45:15,120 but you could be sure that you wouldn't miss 718 00:45:15,120 --> 00:45:17,440 any of the numbers as you went. 719 00:45:17,440 --> 00:45:20,640 Even though the infinity of the counting numbers looks bigger 720 00:45:20,640 --> 00:45:23,160 than the infinity of the even numbers, 721 00:45:23,160 --> 00:45:25,400 they're actually the same size. 722 00:45:27,160 --> 00:45:30,000 Next, Cantor tried something different. 723 00:45:30,000 --> 00:45:34,760 He set out to count all the numbers between 0 and 1. 724 00:45:35,840 --> 00:45:38,160 Where is the most sensible place to begin? 725 00:45:38,160 --> 00:45:39,320 Is it 0.1? 726 00:45:39,320 --> 00:45:40,680 Well, no. 727 00:45:40,680 --> 00:45:44,000 Because 0.01 is smaller. 728 00:45:44,000 --> 00:45:46,240 It can't be 0.01 either, 729 00:45:46,240 --> 00:45:48,400 because 0.001 is smaller still. 730 00:45:48,400 --> 00:45:51,800 And 0.0001 is smaller still. 731 00:45:51,800 --> 00:45:54,440 Wherever you try and start, 732 00:45:54,440 --> 00:45:59,320 I can always find another number to squish in. 733 00:45:59,320 --> 00:46:04,280 And that means there is no sensible place to start. 734 00:46:04,280 --> 00:46:06,080 However hard you try, 735 00:46:06,080 --> 00:46:11,120 you can't count up the number of numbers between 0 and 1. 736 00:46:11,560 --> 00:46:15,200 This infinity is uncountable. 737 00:46:16,600 --> 00:46:19,240 Cantor's disturbing conclusion 738 00:46:19,240 --> 00:46:23,400 was that some infinities are bigger than others. 739 00:46:23,400 --> 00:46:26,200 The sheer audacity of his work 740 00:46:26,200 --> 00:46:31,000 set off a quiet revolution in the world of mathematics. 741 00:46:31,000 --> 00:46:33,880 If Cantor thought that his work was going to be welcomed 742 00:46:33,880 --> 00:46:37,400 with open arms, then he was to be sorely disappointed. 743 00:46:37,400 --> 00:46:41,560 He was attacked on all sides by his academic colleagues. 744 00:46:41,560 --> 00:46:44,000 They called him a scientific charlatan 745 00:46:44,000 --> 00:46:46,280 and a corrupter of the youth. 746 00:46:46,280 --> 00:46:50,040 And some even tried to sabotage the publication of his works. 747 00:46:52,160 --> 00:46:55,400 Could it be that Cantor's ideas on infinity 748 00:46:55,400 --> 00:46:59,040 were merely a product of his own imagination? 749 00:46:59,040 --> 00:47:00,680 Something he invented? 750 00:47:03,560 --> 00:47:07,760 His work on infinity consumed every waking minute. 751 00:47:08,880 --> 00:47:12,920 In May of 1884, he suffered a nervous breakdown. 752 00:47:14,520 --> 00:47:18,440 Eventually, he was brought here to the Nervenklinik in Halle, 753 00:47:18,440 --> 00:47:20,120 a psychiatric hospital. 754 00:47:21,920 --> 00:47:26,960 How did Cantor's desire to tame the infinite impact on his illness? 755 00:47:28,280 --> 00:47:32,000 I am meeting the hospital's director, Dr Frank Pillmann. 756 00:47:32,000 --> 00:47:36,480 This, for example, is a case note from 1907. 757 00:47:36,480 --> 00:47:41,520 "Mania, an acute episode of circular psychosis." 758 00:47:43,600 --> 00:47:48,520 This is what we would today call bipolar disorder. 759 00:47:48,520 --> 00:47:52,080 There are some people who have suggested that sort of, 760 00:47:52,080 --> 00:47:56,240 you know, that the struggle that he was having with his mental health 761 00:47:56,240 --> 00:47:58,520 was exacerbated by his fight 762 00:47:58,520 --> 00:48:02,760 to try and find these answers around infinity. What's your opinion? 763 00:48:02,760 --> 00:48:06,080 I would feel that the intellectual occupation 764 00:48:06,080 --> 00:48:09,480 with mathematical theories is nothing 765 00:48:09,480 --> 00:48:13,840 that makes you prone to get a psychiatric illness. 766 00:48:13,840 --> 00:48:18,240 As far as we know about his personality, 767 00:48:18,240 --> 00:48:20,680 he has always been described 768 00:48:20,680 --> 00:48:23,360 as a very ambitious person, 769 00:48:23,360 --> 00:48:25,600 certainly creative. 770 00:48:25,600 --> 00:48:29,840 Of course, he tried to solve some unsolvable problems. 771 00:48:29,840 --> 00:48:33,480 But I think that's the life of every mathematician! 772 00:48:34,920 --> 00:48:37,000 That's probably true! 773 00:48:37,000 --> 00:48:38,640 Probably true. 774 00:48:38,640 --> 00:48:40,520 The struggle! 775 00:48:40,520 --> 00:48:43,560 The struggle with very difficult problems. 776 00:48:47,120 --> 00:48:50,360 This is a memorial to Cantor. 777 00:48:50,360 --> 00:48:52,400 He was feared by his critics 778 00:48:52,400 --> 00:48:55,480 because he dared to question their assumptions 779 00:48:55,480 --> 00:48:57,600 of conventional mathematics. 780 00:48:59,920 --> 00:49:02,240 His work on infinity was crucial 781 00:49:02,240 --> 00:49:05,440 for building more complex mathematical ideas 782 00:49:05,440 --> 00:49:07,040 than we rely on today. 783 00:49:09,640 --> 00:49:12,320 This is where mathematics starts to stray much more 784 00:49:12,320 --> 00:49:14,120 into the realms of the abstract. 785 00:49:14,120 --> 00:49:16,760 Infinities, bigger infinities, 786 00:49:16,760 --> 00:49:19,360 countable and uncountable infinities. 787 00:49:19,360 --> 00:49:23,520 These are not things that you tend to find in the physical world. 788 00:49:23,520 --> 00:49:28,360 So, is it all just a product of our intellect and imagination? 789 00:49:28,360 --> 00:49:31,880 Is this mathematics invented? 790 00:49:31,880 --> 00:49:34,480 Certainly, when you just take the basic concept of infinity, 791 00:49:34,480 --> 00:49:36,720 it's meant to be the biggest possible thing, right? 792 00:49:36,720 --> 00:49:39,760 And then someone tells you that there's lots of infinities. 793 00:49:39,760 --> 00:49:43,200 So, it's certainly a very puzzling concept, but it's an essential one. 794 00:49:43,200 --> 00:49:47,640 It's an essential feature of huge numbers of mathematical systems. 795 00:49:47,640 --> 00:49:52,680 Insofar that mathematics arises as an interaction 796 00:49:53,440 --> 00:49:56,920 between reality and conscious, rational minds 797 00:49:56,920 --> 00:50:00,040 and that's what creates mathematics, 798 00:50:00,040 --> 00:50:03,560 I would say infinity is real in that sense. 799 00:50:03,560 --> 00:50:07,920 If you ask me is it real in actual reality? 800 00:50:07,920 --> 00:50:10,640 I do not know the answer to that question, 801 00:50:10,640 --> 00:50:14,200 nor do I know how to find the answer to that question. 802 00:50:14,200 --> 00:50:17,240 Some people find that emotionally disturbing, 803 00:50:17,240 --> 00:50:20,680 this idea that reality is bigger than we thought. 804 00:50:20,680 --> 00:50:23,280 I actually find it kind of liberating. 805 00:50:23,280 --> 00:50:25,440 I think it would be rather claustrophobic 806 00:50:25,440 --> 00:50:27,680 if our reality was really small. 807 00:50:31,120 --> 00:50:35,800 Maths has taken us from a time when we could spot patterns in nature 808 00:50:35,800 --> 00:50:39,040 to being able to describe the invisible forces 809 00:50:39,040 --> 00:50:41,800 that form the structure of the cosmos. 810 00:50:42,840 --> 00:50:44,760 To probe this hidden world, 811 00:50:44,760 --> 00:50:49,000 we've invented mathematical tools and equations. 812 00:50:49,000 --> 00:50:52,480 Maths has quietly, almost invisibly, 813 00:50:52,480 --> 00:50:57,480 revolutionised the way we understand our place in the universe. 814 00:50:57,560 --> 00:51:02,600 Today, the argument about whether maths is invented or discovered 815 00:51:03,040 --> 00:51:06,400 is much more than a philosophical debate. 816 00:51:07,400 --> 00:51:10,120 This is where it gets real. 817 00:51:10,120 --> 00:51:13,800 This jumble of pipes and wires looks chaotic, 818 00:51:13,800 --> 00:51:16,840 but it's at the cutting edge of science. 819 00:51:16,840 --> 00:51:19,560 If the researchers here succeed in their goal, 820 00:51:19,560 --> 00:51:23,480 they'll have found the answer to the world's energy needs. 821 00:51:23,480 --> 00:51:28,520 A form of power that's clean, renewable and free. 822 00:51:28,640 --> 00:51:32,480 I've come here today to the Culham Centre For Fusion Energy 823 00:51:32,480 --> 00:51:36,320 where a group of people are trying to do something rather remarkable. 824 00:51:36,320 --> 00:51:39,320 They're taking a mathematical description of reality 825 00:51:39,320 --> 00:51:42,480 and trying to bend it to their will, 826 00:51:42,480 --> 00:51:45,080 harnessing the power of a star 827 00:51:45,080 --> 00:51:48,080 and using it to change humanity's future. 828 00:51:49,600 --> 00:51:53,600 Controlling the power of a star such as our sun is, 829 00:51:53,600 --> 00:51:57,880 as you might imagine, incredibly difficult. 830 00:51:57,880 --> 00:52:02,760 The Sun is one, giant, hot ball of gas called a plasma. 831 00:52:02,760 --> 00:52:07,480 Its heat is generated when atoms of hydrogen inside this plasma 832 00:52:07,480 --> 00:52:09,960 collide with each other very quickly, 833 00:52:09,960 --> 00:52:12,320 releasing vast amounts of energy. 834 00:52:13,400 --> 00:52:18,400 The challenge is to recreate that reaction down here on Earth 835 00:52:18,960 --> 00:52:22,000 and the first step is to form plasma. 836 00:52:23,440 --> 00:52:25,880 Within this shape, they're trying to recreate 837 00:52:25,880 --> 00:52:29,200 the conditions that you find in the inside of the Sun 838 00:52:29,200 --> 00:52:31,280 and hold that plasma in place 839 00:52:31,280 --> 00:52:36,320 while it reaches temperatures of up to 200 million Celsius. 840 00:52:39,520 --> 00:52:43,240 This doughnut-shaped space is called a tokamak. 841 00:52:45,000 --> 00:52:47,920 The most difficult part of this whole process 842 00:52:47,920 --> 00:52:50,560 is ensuring the plasma remains stable. 843 00:52:51,480 --> 00:52:53,920 If part of it touches the walls, 844 00:52:53,920 --> 00:52:57,760 the plasma cools and the reaction stops. 845 00:52:57,760 --> 00:53:00,600 Trying to prevent that from happening is the job 846 00:53:00,600 --> 00:53:02,240 of Dr Anthony Shaw. 847 00:53:03,680 --> 00:53:06,920 The difficulty is that, at 200 million degrees, 848 00:53:06,920 --> 00:53:09,400 you get quite a lot of extra effects coming in. 849 00:53:09,400 --> 00:53:12,600 It gets turbulent, like the churning sea. 850 00:53:12,600 --> 00:53:15,760 There are various currents and turbulences and tides 851 00:53:15,760 --> 00:53:18,920 and all these things that make the behaviour of it very tricky 852 00:53:18,920 --> 00:53:21,840 to understand and if you don't account for the right things 853 00:53:21,840 --> 00:53:25,200 at the right time, it'll do what it wants instead of what we want. 854 00:53:26,920 --> 00:53:30,560 Driving this behaviour are lots of subatomic reactions 855 00:53:30,560 --> 00:53:33,120 that no-one has ever seen. 856 00:53:33,120 --> 00:53:37,240 The only reason we believe they exist is down to maths. 857 00:53:39,240 --> 00:53:42,600 Anthony and his colleagues are using maths to try and predict 858 00:53:42,600 --> 00:53:47,080 how these invisible particles will behave inside the plasma. 859 00:53:49,720 --> 00:53:52,360 So, here we have a photograph 860 00:53:52,360 --> 00:53:55,240 that was taken inside the tokamak. 861 00:53:55,240 --> 00:53:58,920 You can see the hydrogen plasma here just glowing around the edges 862 00:53:58,920 --> 00:54:02,400 and they've overlaid a photograph of the structure 863 00:54:02,400 --> 00:54:05,160 just so you can see roughly where it's hitting. 864 00:54:05,160 --> 00:54:09,640 For comparison, there is also a simulation of this, 865 00:54:09,640 --> 00:54:11,960 a mathematical simulation. 866 00:54:11,960 --> 00:54:15,280 And, on this one, you can see very clearly these little lines, 867 00:54:15,280 --> 00:54:16,840 they're called filaments. 868 00:54:16,840 --> 00:54:19,680 This is where wisps of plasma go out and touch the side. 869 00:54:19,680 --> 00:54:22,440 Now, this one is purely mathematical, 870 00:54:22,440 --> 00:54:27,000 but what the physicists do is make comparisons between the two 871 00:54:27,000 --> 00:54:30,440 to see how well their mathematical version 872 00:54:30,440 --> 00:54:33,400 matches up to what really happened. 873 00:54:33,400 --> 00:54:36,320 And, if you put these two side by side, 874 00:54:36,320 --> 00:54:40,240 you can see how well the mathematical version matches up 875 00:54:40,240 --> 00:54:42,400 with what's really happened. 876 00:54:44,640 --> 00:54:49,480 By comparing the simulation of how the plasma is predicted to behave 877 00:54:49,480 --> 00:54:52,600 to what actually happened, it becomes clear 878 00:54:52,600 --> 00:54:55,440 that the mathematical model accurately predicted 879 00:54:55,440 --> 00:54:57,880 where the plasma would break down. 880 00:55:05,080 --> 00:55:08,000 Now, the reason why this is important is because 881 00:55:08,000 --> 00:55:12,000 there is no limit, really, to the number of mathematical simulations 882 00:55:12,000 --> 00:55:16,200 you can run, but once you get them matching up to reality, 883 00:55:16,200 --> 00:55:20,440 once you know that your mathematical version is an accurate reflection 884 00:55:20,440 --> 00:55:22,720 of what's happening inside, 885 00:55:22,720 --> 00:55:27,600 that is the first step to being able to control your plasma. 886 00:55:27,600 --> 00:55:30,840 Nuclear fusion holds out the promise 887 00:55:30,840 --> 00:55:35,600 of almost unlimited supplies of clean energy. 888 00:55:35,600 --> 00:55:38,520 If they can ever solve this problem, 889 00:55:38,520 --> 00:55:41,400 the answer will lie in mathematics 890 00:55:41,400 --> 00:55:44,240 and its ability to describe an invisible world 891 00:55:44,240 --> 00:55:46,920 of subatomic particles and forces. 892 00:55:48,560 --> 00:55:51,920 The only way you know what's happening inside that plasma 893 00:55:51,920 --> 00:55:54,040 is by using mathematics. 894 00:55:54,040 --> 00:55:58,280 It's the maths that tells you how all of this works. 895 00:55:58,280 --> 00:56:01,840 In trying to replicate what's happening inside a star, 896 00:56:01,840 --> 00:56:06,640 we're pushing the boundaries of what science and maths is capable of. 897 00:56:06,640 --> 00:56:09,560 But we've been doing research in this area for decades, 898 00:56:09,560 --> 00:56:12,600 we've had the equations for even longer, and, yet, 899 00:56:12,600 --> 00:56:17,040 we're still not quite getting perfectly and neatly to the answer. 900 00:56:18,480 --> 00:56:21,160 If there are these gaps around the edges, 901 00:56:21,160 --> 00:56:24,560 if there are limits to how far the maths can take us, 902 00:56:24,560 --> 00:56:27,200 then how can it be discovered? 903 00:56:27,200 --> 00:56:30,600 Maybe it is just an invention after all. 904 00:56:30,600 --> 00:56:33,280 So, where have we got to with our investigation 905 00:56:33,280 --> 00:56:35,920 of mathematics so far? 906 00:56:35,920 --> 00:56:40,440 Well, Newton came along with his fundamental laws of gravity 907 00:56:40,440 --> 00:56:44,120 that led to these incredibly powerful equations 908 00:56:44,120 --> 00:56:48,720 that can precisely predict the movement of planets in the universe. 909 00:56:48,720 --> 00:56:51,920 But they're not quite perfect. 910 00:56:51,920 --> 00:56:55,840 But then you have Cantor and his amazing ideas 911 00:56:55,840 --> 00:56:58,760 about different sizes of infinities 912 00:56:58,760 --> 00:57:02,880 and maybe maths starts to go down a slightly different path 913 00:57:02,880 --> 00:57:05,960 and, the more you go down that road, 914 00:57:05,960 --> 00:57:10,280 the more it starts to feel like mathematics is invented. 915 00:57:14,160 --> 00:57:17,200 Next time, things get even weirder 916 00:57:17,200 --> 00:57:21,040 as the logic of maths starts to break down... 917 00:57:21,040 --> 00:57:23,840 There's a bit of a paradox here. 918 00:57:23,840 --> 00:57:25,440 Who shaves the barber? 919 00:57:25,440 --> 00:57:28,760 And we take another giant leap forward... 920 00:57:28,760 --> 00:57:30,720 Hey! 921 00:57:30,720 --> 00:57:32,320 Amazing! 922 00:57:32,320 --> 00:57:36,680 ..as mathematics redefines the nature of space and time. 923 00:57:38,000 --> 00:57:41,280 Einstein completely upended our understanding of space, time, 924 00:57:41,280 --> 00:57:45,200 matter, energy and kind of what else is there to the nature of reality. 925 00:57:45,200 --> 00:57:46,800 I mean, how did he think of that? 926 00:57:46,800 --> 00:57:51,840 Our world is becoming stranger than we realise. 927 00:57:51,840 --> 00:57:56,120 And there may even be multiple versions of it. 928 00:57:56,120 --> 00:57:59,880 Mathematically speaking, in an infinite universe, 929 00:57:59,880 --> 00:58:04,640 everything that's possible has to happen somewhere. 930 00:58:04,640 --> 00:58:06,480 If we trust the maths, 931 00:58:06,480 --> 00:58:11,520 then where it's taking us is somewhere truly bizarre. 932 00:58:14,880 --> 00:58:18,880 Explore more about the magic and mystery of mathematics 933 00:58:18,880 --> 00:58:21,760 and how it impacts our everyday life. 934 00:58:21,760 --> 00:58:24,400 Just go to bbc.co.uk/maths 935 00:58:24,400 --> 00:58:28,120 and follow the links to the Open University. 78824

Can't find what you're looking for?
Get subtitles in any language from opensubtitles.com, and translate them here.