1
00:00:11,350 --> 00:00:19,500
Mathematics has proved to be one of the most powerful languages in order to understand the physical world around us.

2
00:00:19,810 --> 00:00:23,830
It's helping us to tell where we come from, what's happened in the past.

3
00:00:23,840 --> 00:00:27,160
We're back to the Big Bang. We started everything.

4
00:00:27,580 --> 00:00:33,050
Even more impressively, mathematics seems to be able to tell us what might happen next.

5
00:00:33,070 --> 00:00:36,850
It seems to be the best fortune teller we have.

6
00:00:37,540 --> 00:00:44,410
And Galileo once famously summed up this kind of power of mathematics to navigate the world around us.

7
00:00:44,710 --> 00:00:50,920
He wrote, The universe cannot be made until we learn the language and become familiar with the characters in which it is written.

8
00:00:51,130 --> 00:00:56,500
It is written in mathematical language. The letters are triangles, circles and other geometric figures.

9
00:00:56,980 --> 00:01:00,580
Which means it is humanly possible to comprehend a single word.

10
00:01:01,420 --> 00:01:06,010
There are so many examples in the history of science where having a mathematical

11
00:01:06,010 --> 00:01:12,010
perspective has allowed us to make new breakthroughs in one considers astronomy,

12
00:01:12,010 --> 00:01:19,150
for example. It was in 1846 that we first observed the planets Neptune.

13
00:01:19,240 --> 00:01:26,800
But how do we know when to look at it? That it wasn't a telescope which first found that universe mathematics,

14
00:01:27,760 --> 00:01:35,659
its existence was predicted by reality because the way that the planets were moving when there had to be some other.

15
00:01:35,660 --> 00:01:42,850
Was there some way of causing the planets to have the notion that by solving equations

16
00:01:42,850 --> 00:01:46,790
we were able to know where to look in order to find the planets in that year.

17
00:01:46,810 --> 00:01:55,830
And the French astronomer who said just like that, I discovered this planet was the point of his pan.

18
00:01:56,170 --> 00:02:03,729
So it was mathematics which enabled us to predict the existence of Neptune and finally see it in the chemistry and the chemical world as well,

19
00:02:03,730 --> 00:02:10,720
and made the land use a mathematical strategy in order to work out some sort of logic to the periodic table.

20
00:02:10,940 --> 00:02:17,350
That logic then led us to certain gaps that were there, and he was able to use the mathematics of cotton searching,

21
00:02:17,570 --> 00:02:22,020
something that should be something which fills that space in particular.

22
00:02:22,210 --> 00:02:29,980
He predicted 2031, there should be an element and he was able to use these patterns to predict what is nature reading.

23
00:02:29,980 --> 00:02:32,379
And sure enough, it took only a few more years,

24
00:02:32,380 --> 00:02:41,290
1875 when we're trying to find the isolated atoms of the elements which eventually cooled down and I think

25
00:02:41,290 --> 00:02:48,420
even the mon they will the LHC the reason that we're able to understand what's happening in the actually

26
00:02:48,430 --> 00:02:53,499
being able to make predictions about things that we haven't been able to observe the next models will be that

27
00:02:53,500 --> 00:03:01,090
because of mathematics with this language enabled us to to navigate and understand the world around us.

28
00:03:02,110 --> 00:03:10,810
But actually in this lecture, I want to sort of go against that and to explore the regions of the physical world that are beyond the average.

29
00:03:11,110 --> 00:03:16,089
And the interesting thing I want to explain to you is actually mathematics can sometimes be very powerful,

30
00:03:16,090 --> 00:03:22,120
not only in telling us new things, but also helping us to realise the limitations of human knowledge.

31
00:03:22,750 --> 00:03:33,160
And so I've chosen three different areas the irrational, the chaotic and the incomplete, which somehow shows things which we may never know.

32
00:03:34,360 --> 00:03:43,150
So I'm going to solve the irrational, because it's my belief that mathematics is such a powerful language to describe

33
00:03:43,160 --> 00:03:47,800
the world around us really grew out of the discoveries of the ancient Greeks.

34
00:03:48,220 --> 00:03:51,820
Now you raise, in particular, Pythagoras, what matters.

35
00:03:52,540 --> 00:03:57,280
Pythagoras discovered things which made me believe that the whole universe is run by mathematics.

36
00:03:57,460 --> 00:04:01,990
One in particular is this discovery of the mathematics of musical harmony.

37
00:04:03,320 --> 00:04:10,030
She's probably I missed this story, but the story goes that she was walking past a blacksmith one day.

38
00:04:11,310 --> 00:04:13,960
Actually, this is a statue of Pythagoras.

39
00:04:14,120 --> 00:04:24,819
Next to it was was based on the idea that since many years and there's even a town called Pythagoras in cells named after him,

40
00:04:24,820 --> 00:04:30,820
and this is to the very famous right hand triangle that I have versus the elements.

41
00:04:31,360 --> 00:04:33,480
There is an important point, I believe.

42
00:04:33,930 --> 00:04:39,940
I think when I retire alone for a time, what a great place to live in was named after such a wonderful mathematician.

43
00:04:40,540 --> 00:04:49,059
And that is the story of Pythagoras. One day I was walking past a blacksmith and he heard the and it was the mines.

44
00:04:49,060 --> 00:04:55,140
And some of the names that will produce one angle sounded incredibly melodious together, and he was intrigued.

45
00:04:55,150 --> 00:05:00,400
What was it about the physical properties of the at the angles of the hammers which was producing this harmony?

46
00:05:01,180 --> 00:05:06,969
And also the fact is the slope that is around it, it seemed like the same coin hands.

47
00:05:06,970 --> 00:05:14,350
It was a hands that were vibrating. We saw it was small. What was the relation between his hands to produce a beautiful harmonic relationship?

48
00:05:15,340 --> 00:05:22,150
And he went home. He decided to experiment with a stringed instrument to try to reproduce these notes and then see what the lengths the strings were,

49
00:05:22,330 --> 00:05:25,210
whether there was any secrets to what produced harmony.

50
00:05:25,540 --> 00:05:32,710
And what he realised was, was hold on to ratios between the string things which produced notes that we responded to as harmonic.

51
00:05:33,460 --> 00:05:39,880
So for example, this combination of this is the perfect fix.

52
00:05:40,090 --> 00:05:50,110
This is a combination of things that we find most effectively pleasing, the perfect things you can produce by taking the strings, playing it out,

53
00:05:50,110 --> 00:05:54,670
and then playing the string, which is two thirds the length of that string you will get to,

54
00:05:55,060 --> 00:06:00,880
which have this perfect solution is a 2 to 3 relationship gives you a note.

55
00:06:01,630 --> 00:06:06,700
I want you to take the string and then push, put it all, puts your finger on halfway down.

56
00:06:06,700 --> 00:06:09,930
And you guys, I know it sounds like the note started with.

57
00:06:15,770 --> 00:06:21,440
I'm cool at the octave and give you the same name of music because I sound so and I see the

58
00:06:21,440 --> 00:06:28,070
whole of the musical scale is built up by taking these chaotic bits and building it out.

59
00:06:28,670 --> 00:06:34,610
On top of that, we very naturally find that when you do 12 fits, you come back to the octave,

60
00:06:34,820 --> 00:06:40,910
which is a mathematical reason why we break the scale up into 12 x examples of well,

61
00:06:40,920 --> 00:06:47,240
we write divisible is this kind of strange effects that when you do 12 these suddenly seem to come out.

62
00:06:47,330 --> 00:06:51,920
I know you started with, but it's my reason for the scale.

63
00:06:51,920 --> 00:06:59,030
We break up into John and his idea of musical harmony being connected with these sort of ratios related

64
00:06:59,030 --> 00:07:05,720
Pythagoras to the belief that the whole universe should be controlled by mathematics and his own operations.

65
00:07:06,050 --> 00:07:16,879
Well, he was starting to get a bit of a shock, and it was his theorem about writing triangles, which eventually led to the discovery of the universe.

66
00:07:16,880 --> 00:07:24,180
Isn't quite as simple as he thought it was. So you is a Pythagoras theorem writing triangles, the square.

67
00:07:24,200 --> 00:07:27,990
The hypotenuse is equal to the some of the squares on the two short two sides.

68
00:07:28,280 --> 00:07:36,260
So as you want to take a triangle which is taken out of square this I got a one by one square and cut out of the triangle with a diagonal across it.

69
00:07:36,860 --> 00:07:42,860
So one side was one squared is two. So the length of that triangles, you should be the square root of two.

70
00:07:43,460 --> 00:07:49,910
Now if I was going to need that, everything was holding on ratio. So he's a very natural length across the square.

71
00:07:50,360 --> 00:07:58,520
This should be represented by something for number ratios but five of those and already so on to explore this number the square root of two.

72
00:07:58,730 --> 00:08:06,680
This is a great tablet dating back almost 1800 BCE, maybe a little later.

73
00:08:07,190 --> 00:08:14,479
And you can see the little notches there all the way the Babylonians write say numbers which are basically

74
00:08:14,480 --> 00:08:21,830
unique using this cuneiform notation and able to estimate what the lengths across that swear is.

75
00:08:21,860 --> 00:08:29,299
So they estimated the square to be 3547 divided by 21,600, which is pretty close.

76
00:08:29,300 --> 00:08:34,940
It is square that fraction. You get quite close to two, but you don't get it exactly.

77
00:08:35,540 --> 00:08:42,640
So it's a little too thick. Maybe it's not quite precise enough, another fraction which you do in advance, or you can go right a little bit closer.

78
00:08:43,580 --> 00:08:50,800
But the discovery of the Siberians was actually however ball I would call you trying to approximate this.

79
00:08:50,810 --> 00:08:54,110
We'll never be able to get a fraction which way you square.

80
00:08:54,110 --> 00:09:03,260
It gives you the number two. It's a very useful proof and it ends up suppose you could have a fraction and you square that as equal to two.

81
00:09:03,830 --> 00:09:07,729
Eventually you get to a fraction, you can cancel things.

82
00:09:07,730 --> 00:09:09,320
And so one of the numbers is all in.

83
00:09:09,320 --> 00:09:17,809
One is even as you work through the logic, you end up with the conclusion that all must be equal to even by the end of this error.

84
00:09:17,810 --> 00:09:23,690
So the fact that if you find the right answer to this fraction, it would lead to a contradiction in mathematics.

85
00:09:23,960 --> 00:09:29,570
So this is a discovery. The library is only half. The world isn't actually as simple as we thought it was.

86
00:09:29,570 --> 00:09:38,210
It isn't made out of whole number. So what is the length of this volume for across the square?

87
00:09:38,390 --> 00:09:41,930
I mean, what is it we can't write down as a fraction?

88
00:09:41,930 --> 00:09:46,610
I got to write down an approximation right into the passage for the decimal.

89
00:09:47,120 --> 00:09:51,920
But then even then the decimal has no cotton zero, never quite capture it.

90
00:09:52,430 --> 00:09:55,999
So it was quite a shocking discovery, but it applied backwards.

91
00:09:56,000 --> 00:09:59,330
Here was a length, so naturally construction is just across its length.

92
00:09:59,930 --> 00:10:03,650
Yes, there seems to be no way to actually articulate what an X was.

93
00:10:04,310 --> 00:10:09,709
I mean, we buried, I write is the square root of two. We seem to be happy, but what is that?

94
00:10:09,710 --> 00:10:14,330
What is that number? Okay, so like for us, we can go back in a sample.

95
00:10:14,570 --> 00:10:17,910
I can see what the Pythagoras group saw.

96
00:10:18,080 --> 00:10:22,310
This was a limit to what we could do. We couldn't I could never write that number down.

97
00:10:22,970 --> 00:10:30,709
We discovered subsequently beautiful formulas which see which shows some sort of passive, but again, they're only infinite formulas.

98
00:10:30,710 --> 00:10:35,090
You have to have, I think the thing in the Balkans, we'll catch them.

99
00:10:35,810 --> 00:10:40,160
So it was quite a shocking revelation by what he was able to discern on this one.

100
00:10:40,160 --> 00:10:45,830
Was there a Pythagoras is there? So I'm sure that there are things that you can't actually capture as a novel.

101
00:10:46,430 --> 00:10:53,840
In fact, it was such a challenge to the point of Nigerians. The story goes the point that remains resolved that they keep a secret.

