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.