102
00:10:55,070 --> 00:11:00,320
He was to have a scientific revelation. And so they all get quite involved.

103
00:11:00,650 --> 00:11:03,620
There's this number, this length, which you can't catch.

104
00:11:03,620 --> 00:11:11,030
You know, eventually one of the Pythagoras blurted out, she discovered something we all right.

105
00:11:11,330 --> 00:11:15,220
And that. But apparently the story evidence is that this mathematician was saying that.

106
00:11:15,580 --> 00:11:25,840
Brown I think the public so they probably have a stake in such a famous role is very intriguing because, you know,

107
00:11:25,840 --> 00:11:33,040
actually at school, I think we have universities learning to, you know, no one feels like it's always okay.

108
00:11:33,040 --> 00:11:41,170
I might be able to write it down. But there is a measurement somewhere on that ruler where that square to actually kind of sits.

109
00:11:41,740 --> 00:11:44,890
But I was kind of, you know, like, but you know, what is that number?

110
00:11:45,100 --> 00:11:48,150
It's quite an abstract concept. It's not three squares.

111
00:11:48,790 --> 00:11:57,280
That's how it's different now. It's interesting because actually we went through the issue, I think, on hating on things which seems impossible to do.

112
00:11:57,550 --> 00:12:04,630
It's still we seem to accept these impossibilities and there's improvement possibilities into all subjects.

113
00:12:04,870 --> 00:12:12,700
And I think, you know, one of the most interesting ones is a kind of revelation about taking another the square root of minus one.

114
00:12:13,180 --> 00:12:19,330
Oh, well, you know, you could say the same things if there isn't a number which when you square it because you might as well.

115
00:12:19,360 --> 00:12:19,569
Yeah.

116
00:12:19,570 --> 00:12:29,610
The same way it wasn't a number which when you square it because you to I mean I can write it down but then we soon executive into the same degree

117
00:12:29,620 --> 00:12:38,690
same for the square is minus one squared minus one sided appearing when we trying to solve equations quadratic equations accusing equations it.

118
00:12:38,770 --> 00:12:42,190
Sometimes you just disappear and you get an answer which made some sort of sense.

119
00:12:42,760 --> 00:12:47,770
But it took some time, centuries before Barry was the first one to kind of propose.

120
00:12:47,770 --> 00:12:51,070
Well, maybe we should excuse this impossible number.

121
00:12:51,100 --> 00:12:57,360
I mean, it was called an imaginary news day cause everybody's been rather derogatory terms, you know, you can believe it.

122
00:12:57,430 --> 00:13:00,190
So there is a number which would be square is you minus one.

123
00:13:01,030 --> 00:13:08,320
But, you know, sometimes it's a power by my sister to take a leap into the unknown and introduce something which seems to be impossible.

124
00:13:08,530 --> 00:13:08,919
Now, of course,

125
00:13:08,920 --> 00:13:22,120
the introduction of squared minus one opened up such extraordinary baseline six points to any control centre and the control that we want.

126
00:13:22,120 --> 00:13:28,320
Using the mathematics of imaginary numbers and complex numbers, we will not be able to land on planes.

127
00:13:28,330 --> 00:13:36,129
Also, it creates such efficiently good mathematics that we can use radars basically based on imaginary numbers.

128
00:13:36,130 --> 00:13:45,220
You say we try to do the mathematics. Without it, the plane would crash was on its own and this has a kind of reality to it.

129
00:13:46,990 --> 00:13:53,500
But actually it was in a picture, a picture that mathematicians came up with added in the 18th, 19th century.

130
00:13:53,510 --> 00:13:58,510
You're able to see something we sort of field, we can see the square root of two on the root.

131
00:13:58,660 --> 00:14:03,309
That's why we feel there should be a number there. It was introduction and some people would call.

132
00:14:03,310 --> 00:14:07,390
But explain your diagram where all of our numbers are.

133
00:14:08,050 --> 00:14:13,660
The standard measurements on a ruler extend out to one side, negative numbers on the other side.

134
00:14:14,020 --> 00:14:19,180
Well, what about a new direction? This new direction opened up a two dimensional picture of numbers,

135
00:14:19,330 --> 00:14:25,030
and once one started to play with the geometry of maximising picture realised it reflected the out of the algebra.

136
00:14:25,050 --> 00:14:33,580
These numbers, that's really the moments that these numbers sort of got accepted into the mathematical books.

137
00:14:34,150 --> 00:14:39,100
And so this sort of thing like we can see something sort of helps us to believe so.

138
00:14:39,170 --> 00:14:44,200
But even it, it's, it's a kind of a strange picture but I guess, you know,

139
00:14:44,420 --> 00:14:50,710
this institute is based on is named after somebody who approved the theorem about impossibility.

140
00:14:51,550 --> 00:14:54,580
We had this equation that came up with Pythagoras.

141
00:14:54,580 --> 00:15:01,149
His theorem explains why where you possess ways we can find numbers which when you square them out of them together,

142
00:15:01,150 --> 00:15:04,180
are still squares three square at the scene where he was on his way.

143
00:15:04,480 --> 00:15:10,090
But Fermat realised this equation when you take you've said it doesn't seem to be able to be solved.

144
00:15:10,840 --> 00:15:17,290
And that's kind of one of the biggest challenges in math. Something mathematics is very good at is proving impossibility.

145
00:15:17,290 --> 00:15:25,359
So it's very easy to find solutions, but to shoot throughout the infinite expanse of numbers, you will never find three numbers.

146
00:15:25,360 --> 00:15:28,570
Say when you queue, two of them have them together. It's still a queue.

147
00:15:28,840 --> 00:15:30,460
That's why it's an amazing challenge.

148
00:15:30,640 --> 00:15:39,640
I think it's Fermat's Last Theorem is such an extraordinary theorem because although outward isn't particularly interesting,

149
00:15:39,640 --> 00:15:46,150
that was the was a great idea but he's not having solutions but at the power of mathematics you know to prove

150
00:15:46,450 --> 00:15:53,740
that you will never point solutions to something like this I think is one of mathematics great strengths.

151
00:15:54,310 --> 00:16:00,700
And now actually ancient Greeks were very interested in some challenges which they believe should be possible.

152
00:16:00,700 --> 00:16:06,279
But the challenge was, is it really possible or is it something implicit in the problem that makes it impossible?

153
00:16:06,280 --> 00:16:09,860
For example, could you solve this equation or is it something about this equation?

154
00:16:09,910 --> 00:16:13,629
Space impossible. They were trying to define geometric construction.

155
00:16:13,630 --> 00:16:20,100
So basically. Challenges of taking the equipment compass compass direction,

156
00:16:20,100 --> 00:16:26,130
but is making circles a straight edge and rule by the rule without any measurement of

157
00:16:26,160 --> 00:16:31,380
what shapes we make out of the combination of this drawing circles and straight lines.

158
00:16:31,740 --> 00:16:37,319
So, for example, they discovered that you can make positive reviews of this construction.

159
00:16:37,320 --> 00:16:44,040
You take the circle, you may browse all straight lines between these things without any measurements at all.

160
00:16:44,190 --> 00:16:52,409
I could divide equally circles into five equal units and create one of the shapes.

161
00:16:52,410 --> 00:16:57,000
You can do that with the triangles, square pegs, a good hexagon.

162
00:16:57,600 --> 00:17:07,110
But what about a seven figure? Can you make seven figure in the same way, using this as drawing circles, arcs of circles and straight edges?

163
00:17:08,010 --> 00:17:12,670
And so I'm kind of fascinated by this challenge of all shapes, all possible.

164
00:17:12,710 --> 00:17:20,030
What is it not? Which creates one of the classic challenges actually goes back to its with the end problem.

165
00:17:20,040 --> 00:17:22,319
It was the residents.

166
00:17:22,320 --> 00:17:32,790
It deals with somebody whose terrible play and I'm kind of intrigued to know what they should do in order to try and save themselves.

167
00:17:32,790 --> 00:17:36,990
And what's Oracle? And ask the Oracle, Hey, what should you do?

168
00:17:37,500 --> 00:17:42,310
The Oracle came back to the answer was, You must double the old.

169
00:17:43,470 --> 00:17:47,370
What does that mean? And then it was interpreted that the old. It was a perfect cube.

170
00:17:47,820 --> 00:17:55,560
And the challenge was, could you find a way to to double to create a cube is probably was double the cube that you had to solve.

171
00:17:56,500 --> 00:18:00,540
So intriguingly, what this is asking you to do here is opening the cube.

172
00:18:00,540 --> 00:18:09,120
So choose. So you go to take a cube roots of two. So the length of the new Q is the cube root, the two, all of you out of the first.

173
00:18:09,150 --> 00:18:16,950
Q Is there a way to construct the cube, the two the square root moves are easy to square and just take the the diagonal across the square.

174
00:18:17,250 --> 00:18:23,400
But is there a ways to construct the cube? Two, just using a straight edge and a compass.

175
00:18:24,060 --> 00:18:28,139
And so that's what they try and fails to find his way.

176
00:18:28,140 --> 00:18:33,690
And the thought was maybe the oracle was trying to distract them by deciding on doing math.

177
00:18:33,760 --> 00:18:38,040
You I realised you were ill as a civil war going on and things like this.

178
00:18:38,430 --> 00:18:42,780
But actually it turned out some of the mathematics have had a long, long time.

179
00:18:42,810 --> 00:18:49,139
So the mechanics of symmetry and the madness in the 19th century, finally they sort out that this problem,

180
00:18:49,140 --> 00:18:57,090
along with another principle, is another classical music, which is according to the lexicon, as something which is impossible.

181
00:18:57,580 --> 00:19:02,250
Swearing is you saying that's like swearing. So it kind of means it's impossible.

182
00:19:02,520 --> 00:19:07,230
Well, what does that expression mean? Again, it's a challenge that the Greeks have set themselves.

183
00:19:07,560 --> 00:19:13,890
If you have a circle, how can you create out of that a square which has the same area?

184
00:19:14,760 --> 00:19:19,890
So is there a simple construction like the one I do for the pencil, which produces a square?

185
00:19:20,970 --> 00:19:28,320
And essentially this is I talk to you pi and it's Kubuntu and pi are both

186
00:19:28,320 --> 00:19:33,800
examples of numbers which aren't the ones in the sense of the rational number.

187
00:19:33,830 --> 00:19:40,320
Solutions are equal sort of the equation which also employs not only rational or transcendental,

188
00:19:40,560 --> 00:19:44,850
but these sort of numbers, only numbers which are solutions that are very special equations.

189
00:19:44,970 --> 00:19:49,110
It turns out with things that you could construct using a straight edge and compass.

190
00:19:49,440 --> 00:19:54,030
But again, here's the power of mathematics. So you might say, Well, I'm trying to construct these things.

191
00:19:54,030 --> 00:19:59,670
And I tell you, some people do, because like I said, that say, like, how do I have a whole box?

192
00:20:00,020 --> 00:20:02,010
If you have any of them, I'll produce the box.

193
00:20:02,490 --> 00:20:13,740
But it's very interesting that still people try and prove that it's possible to swim, circle all the way to try to set in the angle or to the keys.

194
00:20:14,220 --> 00:20:20,170
But my madness has the power to show when things are impossible, which is good.

195
00:20:20,370 --> 00:20:27,269
You don't waste your time doing things. But for me, I think, you know, KG, I swear to, you know,

196
00:20:27,270 --> 00:20:33,800
I think despite the square root two is an irrational number called races and I think the decimal repeats itself.

197
00:20:34,200 --> 00:20:38,249
It is a fraction actually. There's very little physics times.

198
00:20:38,250 --> 00:20:45,959
It actually isn't square to even possible to represent physically because the discovery is in quantum physics

199
00:20:45,960 --> 00:20:53,430
shows and in fact maybe on here it is actually not a continuous thing but is very much quantised even space,

200
00:20:53,430 --> 00:20:55,800
it's believed, comes in quantised bits.

201
00:20:55,920 --> 00:21:04,229
We have that same kind of energy that was on sort of continuous spectrum, but just temporary discrete energies that can see.

202
00:21:04,230 --> 00:21:09,450
So the same may be true of space and even time that it comes in chunks,

203
00:21:09,600 --> 00:21:14,010
it becomes a chance that actually can you actually construct the square root of two?

204
00:21:14,280 --> 00:21:17,710
You have a slight. Which is why we didn't want you on either side then.

205
00:21:17,900 --> 00:21:20,930
But let's suppose there is truly an irrational number.

206
00:21:21,870 --> 00:21:28,220
Actually, things at one point, because I saw Pythagoras leave everything in his whole number ratios,

207
00:21:28,310 --> 00:21:33,530
multiples of that basic one Planck length, which is the kind of indivisible unit of space.

208
00:21:34,430 --> 00:21:40,550
So you could raise it to maybe all of these things are in many, if you can see them really still two things at once.

209
00:21:41,780 --> 00:21:48,770
So the number is is full of primitive possibilities and numbers that possibly exist in the mind.

210
00:21:49,040 --> 00:21:55,120
But what's interesting is in the 20th century, you also see that the interaction of mathematics and planets has been very powerful ever since.

211
00:21:55,160 --> 00:22:03,080
NEWTON In being able to work out what the system is going, you know, how the system is set out, you know the equations that control it.

212
00:22:03,440 --> 00:22:07,310
You shouldn't be able to run equations and work out what's going to happen in the future.

213
00:22:07,790 --> 00:22:12,709
But then I find that in the 20th century made us realise actually when we made the mathematics,

214
00:22:12,710 --> 00:22:20,240
actually modelling in the physical universe may not be as easy as we think and maybe nothing to do with quantum physics.

215
00:22:20,420 --> 00:22:23,480
As the chaos theory already kind of says,

216
00:22:23,550 --> 00:22:32,030
there are limitations actually to how powerful we can how much we can know about the universe in future using world.

217
00:22:32,460 --> 00:22:38,960
So actually that all the Newton was a great belief amongst scientists and mathematicians but yeah the equations

218
00:22:38,960 --> 00:22:45,860
Newton basically says that's we know how to set up all these equations and I think it works that way.

219
00:22:46,250 --> 00:22:53,480
I want to read this way because it's a lovely quote like this segment of our class, which I sort of sums up as I believe at the time.

220
00:22:53,930 --> 00:23:00,020
Post Newton already knows how powerful mathematics have become when you think of the present

221
00:23:00,020 --> 00:23:06,499
state of the universe as the effects of its force and the course of its future arrangements,

222
00:23:06,500 --> 00:23:14,840
which at certain moments we know all forces that are set in motion and all positions of all items at which nature is composed.

223
00:23:14,960 --> 00:23:19,430
It seems like we're also also submitting these data to analysis.

224
00:23:19,790 --> 00:23:24,320
It would embrace in a single formula the movies of the greatest qualities of the universe.

225
00:23:24,560 --> 00:23:30,620
And there's that tiny atom. But it's such a danger that nothing would be answers in the future,

226
00:23:30,710 --> 00:23:40,730
just like the past will be present before science and the good old physics of quantum physics machines to say,

227
00:23:40,730 --> 00:23:44,480
actually, maybe things aren't as deterministic as we think.

228
00:23:44,570 --> 00:23:47,090
There's still a question, actually,

229
00:23:47,090 --> 00:23:56,810
whether quantum physics is just the current state of our the fact that we don't know where the electron will appear next.

230
00:23:57,020 --> 00:24:04,820
But if we take it, all points will say, look, this seems to be the same as if you know how things are set in motion.

231
00:24:05,120 --> 00:24:11,540
They're not completely right. It's just every will just works due to these equations.

232
00:24:12,320 --> 00:24:15,710
This is the thing is, even if that is true, it isn't much.

233
00:24:16,070 --> 00:24:21,200
This is the discovery made at the beginning of the 20th century that, you know,

234
00:24:21,230 --> 00:24:28,530
what is the age where the good notes could acquire a computer and that it's actually any small area?

235
00:24:28,530 --> 00:24:32,330
It doesn't you can't you have to know the things so precisely. Exactly.

236
00:24:33,350 --> 00:24:41,960
In order to be able to do this, because any small error controls the system in and the discovery of the adventure of chaos.

237
00:24:42,170 --> 00:24:46,910
The discovery which is on right on the right, was containing this box.

238
00:24:46,970 --> 00:24:51,290
It was a mistake made in a paper which led to the discovery he was trying to solve,

239
00:24:51,290 --> 00:24:59,590
a problem that had been set by the King of Sweden at the time, who love comparisons along the line, which is a challenge.

240
00:24:59,600 --> 00:25:05,900
And he said so the challenge was to try and prove that the universe is stable.

241
00:25:06,350 --> 00:25:11,360
All right. So the system is safe mixing with the US system.

242
00:25:11,630 --> 00:25:17,360
So the question was and so does the sun with planets around and these raises predictable manner.

243
00:25:17,990 --> 00:25:28,879
So people were able to solve that choose and were able to predict the eclipses and things will line up and it seems to be going around like clockwork,

244
00:25:28,880 --> 00:25:36,460
these ellipses going around each other. But is that really true? There are some points in the future of the solar system like it's flyable.

245
00:25:37,190 --> 00:25:43,910
Well, in the solar system just consist of two objects they're roughly Newtonian physics with already works out.

246
00:25:44,030 --> 00:25:53,110
Yeah that we'll be saying it those two objects were just two ellipses around each other to the end of time and I is totally say what do you want?

247
00:25:53,120 --> 00:25:57,680
I hope one way to solve it is if you just want extra objects inside there.

248
00:25:58,190 --> 00:26:02,059
The stability of this system is is much harder to predict.

249
00:26:02,060 --> 00:26:07,910
So you can set up a system where the three objects are doing something is repeating the pattern again.

250
00:26:07,910 --> 00:26:13,970
And yes, there are other systems where this is a very small change in the initial condition, something can look very stable.

251
00:26:14,660 --> 00:26:22,120
But what? The system is designed with slight error in its radio blaring, and the solar system has been fireable.

252
00:26:22,220 --> 00:26:25,570
It looks like the central needs are passed in the next holding classes.

253
00:26:25,990 --> 00:26:29,080
So what I'm doing is trying to prove this are also the system.

254
00:26:29,230 --> 00:26:37,270
And he made some approximations in his angle, which is old school, rounding up of things to make too much difference.

255
00:26:37,510 --> 00:26:43,150
And he submitted paper, won the prize, and then one of the referees put the papers in.

256
00:26:43,240 --> 00:26:48,520
Oh, well, can you justify why the rounding up really doesn't cause any difference in the outcome?

257
00:26:49,330 --> 00:26:53,920
And it was then that he realised actually, you know what, he really could.

258
00:26:53,920 --> 00:27:00,760
You and I disagree that even a very small change could lead to a dramatic change in the outcome.

259
00:27:01,390 --> 00:27:06,640
An interesting case of this situation is one side playing games, for example,

260
00:27:06,640 --> 00:27:11,590
and I believe it went off and it's traced down to part of the title violations

261
00:27:11,770 --> 00:27:16,599
and other variables and approximately the same direction and sure enough,

262
00:27:16,600 --> 00:27:20,680
the path. But it's pretty close with the same balls that I thought of at the beginning.

263
00:27:20,930 --> 00:27:27,280
That's all kind of feeding. Our intuition is if you make a small change, the effect on the outcome shouldn't be that surprising.

264
00:27:28,180 --> 00:27:32,770
But if you change the shape of the table that you're playing days, for example,

265
00:27:32,770 --> 00:27:39,610
if you have two straight edges than to say circles, in either end you can get a completely different path.

266
00:27:39,610 --> 00:27:44,830
So the ball goes round and I shoot the ball with a very small change in the initial conditions.

267
00:27:45,180 --> 00:27:47,410
The ball could do something completely different.

268
00:27:47,470 --> 00:27:53,680
And this the discovery of the bomb, primary school or something probably heard this expression possible.

269
00:27:53,870 --> 00:27:59,590
That's a very small change in initial conditions, but of course a completely different outcome.

270
00:27:59,920 --> 00:28:05,469
So the example of the equations for the weather are we know what these equations all,

271
00:28:05,470 --> 00:28:11,080
but they are very sensitive, these small changes as all the equations for the orbits of the planets.

272
00:28:11,260 --> 00:28:15,950
So a very small change in the orbits. The planets triangles are the rounded outcomes, right?

273
00:28:16,000 --> 00:28:25,990
So we run the models of the universe and as if you change very slightly the orbit of Mercury,

274
00:28:27,130 --> 00:28:37,690
it's turned out there's a 5% chance and we don't want a precise location of mercury, as we would only within some standard reason an era.

275
00:28:37,870 --> 00:28:46,060
But there are places where you can locate Mercury, where a very strange resonance happens with Jupiter, which pulls Mercury's orbit.

276
00:28:46,180 --> 00:28:48,460
So she saw three intersect the orbit of Venus.

277
00:28:48,670 --> 00:28:55,600
And there are examples where that's not only to say exactly what we actually it's Venus not seeing it now and then.

278
00:28:55,600 --> 00:29:02,680
It's the whole we start to see some results to try to do exactly what they say.

279
00:29:02,770 --> 00:29:07,690
Yeah, we already know that. Some very small changes in all current solar system.

280
00:29:08,350 --> 00:29:17,860
There seems to be some, you know, massive numbers and it shows that she's having some very strong resonance could happen between Mercury and Jupiter,

281
00:29:18,790 --> 00:29:26,769
but not long enough that we even have to worry about it. You could well in sunlight already, for example, but there are some of the points out,

282
00:29:26,770 --> 00:29:31,390
some theories that sometimes you can have a very simple set or equation,

283
00:29:32,200 --> 00:29:38,830
and still even that simplicity leads to a strange, extremely complex behaviour.

284
00:29:39,550 --> 00:29:45,910
So one of the classic examples is a pendulum, so pendulums and that's being incredibly regulated.

285
00:29:45,910 --> 00:29:53,140
So we used to the regularity pendulum in order to keep track of time, but I've got a slightly different pendulum here.

286
00:29:53,620 --> 00:29:57,760
So this is in the classic pattern that we just one ball here, but it's a bit like a length.

287
00:29:57,770 --> 00:30:05,379
So it's got a joints and it's called a double pendulum. And the behaviour of this double pendulum, we have a mathematical equation for it,

288
00:30:05,380 --> 00:30:17,760
but still it's extremely difficult to predict what this does when you when it goes and it can sometimes just swing very simply like that loses,

289
00:30:17,770 --> 00:30:26,020
energy goes. Or else it could sort of swing through.

290
00:30:27,790 --> 00:30:31,940
I mean, I'm just saying this is a.

291
00:30:34,600 --> 00:30:38,559
Boy down the side of the building.

292
00:30:38,560 --> 00:30:43,210
You're. Oh, that's nice.

293
00:30:44,410 --> 00:30:51,310
So there's an about the hangar of this thing. I mean, the interesting thing is, even if I try to start off in the same way,

294
00:30:52,310 --> 00:30:56,620
so it's very slow and it's around, but sometimes it's extremely slow and.

295
00:30:58,710 --> 00:31:06,860
So this thing, although the equations are very simple, it's incredibly difficult to predict and even to replicate the behaviour.

296
00:31:06,870 --> 00:31:12,000
So we need to see which way this pain pendulum is going to go through next.

297
00:31:14,560 --> 00:31:19,940
This is my favourite desktop toy. I spent ages playing this thing, so.

298
00:31:20,740 --> 00:31:27,750
But the interesting thing is it's obviously did. It's even a simple system, but trying to replace it is very difficult to do.

299
00:31:28,270 --> 00:31:35,140
Another muddy desktop toy and I have one that's here in the department system that some of you might have.

300
00:31:35,350 --> 00:31:41,079
It's a pendulum. And so three months and do you set the pendulum more attractive towards the magnets?

301
00:31:41,080 --> 00:31:44,950
And after a while stabilises and gets back, it's one of the ran.

302
00:31:47,050 --> 00:31:56,350
And so I run three computer models of this system where someone gets the pendulum all through one corner of the table.

303
00:31:56,500 --> 00:32:04,300
And I'm just trying to change a very small decimal place at a very, very small location where where I started engine.

304
00:32:04,750 --> 00:32:10,480
And it resulted in a completely different outcome. So the first experiment was this plane that is a very small.

305
00:32:11,090 --> 00:32:16,540
You can't see difference there. I end up with red light and another small change ends up in the it.

306
00:32:17,200 --> 00:32:25,359
So again, this is great sensitivity to the initial conditions and think now I know what the equations are and I never know.

307
00:32:25,360 --> 00:32:28,930
The physical universe is actually said. I'm going to apply those equations.

308
00:32:29,920 --> 00:32:34,700
So how much is. I think it's useful in actually being able to navigate the physical world.

309
00:32:34,790 --> 00:32:38,019
Actually such a small change. I just.

310
00:32:38,020 --> 00:32:44,440
I'm never going to know. And even quantum physics sense kicks in beyond said things.

311
00:32:44,440 --> 00:32:48,730
I don't get it. So basically that's my challenge exclusion that I'm never going to know.

312
00:32:49,270 --> 00:32:50,800
It's that degree of accuracy.

313
00:32:51,160 --> 00:33:00,520
Here's a computer model which tells you the physics, where the pendulum will end up, what colour the magnet will be, where it ends up.

314
00:33:00,760 --> 00:33:06,220
So if you saw the pendulum over a yellow region, it means that it will end up in the yellow,

315
00:33:06,910 --> 00:33:12,250
so that over a rays region the rate of course near the yellow that is involved as,

316
00:33:12,250 --> 00:33:17,670
let's put it all in a wobble and stay on the other side of the river.

317
00:33:17,960 --> 00:33:20,110
There are regions where I was starting the pendulum.

318
00:33:20,560 --> 00:33:29,470
It was often this region where I wasn't quite able because this is an example of a fractal fractals, of the geometry of chaos.

319
00:33:29,800 --> 00:33:34,690
If you look if you keep on zooming in, its retains its infinite complexity.

320
00:33:34,690 --> 00:33:40,090
So even a very small change in shifted from the yellow region to Iraq region.

321
00:33:40,690 --> 00:33:42,920
And so that's surprising to me.

322
00:33:42,940 --> 00:33:52,730
There are regions here which I never know essentially enough about Angelman Syndrome, which is, I think which got a great surprise implicit.

323
00:33:52,760 --> 00:34:01,120
And yet it doesn't help me to know. But it helps me to know that, again, we somehow strengthen our minds.

324
00:34:01,140 --> 00:34:04,090
There are regions here where I know what's going to happen.

325
00:34:04,390 --> 00:34:10,090
The regions here where the mathematics tells me this, okay, this is a region where you will know what will happen.

326
00:34:10,390 --> 00:34:15,550
And I think it's apparent mathematics to be able to tell us sometimes when we can't know something.

327
00:34:16,960 --> 00:34:24,130
And I think that surprised the weather. The weather is a chaotic system, is a non-linear equation.

328
00:34:24,130 --> 00:34:28,120
But there are regions of the world where sometimes we can make long term predictions.

329
00:34:28,930 --> 00:34:33,250
You know, I just spent some time in the desert in Jordan.

330
00:34:33,910 --> 00:34:37,629
Well, yeah, we can be pretty clear when you run those equations.

331
00:34:37,630 --> 00:34:43,360
It's like sitting in a den, you get a magnet. It's going to stay in the head regardless of how you change.

332
00:34:43,600 --> 00:34:46,630
Conditions will change. Wind speed is not going to alter things.

333
00:34:48,060 --> 00:34:51,980
And so you say there are we know there are reasons why they gather region,

334
00:34:51,980 --> 00:34:57,340
red region and consequently all but other regions like the weather in England as well.

335
00:34:57,340 --> 00:35:02,590
Got that bottom line. Could we change wind speed enough that if you change what I said,

336
00:35:02,590 --> 00:35:08,950
one of the locations I want to work with many of these stars is to take the data or as much as they can,

337
00:35:08,950 --> 00:35:13,840
but then they have to run models and they vary that data and see what the effect is.

338
00:35:14,080 --> 00:35:17,440
And I believe those in the mantle because I've seen them models and it's amazing

339
00:35:17,620 --> 00:35:23,110
they might 1000 models after five days they get pretty similar from there.

340
00:35:23,320 --> 00:35:30,820
But after ten days it just seems like a spaghetti mess of predictions and just small changes totally changed radically,

341
00:35:30,820 --> 00:35:37,020
which is so fascinating that the mathematics of chaos can help us and know how.

342
00:35:37,190 --> 00:35:40,570
How much can we know what is really beyond what we know?

343
00:35:41,110 --> 00:35:43,030
As in one of the examples that was discovered,

344
00:35:43,420 --> 00:35:51,390
there was a guy who ran some of these program programs of the weather and he he run the data that he wanted to rewrite.

345
00:35:51,400 --> 00:35:58,960
And he looked at all the the input was rewrite it and he came out with a completely different graph.

346
00:35:59,500 --> 00:36:02,470
Couldn't well, I thought I run the same equations, the same numbers.

347
00:36:02,680 --> 00:36:09,390
What I realise is a computer was doing some internal approximation so well that puts in points five,

348
00:36:09,550 --> 00:36:13,630
six, 27 it was outputting the data that would be put in.

349
00:36:14,160 --> 00:36:20,430
5 to 6 and you can see less on started over similarly but in complete divergence.

350
00:36:20,440 --> 00:36:21,050
What's happening.

351
00:36:21,060 --> 00:36:30,120
This is like three decimal places and the thing is it's always the chaos and the equation that passes, controls and makes them all fizzle.

352
00:36:30,120 --> 00:36:35,060
And after a while, one place where it's nice has an effect.

353
00:36:35,070 --> 00:36:38,910
It's an interesting population dynamics. Here's a question.

354
00:36:38,910 --> 00:36:49,710
What was the question to which you think there's an animal which is believed very some don't ever commit suicide every four years.

355
00:36:50,340 --> 00:36:57,930
So I'm going to take a vote in the audience. Which animal using has this kind of crazy?

356
00:36:58,150 --> 00:37:02,490
Okay, so who's going to vote for the musket?

357
00:37:02,490 --> 00:37:06,959
So you think muskrats. I'm sorry, a couple of muskrats.

358
00:37:06,960 --> 00:37:10,740
Three, four. Yeah. Okay. What about polls?

359
00:37:10,770 --> 00:37:16,110
I had on the news this morning, the poll of the disappearing races and losing is always the French calls.

360
00:37:16,460 --> 00:37:23,740
It's go one very few. Those who think it's little lemmings that are breaking towns and cities.

361
00:37:24,630 --> 00:37:28,980
Oh, look, it actually has a bunch of animals.

362
00:37:29,280 --> 00:37:39,359
Yeah, absolutely. Right. So there is a general belief that's a learning population that has been observed, collapses about every four years.

363
00:37:39,360 --> 00:37:46,830
And people kind of like explanation for why and what was happening to these leaders every four years.

364
00:37:47,220 --> 00:37:54,150
They just seem to lose this kid. And his theory it's the lemmings.

365
00:37:54,510 --> 00:38:00,629
So that was ever played out before years and this is intriguingly this kind of

366
00:38:00,630 --> 00:38:07,770
hypothesis seems to me and confirms when a nature film called the White Wilderness went

367
00:38:07,770 --> 00:38:14,040
out and managed to record footage of these extraordinary events where these lemmings

368
00:38:14,040 --> 00:38:18,750
were going to the edge of the cliff and then throwing themselves over the cliff.

369
00:38:19,080 --> 00:38:25,200
So it seems we finally confirmed that it was documented evidence of these animals.

370
00:38:25,800 --> 00:38:35,010
They had, in one way, images of Larry Summers and then falling over themselves, oversized lunch, drowned in the water.

371
00:38:35,820 --> 00:38:47,549
So this theory finally seems to be that now, for copyright reasons, I'm not allowed to show this on film because these are really litigious.

372
00:38:47,550 --> 00:38:54,420
So I'm not saying that they don't mind me saying this, but I did want to show you a bit of the movie where this happens.

373
00:38:54,440 --> 00:39:05,070
I said this is this is an accident, not the last chance to.

374
00:39:10,810 --> 00:39:22,810
But I believe that race. This one really does want to.

375
00:39:26,070 --> 00:39:29,580
Where you are. The roads.

376
00:39:45,930 --> 00:39:51,180
Few years ago, the cameramen who filmed that equals came clean.

377
00:39:52,110 --> 00:40:04,500
And a few years ago, the cameramen who filmed this documentary Clean those lemmings, they filmed everything from not wanting to go through the cracks.

378
00:40:04,980 --> 00:40:10,380
It turned out that they set off a spinning wheel, which you could see off camera.

379
00:40:10,650 --> 00:40:18,000
And there was some of the crew praising the lemmings on this spinning, spinning wheel and then having to be shot.

380
00:40:21,150 --> 00:40:26,280
Absolutely. They said, well, I was very curious.

381
00:40:26,280 --> 00:40:33,030
So it wasn't for many, it wasn't a suicide pact and, you know, shooting the camera for a long time every four years.

382
00:40:34,560 --> 00:40:40,380
So what was it? Yeah, because still, we had come up with some theories why lemmings are disappearing every four years.

383
00:40:41,400 --> 00:40:47,160
It turns out that it's mathematics that was killing this many students at school like I knew it was.

384
00:40:49,350 --> 00:40:56,640
There's a lot of ways in which controls how the formation of lemmings varies from one season to the next.

385
00:40:57,390 --> 00:41:03,299
And what I want to do is to show you how this equation sometimes leads to stability.

386
00:41:03,300 --> 00:41:06,840
That sometimes leads to very chaotic behaviour.

387
00:41:06,960 --> 00:41:15,170
So I'm going to run the experiment this week to form a slightly simplified version of this will help you be available.

388
00:41:15,460 --> 00:41:18,490
So, so this point, we're going to run an experiment.

389
00:41:18,510 --> 00:41:24,900
So where we're going to start with a population of eggs and then we're going to double that population.

390
00:41:25,680 --> 00:41:30,240
But then there's enough resources for all of the lemmings to survive that season.

391
00:41:30,480 --> 00:41:35,760
So the formula tells you how many lemmings out of that population do not survive.

392
00:41:35,790 --> 00:41:42,940
So what you do is the previous generation multiply by the current generation by 20, and then that would be the number as well.

393
00:41:43,320 --> 00:41:47,370
Okay. So we're going to really well, we're going to have split. So you're going to play the math.

394
00:41:48,510 --> 00:41:53,040
So we're just a little over two eggs, 90 to 1 inches. But he's got call and say he's healthy.

395
00:41:53,490 --> 00:41:59,490
I saw him go up there. Great. So you go the first one and you come down onto the stage.

396
00:41:59,490 --> 00:42:03,780
I guess we need a second level. I think we need one.

397
00:42:05,560 --> 00:42:11,280
Sorry. Sorry. Woman Here, you can. Come on now.

398
00:42:11,700 --> 00:42:16,550
That's good. See, I think we need a mammal.

399
00:42:17,790 --> 00:42:22,080
This is a massive problem in this whole process.

400
00:42:22,710 --> 00:42:26,010
So you just call this. I say he's our first generation.

401
00:42:26,010 --> 00:42:31,790
We're talk to that. So they're going to double up the next generation.

402
00:42:31,800 --> 00:42:34,980
You have seen more so. So now you can pop, right?

403
00:42:34,980 --> 00:42:41,730
So we have and have a second lemon, please. So it generates up to four landings so you can have another volunteer.

404
00:42:41,850 --> 00:42:48,930
Excellent. Come down. You come. And so now to work out it this a new generation, not all of you are going to survive.

405
00:42:51,630 --> 00:42:55,709
So we got to go for eggs. Excellent. So what does it mean?

406
00:42:55,710 --> 00:43:01,200
As I remember, I said, you take the number of that is this generation, multiply it 100.

407
00:43:01,200 --> 00:43:04,530
And so the previous generation, that's four times to write about ten.

408
00:43:04,860 --> 00:43:08,250
So that's only one is small and too small for doing that.

409
00:43:08,460 --> 00:43:12,930
So now we're going to decide where we're going to play a game of musical lemmings.

410
00:43:14,460 --> 00:43:18,050
So I got three chairs there and four of you.

411
00:43:21,300 --> 00:43:25,440
Well, I'm going to help you, basically, to take over this thing I have on here.

412
00:43:26,370 --> 00:43:31,570
This is a new conference. So let's do this.

413
00:43:32,400 --> 00:43:41,230
So there's going to be some visual arts for musicians and a cute learning space.

414
00:43:45,720 --> 00:43:50,090
Saving lives. Let's see.

415
00:43:50,090 --> 00:43:57,150
How do they. Oh, oh, oh.

416
00:43:58,150 --> 00:44:03,790
He's letting us into my I'm going to kick her over the end to the great great great, great.

417
00:44:11,490 --> 00:44:14,560
Now. Next generation, 3 to 6.

418
00:44:14,580 --> 00:44:17,940
So I need three more volunteers. That's a lady right there.

419
00:44:18,720 --> 00:44:21,810
You're going to find out. And one more.

420
00:44:21,840 --> 00:44:25,560
Excellent. So we got six lemmings in this generation.

421
00:44:26,280 --> 00:44:29,770
But again, for your your that not all of them are going to survive.

422
00:44:29,790 --> 00:44:39,690
So that is way out there. So previous generations, 3.6, it seems like by chance I talked to this and all the chat.

423
00:44:40,050 --> 00:44:43,940
So is the chance. Six lemmings.

424
00:44:44,510 --> 00:44:48,260
That's why you're on a petition on the looking glass. Nice symmetry of this.

425
00:44:50,080 --> 00:44:53,920
But so too is allowing.

426
00:45:01,830 --> 00:45:05,650
Back to the lighthouse. And.

427
00:45:06,120 --> 00:45:09,160
And it.

428
00:45:17,780 --> 00:45:21,240
Oh, goodness. I was eating slices.

429
00:45:32,520 --> 00:45:39,110
The drawings are going to take a few names designers and I talked to eight so I full mobile in all last.

430
00:45:39,770 --> 00:45:46,520
So it all starts 1 to 2 all you can show off your computer that you don't see right

431
00:45:46,520 --> 00:45:52,040
before I sit at three right by some results and I'll name my friend all picked on.

432
00:45:54,620 --> 00:45:57,870
Exactly. Just me. One more. And if you have one German pick.

433
00:45:58,460 --> 00:46:02,130
Okay, excellent. Let me. Let me. Anyway, I'm sorry.

434
00:46:02,360 --> 00:46:09,910
You've just been. Right.

435
00:46:10,040 --> 00:46:11,450
So that's why I got out this time.

436
00:46:11,770 --> 00:46:23,650
And we had four in the previous generation or more, say 470 divided by ten, 73, two guys, 300 employees are going to be appointed.

437
00:46:23,670 --> 00:46:29,010
So another chairman will consider it.

438
00:46:29,360 --> 00:46:34,450
So I hear you union has run out of room.

439
00:46:34,900 --> 00:46:41,270
Okay, so you the living is it? Yeah, I after.

440
00:46:55,430 --> 00:47:00,950
Hey, man. Christmas three.

441
00:47:15,290 --> 00:47:20,300
And, you know, 583, how many of our original members you got off?

442
00:47:20,340 --> 00:47:24,570
Yes. You were one of the first, if you want to say anything at all,

443
00:47:24,590 --> 00:47:32,690
because actually what the interesting thing is what happens out, because five marriages will happen through five for $8.

444
00:47:32,700 --> 00:47:39,120
Up to ten. Five times ten times ten.

445
00:47:39,660 --> 00:47:44,460
50 divided by 5 to 5 and so on. So ten out of the final ten, so on.

446
00:47:44,730 --> 00:47:49,560
So what happens now is that's well, that the population is declining with this formula.

447
00:47:49,740 --> 00:47:51,930
Actually, we have a stability that happens.

448
00:47:51,930 --> 00:47:58,470
And from now on, if I keep repeating this, we will just have five people remaining here and we get this sudden stability.

449
00:47:58,710 --> 00:48:17,770
So this qualified remaining money we can. Magically disappear in gadgets.

450
00:48:29,750 --> 00:48:35,120
So the interesting thing is that when we doubled the population based on the data, the landings actually say.

451
00:48:35,470 --> 00:48:40,790
So, I mean, what happens if we change the rate at which they are treated?

452
00:48:40,790 --> 00:48:46,550
You see, they triple each season something slightly different. So in terms of what we ran is again.

453
00:48:46,610 --> 00:48:53,269
And so they're really more productive actually because they went from global athletes

454
00:48:53,270 --> 00:49:02,989
to having been in office for six months and fortifying 4.8 days in that time.

455
00:49:02,990 --> 00:49:12,230
And now it is tripling. You get actually not this ability, but it's growing how you get where we're sort of pinballs between two different values.

456
00:49:12,590 --> 00:49:20,810
And if I slightly dial up the rates at which the population of the lemmings changes in one missions and that's a 3.5,

457
00:49:20,990 --> 00:49:26,600
we see this behaviour where every four years the population suddenly drastically drops.

458
00:49:26,930 --> 00:49:34,430
And so this is what's going on with the Islamic, is that the rate at which they reproduce is controlled by time up to 3.5.

459
00:49:34,730 --> 00:49:40,460
And then you see this pattern emerging where every fourth in generation levels collapses.

460
00:49:40,970 --> 00:49:48,720
But the interesting thing is there's no pattern there, but I got a little bit further and then is thought to quadruple every season.

461
00:49:49,070 --> 00:49:52,790
Then suddenly those patterns disappear and chaos ensues.

462
00:49:53,240 --> 00:49:56,780
This now has such sensitivity to light pollution.

463
00:49:56,780 --> 00:50:00,230
This one extra learning is a population of thousands.

464
00:50:00,270 --> 00:50:10,910
The is the result of these equations could cause one year to have been an overnight that he saw, but it was one more time to collapse the equation.

465
00:50:11,210 --> 00:50:17,300
So it's interesting. It's again, it's very important to know we are in a region where you can make predictions.

466
00:50:17,600 --> 00:50:20,720
But the paradox, again, is if you don't have anything up your own fault,

467
00:50:20,730 --> 00:50:25,670
you reach the chaotic region and then you won't be able to know what's going to happen next.

468
00:50:27,140 --> 00:50:33,870
I'm going to finish you with another area which is more about mathematics and the limits within mathematics itself to know everything.

469
00:50:34,740 --> 00:50:40,080
I mean, there's not a general feeling that it's easy to make a statement about numbers

470
00:50:40,350 --> 00:50:45,240
and go past conjecture that every even number is a solid to prime numbers.

471
00:50:45,880 --> 00:50:53,070
That's what true results. It's either an even number which card is up to by numbers or whether you even have this kind of feeling.

472
00:50:53,070 --> 00:50:56,370
I think every occasion breaks as that statement like that.

473
00:50:56,370 --> 00:51:06,139
You either be able to prove that it's true or eventually prove that counters and [INAUDIBLE] stay until the right mathematicians.

474
00:51:06,140 --> 00:51:14,610
The late 19th and early 20th century can't express the feeling of outside positions that really make take some time.

475
00:51:14,630 --> 00:51:18,959
We may have to come up with ingenious arguments and wiles, and everybody wants something.

476
00:51:18,960 --> 00:51:22,080
That's all there 350 years of that world.

477
00:51:22,410 --> 00:51:26,950
But the very school that a mathematician there is no ignore all.

478
00:51:27,510 --> 00:51:33,899
And in my opinion not at all for that reason for some reason why no one is in finding out.

479
00:51:33,900 --> 00:51:41,040
So what it is, in my opinion, there is no in in the machinery of this office.

480
00:51:41,820 --> 00:51:43,380
We must move. We shall.

481
00:51:44,370 --> 00:51:53,250
And I think that a lot of leading mathematicians, as we went into the 20th century, that we should be able to eventually be able to prove that.

482
00:51:53,370 --> 00:52:02,580
I'm not saying that this is true or false, but in the 1930s I was taking fertilisers and it was,

483
00:52:02,590 --> 00:52:08,050
if I say it was receiving the honour of becoming a citizen of his hometown of Königsberg.

484
00:52:09,120 --> 00:52:10,979
At the same time,

485
00:52:10,980 --> 00:52:21,690
conferences going on where an Austrian magician was proving that they're all trying to prove what is now known as the incompleteness,

486
00:52:22,110 --> 00:52:26,600
since there are statements about numbers that we will never proof.

487
00:52:26,820 --> 00:52:33,540
If you have an axiomatic system which captures statements about numbers, there will be statements inside which are true.

488
00:52:34,560 --> 00:52:39,000
But you won't all be able to deduce from those those actions for that number system.

489
00:52:39,570 --> 00:52:46,350
So an extraordinary there showed that there is a gap between truth and proof, an amazingly good will.

490
00:52:46,350 --> 00:52:50,389
And they managed to do it by using sort of one of those sort of linguistic kernels.

491
00:52:50,390 --> 00:52:54,750
It's the Chinese, this linguistic paradox about a mathematical tool,

492
00:52:54,930 --> 00:53:02,250
which they don't currently have enough to be able to prove a difference between what's true within and on the system,

493
00:53:02,440 --> 00:53:07,500
what can be proved, and then all of the linguistic hypotheses to exploit it.

494
00:53:08,040 --> 00:53:12,750
Which is why is like this statement is false.

495
00:53:13,500 --> 00:53:17,820
So what does that mean? Doesn't have any. Well, if they say if that's true.

496
00:53:18,180 --> 00:53:21,550
Okay, well, that's what they say. It is false.

497
00:53:21,870 --> 00:53:25,020
If that's true, it means the thing is false. Oh, so they call me.

498
00:53:25,080 --> 00:53:29,670
They call the true case. They must be false. So they say this is false.

499
00:53:29,680 --> 00:53:32,760
Evil same is false. Is saying this whole. That is it's true. Oh,

500
00:53:33,210 --> 00:53:41,030
that is so but so they basically and linguistically we know that we can have producing really don't

501
00:53:41,040 --> 00:53:46,299
have any means this doesn't have a meaning that we can sort of think of any type but mathematics.

502
00:53:46,300 --> 00:53:50,070
So we don't expect to find these kind of linguistic paradoxes.

503
00:53:50,700 --> 00:53:58,680
So actually, but it's a that we can actually exploit this idea when I'm going to use it for this segment is also going to choose the statement.

504
00:53:58,860 --> 00:54:03,179
This statement is not true. Okay, well, fine.

505
00:54:03,180 --> 00:54:08,670
But that's still a wasted statement. But they're claiming the penalty and they are actually used.

506
00:54:09,210 --> 00:54:12,240
Some of my favourite numbers right now, you want to be able to do this.

507
00:54:12,750 --> 00:54:16,830
He would do something called the girl code. He was able to take the statements.

508
00:54:17,310 --> 00:54:23,040
It was about same as saying this statement does not have a proof within this axiomatic

509
00:54:23,040 --> 00:54:29,010
system he was able to use their coding to change is interesting about numbers.

510
00:54:29,430 --> 00:54:38,250
So statements about numbers really is he made some statements about numbers that same numbers must either be true or is going to be false.

511
00:54:39,110 --> 00:54:45,569
That's not like is you going to say about numbers which has a meaning and therefore now I mean, for example,

512
00:54:45,570 --> 00:54:51,900
somebody being provable might be about the girl who the one sentence being debateable by their great impotence, of course.

513
00:54:52,830 --> 00:54:58,200
So you might say, well, ace is going, carrying on this number, the visual encoding, all the actions.

514
00:54:58,560 --> 00:55:02,820
So now we had it because it was translated as English statement about numbers.

515
00:55:03,000 --> 00:55:07,920
It was either going to be true or it's going to be false. I wanted to exclude the possibilities.

516
00:55:08,850 --> 00:55:12,239
Well, suppose it was false. Okay.

517
00:55:12,240 --> 00:55:17,310
Now the reason is, is this whole thing about is this reason the masses is saying is false.

518
00:55:18,480 --> 00:55:22,980
So actually, what does that mean? It means that both of these statements is provable.

519
00:55:23,760 --> 00:55:28,220
Now, in the same words is provable. It means it's true.

520
00:55:28,640 --> 00:55:31,870
So in fact, it can't be false because we get the same really.

521
00:55:31,880 --> 00:55:34,900
The logic say logical, a spiral that is false.

522
00:55:34,910 --> 00:55:38,330
Turns out that we conclude it, which means it must be true. Okay.

523
00:55:38,570 --> 00:55:41,840
So maybe it is in a logical parallel to you. Okay. What if it's true?

524
00:55:43,110 --> 00:55:49,190
Oh, hold on. What? I could be true. I mean, the only alternative is to say homicide, undesirables, or it's true.

525
00:55:49,200 --> 00:55:52,390
We certainly can't be both because we have a logical science.

526
00:55:52,400 --> 00:55:58,370
It must be true. So this is a statement about numbers which is true, which is it's not proven.

527
00:55:59,030 --> 00:56:00,120
By using this trick,

528
00:56:00,120 --> 00:56:08,720
he was able to actually capture a statement about numbers which by its very nature was true but with no provable within the system.

529
00:56:10,050 --> 00:56:14,320
It was kind of logical triggering,

530
00:56:14,360 --> 00:56:22,489
but actually turned out that is a very fundamental questions about numbers turned out to be this kind of rather strange area of like,

531
00:56:22,490 --> 00:56:31,040
whoa, is it true or false? Is it provable? And so this concerns the mathematics of infinity financing infinity.

532
00:56:31,040 --> 00:56:35,900
For many years, infinity was always something which my brain could capture.

533
00:56:36,590 --> 00:56:44,290
But the mathematician George cancel at the end of the 19th century, and they want us to construct a mathematics.

534
00:56:44,320 --> 00:56:51,710
They allowed us to understand infinity, that it was an infinity, but help us realise there are many different sorts of infinity.

535
00:56:52,520 --> 00:57:00,860
It's all the same as we're trying. We have a right to try it and that the value of the wealth is judged by the number of chickens you have.

536
00:57:01,370 --> 00:57:09,700
So you have a normal system. I'm not going to count 1 to 5 chickens and I don't pay for it.

537
00:57:09,860 --> 00:57:14,210
But there are. Suppose you or I do. I didn't have another system of going free.

538
00:57:14,570 --> 00:57:20,120
So you want to bring in that is lots of that. So one, two, three and then you have lots.

539
00:57:20,450 --> 00:57:27,920
But even if you've got lots of chickens, you can check whether your lots of chickens is more or less than your neighbours.

540
00:57:28,040 --> 00:57:33,590
Lots of chickens. How do you do that? Well, for examples, why don't you three lots of chickens.

541
00:57:34,340 --> 00:57:41,600
So here's somebody who's also chickens as well. So you've got to see the plots like infinity is I can't count the 3.3.

542
00:57:41,870 --> 00:57:44,930
I've just got ten chickens, lots of chickens.

543
00:57:45,140 --> 00:57:49,040
Let's see, I could compare apples if I can look up.

544
00:57:49,310 --> 00:57:55,160
I find the the white also has a smaller and not something that I do on the top.

545
00:57:55,610 --> 00:58:04,579
So is this idea that you could if you got something which is don't count you survive as compared so that obviously we have one,

546
00:58:04,580 --> 00:58:09,050
two, three, four, five but we can't count infinity but so maybe we have comparative.

547
00:58:09,920 --> 00:58:16,850
So cancel that. Yeah. Okay. Suppose you had chickens on my chickens and many chickens and they all have on this.

548
00:58:16,850 --> 00:58:30,200
One, two, three, four is as you know, obviously we've never had chickens and he's not even I call it the same chickens.

549
00:58:30,980 --> 00:58:37,400
Why? Because we compare them the we've got the same results for every chicken that I produce.

550
00:58:37,400 --> 00:58:40,700
He just produces the chicken, which is double has double the number.

551
00:58:40,970 --> 00:58:46,730
And so actually even numbers is the same amount in infinity as all the left personalise.

552
00:58:46,730 --> 00:58:50,990
It perhaps is twice as much, but I mean that I think they could be compared.

553
00:58:51,440 --> 00:59:04,120
So you sort of you would then it's easier just the same size and you need a guy who has a huge treat is a room number with fractions wrong.

554
00:59:04,130 --> 00:59:12,170
So yeah you see why is it that this guy has as many chickens as you could handle it that way?

555
00:59:12,170 --> 00:59:16,160
Well, if you want to do it, you sort of find a logical system to pan chickens out.

556
00:59:16,790 --> 00:59:20,869
So classic because between one and two there is many fractions.

557
00:59:20,870 --> 00:59:25,970
How does going to be able to compare my one, two, three, four or five?

558
00:59:26,180 --> 00:59:29,300
But after three days of all of these chickens and fractions.

559
00:59:29,930 --> 00:59:36,350
But they don't. Right. What you do is you you line up for the fractional chickens integrates so it has an

560
00:59:36,350 --> 00:59:42,649
infinite land and great so I put all the chickens that had one on the bottom of that

561
00:59:42,650 --> 00:59:47,300
fractional the first right and on the second row of all the chickens which have two

562
00:59:47,550 --> 00:59:52,690
on the bottom of the second and the third row and have all ones with three overall.

563
00:59:52,700 --> 01:00:00,439
So now you can see this, somebody is actually the chicken which has one over two is also the same chicken as 1 to 4.

564
01:00:00,440 --> 01:00:03,379
But I don't like it anymore. Chicken.

565
01:00:03,380 --> 01:00:13,040
So so every chicken, every single fraction and me and I put it in the freezer of eighth column is where I changed the occurs.

566
01:00:13,280 --> 01:00:15,740
And then here was kind of, I have a cheap trick.

567
01:00:15,950 --> 01:00:24,200
The way to compare the chickens is to okay I got my first chicken is going to go to the chicken in the top left hand corner.

568
01:00:24,200 --> 01:00:30,719
My second chicken is going to go. Currently starring roles in I Have a Chicken, which can be paired up with every single chicken,

569
01:00:30,720 --> 01:00:39,390
but it isn't that great because I just sneak through a single line and that single line tells me the order in which I put my chickens,

570
01:00:39,450 --> 01:00:44,759
which is half full numbers, so you can actually count the fractions when you're able to do this little bit of

571
01:00:44,760 --> 01:00:49,890
mathematics and tell you what hundreds fraction is inside air and 100 chicken.

572
01:00:51,060 --> 01:00:55,980
That's me. This is handle snake and we use it to power up fractions and ornaments.

573
01:00:56,310 --> 01:00:59,970
So why not say okay, everything is the same.

574
01:01:00,480 --> 01:01:03,630
But no, he's a guy with a big chicken.

575
01:01:04,410 --> 01:01:11,490
He's going to have every possible irrational numbers in a strange coincidence.

576
01:01:12,630 --> 01:01:16,170
So there's pi inside every one of our over there.

577
01:01:16,170 --> 01:01:21,960
And this is where we choose Dad's old ratio. And I think, oh, I know you think of it's not foreign.

578
01:01:22,760 --> 01:01:27,990
It's pretty rare that you can match up all infinities in the same size.

579
01:01:28,290 --> 01:01:32,099
So you start saying today, well, that's what you should wrong.

580
01:01:32,100 --> 01:01:36,540
And she won with pi two to square two.

581
01:01:36,930 --> 01:01:42,089
So I to find some way to pair up all of my games which are all of these graphs,

582
01:01:42,090 --> 01:01:47,790
numbers and how I want to try to always find them and she can actually manage.

583
01:01:47,790 --> 01:01:54,059
It is still left over because there is the prime and as you can say, I'm always going to be able to guarantee you cheating.

584
01:01:54,060 --> 01:01:57,600
You haven't found it because it's not however you can.

585
01:01:57,780 --> 01:02:02,460
So you have one with some arrangement of the two, the second, one, three, three, one.

586
01:02:02,940 --> 01:02:04,650
And now I'm going to produce a chicken.

587
01:02:05,490 --> 01:02:11,590
I'm not going to make sure this chicken is not one of the ones you can already, because it's the first decimal base.

588
01:02:11,590 --> 01:02:18,810
And my answer is a decimal place which is different from the first base pair with the first chicken.

589
01:02:20,430 --> 01:02:26,850
What about second decimal base? Last difference of the second decimal places, the chicken that you paired with the second of your audience.

590
01:02:27,360 --> 01:02:33,479
And so what you do is you keep on changing the decimal by setting the hundredth decimal place of is missing or asking

591
01:02:33,480 --> 01:02:40,080
chicken will be different from the hundredth decimal place of the chicken that is matched up with chicken number 100.

592
01:02:41,700 --> 01:02:47,550
So and why wondering apparently this chicken is nowhere on my in my attempts to pair these up

593
01:02:48,030 --> 01:02:57,870
do I myself what is the minimum what will the million unit in once chicken pay up with my

594
01:02:57,870 --> 01:03:03,299
chicken which if you look at the minimum once decimal place this music is different now one is

595
01:03:03,300 --> 01:03:08,459
not achieving the goal here I'm going to be so the way he's constructed is missing or has what?

596
01:03:08,460 --> 01:03:11,670
I'm sure that it's nowhere on this list.

597
01:03:11,760 --> 01:03:15,540
You may want to have this shop more. Only add this one to the end.

598
01:03:16,500 --> 01:03:19,980
But you know, I can see more by the century there's always going to be chickens that are out,

599
01:03:20,020 --> 01:03:25,980
which are as far as far as hard as you try to shut down, you never be able to count the chickens.

600
01:03:26,280 --> 01:03:30,540
Skaggs was able to create this for the frenzy of all the original numbers.

601
01:03:30,750 --> 01:03:35,250
There's no reason why that is discounted, starting with I swear to do the numbers.

602
01:03:35,340 --> 01:03:42,720
Rules are lined up in a room and the numbers we can use to measure with the things that you see all day is numbers.

603
01:03:43,020 --> 01:03:48,230
That's a bigger to infinity than just the whole number crunching numbers.

604
01:03:48,270 --> 01:03:53,580
That's why I thought the universe might. Okay, here's the question.

605
01:03:53,820 --> 01:03:57,260
Okay. So that's what we want to be one of these arrangement of this.

606
01:03:57,300 --> 01:04:00,420
And it's one infinity, which is the counting numbers. Okay.

607
01:04:00,420 --> 01:04:02,790
Is there a sense of numbers in between?

608
01:04:03,270 --> 01:04:10,830
Can we find a neighbour who is genuinely richer than I am in my whole numbers, but generally poorer than the guy with all the you were asking?

609
01:04:11,580 --> 01:04:22,590
It's a bad question. There is that there are there is that you would say an only which is always my thought is infinity was just some sort of sorcery.

610
01:04:23,490 --> 01:04:30,860
Nobody said, no, no, this is the most beautiful I have. Actually, I think, you know, there was a test going on in the mathematics.

611
01:04:30,930 --> 01:04:35,190
I had to leave all my choice of my eight discs of mathematics.

612
01:04:35,490 --> 01:04:41,370
So it's just a few just beautiful, sort of finite arguments on several of these different affinities.

613
01:04:41,370 --> 01:04:46,290
And I totally agree with David Hilbert said this is the most astounding product of mathematical thought,

614
01:04:46,500 --> 01:04:50,820
one of the most beautiful realisations of human activity in the domain of a purely intelligible.

615
01:04:51,060 --> 01:04:55,830
No one should expect the paradox which had all created for us.

616
01:04:56,760 --> 01:05:07,139
But it did raise this question, which turned out to be one of these questions that Campbell had raised in their statements about numbers,

617
01:05:07,140 --> 01:05:11,860
which we can't kind of decide whether they're true or false. So the question is going to continue.

618
01:05:11,880 --> 01:05:15,780
My thought is that David HUME would show you that he had 23 problems and he

619
01:05:15,780 --> 01:05:21,630
challenged positions of the 20th century with the Riemann hypothesis was on there.

620
01:05:21,750 --> 01:05:25,710
But the first question you asked was about the Continuum hypothesis.

621
01:05:26,420 --> 01:05:31,200
No. These are the numbers you used to measure. Will surely there should be an answer.

622
01:05:31,200 --> 01:05:34,510
The question is a set of numbers. Strictly data.

623
01:05:34,560 --> 01:05:37,950
And the whole numbers is smaller than the original ones.

624
01:05:38,670 --> 01:05:43,650
But following on from that, as it discovered that actually either answer is true,

625
01:05:44,040 --> 01:05:50,069
it turns out that the ask in yes and you create a system of mathematics which is

626
01:05:50,070 --> 01:05:54,010
totally consistent where there is a set between there is a kind of the system.

627
01:05:54,470 --> 01:06:03,300
So the answer is no. I mean, this is kind of mathematics question you want in an exam where you really talk about the first question, correct.

628
01:06:03,900 --> 01:06:09,330
But I think it's a kind of a this really is really the magic of mathematics.

629
01:06:09,690 --> 01:06:21,179
All the power. It's all magic. It's all this is the idea that we can turn mathematics in itself, using products to understand the systems.

630
01:06:21,180 --> 01:06:28,440
Actually, we can realise notation. We don't realise it's something like a question, fundamental question like well,

631
01:06:28,440 --> 01:06:33,989
is there a set of numbers which is getting bigger and smaller than these things, true or not, that we can actually realise?

632
01:06:33,990 --> 01:06:37,370
Well, there are some things that we never know.

633
01:06:58,720 --> 01:07:02,560
And so sometimes to questions or answers.

634
01:07:02,570 --> 01:07:07,700
And you do that. So we have some points for you.

635
01:07:07,700 --> 01:07:11,240
So you might ask questions. Stand up.

636
01:07:13,900 --> 01:07:22,270
Good to talk to you, sir. So do you think the continued medical science is true or false or neither?

637
01:07:23,530 --> 01:07:24,950
So this is a very good point.

638
01:07:25,520 --> 01:07:34,989
And you might say, well, I have as I said, this is a meaningless question because you've got two systems where one is it's true.

639
01:07:34,990 --> 01:07:39,580
One is it's false, but it's still I think the question has a lot of relevance because, you know,

640
01:07:40,240 --> 01:07:47,200
the point is we're trying to capture numbers to be simply we have these numbers that measure three legs en route on rules.

641
01:07:47,200 --> 01:07:50,690
So surely there should be an answer to it.

642
01:07:51,610 --> 01:07:57,849
Should we should be introducing an axiom which says that, yeah, no, I don't mean these numbers, which is terribly consistent.

643
01:07:57,850 --> 01:08:01,960
We don't have a set between 19 these ones and then that's the numbers.

644
01:08:03,880 --> 01:08:11,170
So I think they're all these are all to this idea of the continuum rivals as being sort of an unsolvable problem that,

645
01:08:11,380 --> 01:08:17,350
you know, we decided to make it as not for many years we will do this sort of next year.

646
01:08:17,350 --> 01:08:21,339
And so that means it's a bit like non-Euclidean geometry.

647
01:08:21,340 --> 01:08:27,550
You can either have geometry, which includes the axiom that there are all kind of lines are points,

648
01:08:28,750 --> 01:08:35,139
or you can have a dormitory where those objects, maybe you just have different sort of not systems of numbers,

649
01:08:35,140 --> 01:08:41,440
but but there's been a bit more recently saying I think we should be writing down which number system we work in,

650
01:08:41,440 --> 01:08:44,950
where we whether we, we're talking about the set of real numbers.

651
01:08:45,550 --> 01:08:52,600
And I say that or I think armies in which it was related sort of to the physical world, you know, these numbers sort of finds it.

652
01:08:53,110 --> 01:08:58,960
We try to actually with these numbers to express our feeling about physical lengths as well.

653
01:08:59,320 --> 01:09:05,980
So perhaps one of the we should be a meeting of the axiom for the computer models or not, which one we really think we do.

654
01:09:07,480 --> 01:09:16,690
But as I say, there is a move to sort of displace these segments to actually say, no, I think we're left with it.

655
01:09:16,690 --> 01:09:20,080
This is not what we mean by the real number.

656
01:09:20,800 --> 01:09:28,450
But very often when we're doing mathematics, you will find we will make it say, I assume the continuum hypothesis.

657
01:09:28,450 --> 01:09:35,290
It means I work in Islam as a system, which assumes you continue my hypothesis or it will say it is.

658
01:09:35,290 --> 01:09:39,929
You know, there are some very curious examples where you can prove that there is a theory

659
01:09:39,930 --> 01:09:45,360
amount of numbers which rather bizarrely one and the proof goes with it.

660
01:09:45,400 --> 01:09:51,130
You see the continuum hypothesis, you argue this way and you prove the thing about numbers.

661
01:09:51,370 --> 01:09:56,429
But in the other numbers system where you see the continuum of offices is false, you can prove a different thing.

662
01:09:56,430 --> 01:10:04,820
You probably saw the same answer about five numbers. Now, is that the proof of the statement that five numbers, because it's sort of, you know,

663
01:10:04,900 --> 01:10:09,370
you're going to make an assumption in both cases, but you don't you don't know yet.

664
01:10:09,520 --> 01:10:15,040
So the combined effect, of course, is either it's true or it's. So it's sort of a win win situation.

665
01:10:15,310 --> 01:10:20,230
So my question that's really free for researchers.

666
01:10:20,620 --> 01:10:32,380
So I'm going to remain on that's. Unless you're down there in my coming to my house.

667
01:10:34,970 --> 01:10:39,020
I was wondering if you think there's an infinite number of outcomes or whether you

668
01:10:39,020 --> 01:10:44,000
could ever predict the future if you could predict every single possible outcome?

669
01:10:44,480 --> 01:10:59,990
Uh huh. Well. Uh. That's a very difficult question to answer because no one's going to get into questions of quantum physics.

670
01:11:00,240 --> 01:11:12,350
I mean, quantum physics. I mean, suppose the universe is infinite, for example, and, uh, and is it's going to actually be one.

671
01:11:12,770 --> 01:11:17,190
There's a very analysis you can do that everything is possible, will happen.

672
01:11:17,190 --> 01:11:22,420
And it will happen in theory often, but it won't matter most continuous factor.

673
01:11:22,430 --> 01:11:29,000
And then, I mean, certainly I think I think the the conclusion is that, you know,

674
01:11:29,360 --> 01:11:36,240
within a continuous maximum, certainly infinitely many possibilities with infinite data inputs.

675
01:11:36,580 --> 01:11:42,620
But but it's there are arguments by people that infinity doesn't exist as a physical object.

676
01:11:43,550 --> 01:11:50,660
And it's, uh, which seems crazy to me, but the idea is that the universe might just.

677
01:11:51,770 --> 01:11:53,690
I mean, it's certainly true, if you think about it,

678
01:11:53,690 --> 01:12:04,489
that there will certainly be a finite number that nobody ever will think about because, you know, the advanced a lot.

679
01:12:04,490 --> 01:12:09,360
And and we, you know, the final number of people on our number,

680
01:12:09,430 --> 01:12:17,930
the amount of time you'll always have something at 8000 ends and heat death in a horrible sieve slows down.

681
01:12:17,930 --> 01:12:22,970
And, you know, we we know that there will be a number which has never, ever been thought so.

682
01:12:23,080 --> 01:12:30,410
So I think that maybe infinity, it's just a purely practical concept.

683
01:12:30,950 --> 01:12:37,459
There are some people who sort of think this the universe might be a bit like a computer which has the kind of limits to its capacity.

684
01:12:37,460 --> 01:12:39,350
And when you hit that, it kind of resets.

685
01:12:39,650 --> 01:12:49,430
TIME So I think it's sort of that, you know, Mother Earth to like that you've had up to 12 and then I think that's why you have a mathematics machine.

686
01:12:49,870 --> 01:12:57,340
Whereas, um, and so, so I think it's a very interesting factor and I think it is that tension which goes right back to facts,

687
01:12:57,710 --> 01:13:03,110
the sovereignty of Pythagoras. That's where to I mean, to say that's a physical place.

688
01:13:03,110 --> 01:13:08,959
But, you know, what does that physically really have to something like infinity?

689
01:13:08,960 --> 01:13:15,260
Because it's easy, physically impossible because of the quantised nature of space.

690
01:13:15,590 --> 01:13:24,149
I mean, so I think it's a very interesting tension and one which I hope is flexible down, which is the relationship to the world around magic.

691
01:13:24,150 --> 01:13:27,320
So what exists in the mind and and the world, the world,

692
01:13:27,340 --> 01:13:34,850
the physical universe and my mind grew out of trying to decide that the universe is interesting quite whether

693
01:13:34,980 --> 01:13:44,810
they they do sort of match or whether there's any difference that's played on that I've been working on.

694
01:13:45,550 --> 01:13:49,280
We on in October it's all about this tension actually.

695
01:13:51,890 --> 01:14:01,370
Yeah. Question Here we get microphone. Grace the.

696
01:14:06,530 --> 01:14:10,880
So you talk about imaginary and real numbers. As for me, a two dimensional space.

697
01:14:11,300 --> 01:14:15,590
And it's easy to imagine that we have three dimensional space and many more dimensions.

698
01:14:16,040 --> 01:14:22,810
So are there systems that are imaginary than three dimensional imaginary information?

699
01:14:23,120 --> 01:14:28,940
So on. Is there a simple way to think about that, like the square root of negative one or no?

700
01:14:29,780 --> 01:14:36,859
Yeah, it's a great question. One of the first discoveries about these imaginary numbers, squared minus one.

701
01:14:36,860 --> 01:14:42,310
What about four, three, two, minus one? Perhaps that's really the new, new anomaly.

702
01:14:42,350 --> 01:14:43,580
After I had a new direction,

703
01:14:44,150 --> 01:14:51,620
I one of the first great discoveries about these imaginary numbers where it seems to me the square root of minus one, it's incredibly powerful.

704
01:14:52,130 --> 01:14:56,160
So they have combinations of squared minus one and real numbers.

705
01:14:56,160 --> 01:15:03,020
So it's two lines or graph of numbers represents, you know, what's the direction, the real stars in the imaginary line.

706
01:15:03,470 --> 01:15:10,150
So now we can solve all polynomial equations as soon as we've added in squares minus one.

707
01:15:10,160 --> 01:15:20,070
So you will challenge that will come generates some new fighting between the square root of the square in minus one that's inside that.

708
01:15:20,090 --> 01:15:24,890
Also we can express that actually in terms of just the squared minus one.

709
01:15:25,700 --> 01:15:28,870
But that doesn't mean actually. Okay, fair enough.

710
01:15:28,880 --> 01:15:38,390
So this is a very powerful analysis. So all quiet on the equations that might surprise us, but maybe they're all you know what?

711
01:15:38,390 --> 01:15:46,440
If you added a new direction to the numbers and even trying to do this and they went from 2 to 3 dimensions,

712
01:15:47,000 --> 01:15:50,950
those actual and what they just couldn't produce consistent.

713
01:15:50,960 --> 01:16:00,650
I mean, it was very careful that it is that idea that, you know, the square root of minus one, you can only make these imagine leaves divided.

714
01:16:00,650 --> 01:16:06,760
It doesn't collapse all of mathematics and the discovery was noted.

715
01:16:08,690 --> 01:16:15,349
But that's a serious point. You're going to make new things provided that in a way on the continuum makes a

716
01:16:15,350 --> 01:16:20,510
set an axiom which says there is a set between these two infinities and also

717
01:16:20,520 --> 01:16:25,610
exactly which just isn't that of them are consistent they don't produce contradictions

718
01:16:25,850 --> 01:16:29,749
so squared minus one and that mean and it didn't produce contradictions.

719
01:16:29,750 --> 01:16:31,370
It produces richer mathematics.

720
01:16:31,700 --> 01:16:40,189
So the challenge is, okay, can you throw something else in and produce a rich produce something which is genuinely new and which didn't collapse?

721
01:16:40,190 --> 01:16:44,990
The system always is actually going to make a set from 2 to 4.

722
01:16:45,830 --> 01:16:50,270
So they're really simple. Hamiltonians discovered by an Irishman position.

723
01:16:50,840 --> 01:16:55,270
HAMILTON Right. Did you ever get to stop in? There's a breach.

724
01:16:55,550 --> 01:17:01,850
And this is where he was alleged to have had some revelation about how to cook up a new number system.

725
01:17:02,360 --> 01:17:06,050
Where is it? So we have the same line that squared minus one.

726
01:17:06,110 --> 01:17:11,930
He introduced all three things. I think we all have discovered the easiest way to mind as one.

727
01:17:12,110 --> 01:17:14,690
But then he was interested in what relationship he would use.

728
01:17:14,700 --> 01:17:20,140
The relationship between the ideas and the case and how they multiplied and any kind of was easy.

729
01:17:20,300 --> 01:17:25,730
Famously, he's going to call these into the side of the bridge with this mathematically.

730
01:17:25,730 --> 01:17:34,850
So these are all things like Apple that they use a lot in computer graphics, for example, as a system to model the way that computer graphics works.

731
01:17:35,540 --> 01:17:40,160
And so there are a number of systems beyond the Hamiltonian.

732
01:17:40,170 --> 01:17:44,329
The Octane is, but then is going to go to 16.

733
01:17:44,330 --> 01:17:49,940
But there's a marvellous reason why you can't have a very strange I mean, you think or any one has a two,

734
01:17:50,000 --> 01:17:55,960
you should be able to just analyse the system and then you can point to minimisation where if you go any further you do sort of classicism.

735
01:17:56,270 --> 01:18:03,739
So your intuition is one is exactly what happens if we can do this, why can't we do something again and see what happens?

736
01:18:03,740 --> 01:18:06,260
And that's how we have to solve it on the systems.

737
01:18:06,260 --> 01:18:13,910
Beyond that, there are different oppositions hamiltonians were such that they a massive of all the worlds by numbers.

738
01:18:14,510 --> 01:18:19,540
The numbers don't matter which one you do. Okay, so you get a daily news disruption.

739
01:18:23,060 --> 01:18:27,120
Other issues. Yes.

740
01:18:27,120 --> 01:18:27,960
Because you can hear.

741
01:18:36,920 --> 01:18:51,290
In theory, a used formula for that is showing that you can essentially produce certain point variables no longer say or create more energy and chaos.

742
01:18:53,200 --> 01:19:03,130
So wondering, can we apply that to to any stable system and predict when it will become chaos or by the very nature of chaos is made possible?

743
01:19:03,670 --> 01:19:15,310
Is it because the the earlier illustration showed of the two planets safely overseas and you introduced third I think is crazy made me think.

744
01:19:16,850 --> 01:19:25,170
Are we able to calculate how much changing gravity we can put into space with all the satellites in mind?

745
01:19:25,180 --> 01:19:29,409
Use changing gravity. Could that destroy the solar system?

746
01:19:29,410 --> 01:19:35,069
Might make us fly. And so many things said show that.

747
01:19:35,070 --> 01:19:41,530
Well, I you could kind of like the point at which comes out say, well, so can we have the landmass?

748
01:19:41,530 --> 01:19:44,980
We can put up a little bit of that as well.

749
01:19:45,790 --> 01:19:47,619
I think that's a very good question.

750
01:19:47,620 --> 01:19:59,060
And, you know, certainly it is this idea of only the systems are very much involved in trying to find those regions which have irregular behaviour.

751
01:19:59,320 --> 01:20:08,710
The moment you can set up systems, all three bodies which are stable and have a certain stability even with small changes.

752
01:20:09,880 --> 01:20:18,220
But I think that's the challenge of each particular system that you've got is to understand in a way that changes the pendulum.

753
01:20:18,790 --> 01:20:25,979
If you understand that diagram, the description of that space, they think they know anything.

754
01:20:25,980 --> 01:20:32,260
And although of course they keep on sticking satellites up because I'm still in the small generation,

755
01:20:32,260 --> 01:20:40,450
but some days there'll be some point where you'll naturally you go on sort of chaotic if someone is actually in I mean,

756
01:20:40,660 --> 01:20:49,390
actually one of the great unsolved problems in the 20th century 23 for the beginning of this millennium,

757
01:20:49,810 --> 01:20:52,480
we were challenged with seven points through the millennium.

758
01:20:52,970 --> 01:20:59,990
So one of the reasons that solved the equations is because one of the Riemann hypothesis primes, which we still don't understand,

759
01:21:00,490 --> 01:21:02,860
but one of them is called an Audi A6 equations,

760
01:21:02,890 --> 01:21:11,770
and these are equations assemblies and these are equations that we we do not yet have a supply of solutions for.

761
01:21:11,770 --> 01:21:16,870
And the challenges alone understand the behaviour of these equations with you really dollars if

762
01:21:16,870 --> 01:21:25,420
you do and they control the air behind an aeroplane or the way fluids travels through a point.

763
01:21:25,600 --> 01:21:28,890
And again, you define these critical switching,

764
01:21:28,940 --> 01:21:35,710
the names which are responsible for this change in behaviour and it's very important to know where they are.

765
01:21:35,890 --> 01:21:39,850
You can calculate the case of the of the feedback equations of the population.

766
01:21:40,330 --> 01:21:45,460
Exactly. The numbers in the dial where we get is from chaos.

767
01:21:45,730 --> 01:21:48,340
I don't have to convince you that turbulence,

768
01:21:48,340 --> 01:21:57,610
in fact is one of those extraordinary free kicks that was ever taken in the history of football that you remember.

769
01:21:57,610 --> 01:22:04,689
The match between Britain and France and boxers was in gold and romantic holidays,

770
01:22:04,690 --> 01:22:14,349
but the readings go near all the people in this world and authors of football.

771
01:22:14,350 --> 01:22:24,940
What do you believe is called super young and go for a short golf course, although he's also been flying through the air.

772
01:22:25,750 --> 01:22:29,170
I mean, there's a wonderful shot at the Academy,

773
01:22:29,590 --> 01:22:39,150
shows what it is like going off into the crowd and being lost and then somebody them off for the swans in the air, it goes it all goes away.

774
01:22:41,800 --> 01:22:45,730
And as you what was involved with this is because when you hit the ball very fast,

775
01:22:46,740 --> 01:22:56,440
the the turbulence on board is Celtic and the Celtic sentiments and doesn't cause very much frightful surprises.

776
01:22:56,680 --> 01:22:59,500
And it's like it's the same effect that happens in golf.

777
01:23:00,020 --> 01:23:05,980
It was the closing being carried through the air because the speed of the ball in your face and there's

778
01:23:05,990 --> 01:23:11,970
something that is critical moment where that the chaos kind of gets switched off and it just becomes laminar,

779
01:23:12,310 --> 01:23:18,430
becomes much more regular. And that's like a Soviet break being puts on the football and it slows down,

780
01:23:18,850 --> 01:23:23,980
which by the speed of the ball is able to have much more effect on the trajectory.

781
01:23:24,130 --> 01:23:26,860
And that's when suddenly the ball swerved in the back of the net.

782
01:23:27,070 --> 01:23:36,700
So it's that change in from has to to non healthy behaviour which was responsible for now we're going to pause maybe after that.

783
01:23:36,700 --> 01:23:40,040
Have you said it's all very.

784
01:23:49,000 --> 01:23:55,420
You refer solely to a lot of amazing people who are mathematicians in yourself as a mathematician.

785
01:23:55,930 --> 01:24:00,250
Do you feel that academician mathematician has narrowed more recently,

786
01:24:00,640 --> 01:24:06,430
and do you think it is beneficial to the field to widen or narrow the definition?

787
01:24:07,960 --> 01:24:12,250
Well, that's it's very interesting because I thought of what you can challenge,

788
01:24:12,730 --> 01:24:19,270
and I had a little bit of quizzing and it is the history of mathematics.

789
01:24:19,600 --> 01:24:22,610
And so some great examples of women. Yes,

790
01:24:23,110 --> 01:24:28,629
but we are in a we are in a period where if you look at history and also you have

791
01:24:28,630 --> 01:24:34,470
many more women on board and it's really a complete mix of this kind of games.

792
01:24:35,500 --> 01:24:40,720
And I think one has to be very careful about these 30 inches all competitions.

793
01:24:41,080 --> 01:24:52,989
Maybe that's because you I to you also have this. But we have all but actually rise to the challenge is that I think very often recently

794
01:24:52,990 --> 01:24:57,700
a lot of subjects are quite narrow minded and gets wise in the way that they think.

795
01:24:58,040 --> 01:25:03,519
And one of the beautiful things about mathematics and language is how the interactions with other subjects.

796
01:25:03,520 --> 01:25:07,810
So here at the University of Oxford Mathematics and a lot of time talking to biology,

797
01:25:08,470 --> 01:25:13,150
which has a different way of thinking and it takes some time to get its mindset.

798
01:25:13,840 --> 01:25:22,300
The way I think is in some ways the mathematician some, but the things that are mentioned to be very exciting.

799
01:25:22,480 --> 01:25:24,219
And we both have different problems,

800
01:25:24,220 --> 01:25:30,590
different ways and different ways combining all disciplines which I think are leading to really exciting development.

801
01:25:30,760 --> 01:25:38,020
So, so I think there is actually rice is one shouldn't get stuck in thinking of mathematicians as just one particular thing.

802
01:25:38,020 --> 01:25:48,700
And the more multifaceted we think of this not that we have individual ambition that the more exciting mechanics we.

803
01:25:54,160 --> 01:25:57,820
Now we have time. Okay. And I.

804
01:26:01,450 --> 01:26:04,820
Whoa, whoa, whoa, whoa.

805
01:26:06,130 --> 01:26:12,440
Oh, great. You are awesome. So let's do you got to take a quick break here.

806
01:26:13,020 --> 01:26:23,480
You're to read. Interestingly, our sound engineer knows some people listen, and if you're not queasy, they love it.

807
01:26:24,820 --> 01:26:30,620
I possible to go back to the limits of science.

808
01:26:30,930 --> 01:26:34,550
Looking forward, do you think Max will continue to make this great progress?

809
01:26:34,640 --> 01:26:38,090
Do you think there's a sort of limit to what the human mind can do?

810
01:26:38,240 --> 01:26:40,910
You're going to hear all of them, quite honestly.

811
01:26:41,010 --> 01:26:48,139
That's a really interesting question, because I don't want it to be said about logical impossibilities,

812
01:26:48,140 --> 01:26:53,450
limiting what is beyond even those of us in the future.

813
01:26:53,690 --> 01:26:59,270
But what about the human brain? The human brain has a finite, finite number of neurones, new connections.

814
01:26:59,710 --> 01:27:05,630
Maybe there maybe sensing that there are some logical arguments within mathematics

815
01:27:05,720 --> 01:27:12,010
just beyond the capacity of one human brain to navigate this as it is.

816
01:27:12,830 --> 01:27:16,400
There's no way that we will ever be able to go through all that whole process again.

817
01:27:17,450 --> 01:27:23,150
So there are so many things, almost just from a biological level, which I think are limits to mathematics.

818
01:27:23,450 --> 01:27:27,620
The amazing thing for me is how often these challenges like Fermat's Last Theorem

819
01:27:27,620 --> 01:27:30,980
or other theorems we've managed to lose upon grade rejection rejections.

820
01:27:31,430 --> 01:27:35,750
Quite often when you apply to solving these problems, you just get this depressing feeling.

821
01:27:36,160 --> 01:27:39,559
Yeah, it's just beyond anyone's right.

822
01:27:39,560 --> 01:27:44,330
And as I said, it is a kind of human limitation.

823
01:27:44,340 --> 01:27:48,890
There's also the limitation girls can get wrong worried about.

824
01:27:49,310 --> 01:27:56,670
Okay, no. Maybe the golden conjecture is a true statement about numbers which can't be proved within not existing, maybe.

825
01:27:57,740 --> 01:28:04,880
And there's a wonderful novel by Apple's so-called Pixel Supernova conjecture,

826
01:28:05,030 --> 01:28:09,670
which features a mathematician who then about as well and has a whole crisis that

827
01:28:09,900 --> 01:28:14,540
he's dedicated his life to something that actually turned out to be untrue.

828
01:28:15,170 --> 01:28:22,850
But I think more interesting is the question of the human biology and, you know, all the limitations, just the capacity of what our brain can do.

829
01:28:23,090 --> 01:28:29,090
So so maybe the Riemann hypothesis, maybe the proof of that, you know, has a complexity to it,

830
01:28:29,090 --> 01:28:38,690
at least that we all get on a certain level, and that the complexity so much that the human brain will never be able to navigate.

831
01:28:39,050 --> 01:28:45,410
The amazing thing for me is that time and again, these things which look like they're just beyond the capacity of human psyche,

832
01:28:45,410 --> 01:28:52,070
somehow find some way to simplify the problem or some new way in.

833
01:28:52,490 --> 01:29:02,600
And we're able to capture we are finding a little bit of breaking up here, even things as complex as handles idea of comparing infinities.

834
01:29:03,590 --> 01:29:10,910
So I still am a believer in, you know, this piece of equipment up here to be able to navigate into the future.

835
01:29:11,060 --> 01:29:19,100
Just amazing searches of mathematics. But I think we do have to recognise that there will be things that by their nature we will never know.

836
01:29:21,690 --> 01:29:22,620
So thank you. Very, very.