Would you like to inspect the original subtitles? These are the user uploaded subtitles that are being translated:
1
00:00:01,233 --> 00:00:04,733
(computer animated music)
2
00:00:07,133 --> 00:00:10,033
- - [Narrator] Today, everything
from how we live, work,
3
00:00:10,033 --> 00:00:14,200
eat, sleep, shop, to how we
play, relies on mathematics.
4
00:00:20,633 --> 00:00:23,900
Our desk top computers,
our mobile phones,
5
00:00:23,900 --> 00:00:28,033
TV, transport, any household
appliance, even street lights.
6
00:00:28,033 --> 00:00:30,567
Anything that uses an
electrical circuit,
7
00:00:30,567 --> 00:00:34,133
relies on a concept
known as boolean logic.
8
00:00:36,800 --> 00:00:40,133
- There isn't a piece of
technology on today's planet
9
00:00:40,133 --> 00:00:44,300
operating without the
application of boolean logic.
10
00:00:45,733 --> 00:00:47,100
- Anybody who knows anything
about how computers work
11
00:00:47,100 --> 00:00:49,100
knows about boolean logic.
12
00:00:49,100 --> 00:00:51,333
That's sort of right down
there at the basis of
13
00:00:51,333 --> 00:00:52,767
modern computing.
14
00:00:54,167 --> 00:00:57,167
- At the very core of a
computing chip is essentially
15
00:00:57,167 --> 00:00:58,333
a switch.
16
00:00:58,333 --> 00:01:00,367
An on/off switch.
17
00:01:00,367 --> 00:01:02,867
In today's computers
it's on a silicone chip,
18
00:01:02,867 --> 00:01:04,133
so you have a transistor.
19
00:01:04,133 --> 00:01:07,067
- So if you're on
it's 1, and off is 0,
20
00:01:07,067 --> 00:01:11,067
that's all you need, and that
is the amazing part of it.
21
00:01:11,067 --> 00:01:12,200
Very simple.
22
00:01:12,200 --> 00:01:14,100
Extraordinarily simple.
23
00:01:17,067 --> 00:01:18,633
- - [Narrator] The grand
designer of this elegantly
24
00:01:18,633 --> 00:01:22,167
simple, but radical idea, is
perhaps one of the world's
25
00:01:22,167 --> 00:01:24,067
greatest unsung heroes.
26
00:01:26,567 --> 00:01:28,067
- Is George Boole important?
27
00:01:28,067 --> 00:01:32,467
Well, no George Boole, no
Google, no Amazon, no Intel,
28
00:01:32,467 --> 00:01:33,567
we could go on.
29
00:01:33,567 --> 00:01:36,233
That makes him pretty important.
30
00:01:37,633 --> 00:01:41,400
- Booles is the father of
modern information technology.
31
00:01:43,067 --> 00:01:45,967
- He was one of the
first people to propose
32
00:01:45,967 --> 00:01:49,733
that the way we think
is by using logic.
33
00:01:49,733 --> 00:01:52,033
- [Narrator] And he would
do this against a backdrop
34
00:01:52,033 --> 00:01:54,200
of Ireland's darkest days.
35
00:01:56,133 --> 00:01:58,167
- I think the problems he
was looking at were human
36
00:01:58,167 --> 00:02:02,133
problems, how people
live and work, and think.
37
00:02:02,133 --> 00:02:05,967
And then tried to reduce that
into simple rules and simple
38
00:02:05,967 --> 00:02:06,867
constructs.
39
00:02:10,833 --> 00:02:12,833
- [Narrator] He would even
apply this approach to man's
40
00:02:12,833 --> 00:02:14,167
oldest question.
41
00:02:17,067 --> 00:02:20,667
- If the world work's according
to fixed or given laws,
42
00:02:20,667 --> 00:02:23,033
and if the human mind
is part of the world,
43
00:02:23,033 --> 00:02:25,800
you can not only
understand the world,
44
00:02:25,800 --> 00:02:29,600
but you can understand
the mind of God.
45
00:02:29,600 --> 00:02:32,733
- [Narrator] Nearly 200
years ago George Boole made
46
00:02:32,733 --> 00:02:34,900
a revolutionary discovery.
47
00:02:36,300 --> 00:02:39,733
The consequences of that
discovery continue to change
48
00:02:39,733 --> 00:02:41,067
our world today.
49
00:02:48,633 --> 00:02:51,567
(electronic music)
50
00:02:54,400 --> 00:02:56,100
- [Narrator] The Tyndall
National Institute
51
00:02:56,100 --> 00:02:58,867
is at the cutting
edge of technology.
52
00:02:58,867 --> 00:03:02,967
Technology made possible by the
discoveries of George Boole.
53
00:03:06,300 --> 00:03:09,100
- What we are here doing,
and a number of groups
54
00:03:09,100 --> 00:03:13,067
in the world are trying
with us, is to try to
55
00:03:13,067 --> 00:03:16,433
get computing to be
faster and more efficient.
56
00:03:16,433 --> 00:03:19,900
We want information to be
transformed in a more efficient
57
00:03:19,900 --> 00:03:22,900
way, and a safe and
more secure way.
58
00:03:28,633 --> 00:03:32,333
- [Narrator] Building on
Boole's legacy at Cork,
59
00:03:32,333 --> 00:03:34,900
Doctor Emanuele Pelucchi
is part of a world-wide
60
00:03:34,900 --> 00:03:38,300
team, trying to make the leap
into the next technological
61
00:03:38,300 --> 00:03:39,133
era.
62
00:03:40,300 --> 00:03:42,000
With an advanced
branch of science,
63
00:03:42,000 --> 00:03:44,267
known as Quantum computing.
64
00:03:48,167 --> 00:03:49,700
- There's not many places
where you can get cleaner
65
00:03:49,700 --> 00:03:52,733
at work than you are
actually at home,
66
00:03:52,733 --> 00:03:54,433
but this is one of those
places where you need to
67
00:03:54,433 --> 00:03:56,000
be extremely clean.
68
00:04:01,333 --> 00:04:04,667
Boole is very important
for our work, because
69
00:04:04,667 --> 00:04:08,500
he is the person who started
the mathematical tools,
70
00:04:08,500 --> 00:04:11,233
which allowed to
design circuits.
71
00:04:12,767 --> 00:04:15,400
It's quite impressive, I'd
say the reason me and all the
72
00:04:15,400 --> 00:04:19,567
people here working here,
is because a guy in the
73
00:04:19,567 --> 00:04:23,867
middle of the 19th century
formally tried to work
74
00:04:23,867 --> 00:04:26,900
on something which was a big
interest to a small number
75
00:04:26,900 --> 00:04:31,267
of academics, and then
something like 80 years later,
76
00:04:31,267 --> 00:04:34,667
it became a
mainstream technology.
77
00:04:34,667 --> 00:04:38,667
And that is actually
an extraordinary thing.
78
00:04:38,667 --> 00:04:40,533
- [Narrator] The work
that Emanuele is doing on
79
00:04:40,533 --> 00:04:43,933
quantum computing will one
day revolutionize the speeds
80
00:04:43,933 --> 00:04:46,267
of which our computers work.
81
00:04:47,133 --> 00:04:49,700
The applications are limitless.
82
00:04:49,700 --> 00:04:52,300
Some of the most complex
equations and calculations
83
00:04:52,300 --> 00:04:55,633
ever devised could
be solved in seconds.
84
00:04:57,967 --> 00:05:00,333
- To some extent Boole is
significantly less known
85
00:05:00,333 --> 00:05:03,033
than other scientific heroes.
86
00:05:03,033 --> 00:05:05,900
It's just not very clear
how important Boole's
87
00:05:05,900 --> 00:05:08,700
legacy has been, and
maybe it's our job to make
88
00:05:08,700 --> 00:05:11,367
it more clear, and advertise it.
89
00:05:17,967 --> 00:05:20,867
- [Narrator] Every day Emanuele
walks past George Boole's
90
00:05:20,867 --> 00:05:22,867
home on his way to work.
91
00:05:24,033 --> 00:05:26,800
- It's sometimes quite
nice to think that when
92
00:05:26,800 --> 00:05:30,333
you live in Cambridge, you're
staying nearby the same
93
00:05:30,333 --> 00:05:31,833
College where Newton was.
94
00:05:31,833 --> 00:05:35,833
There's history around
you, and here's the same.
95
00:05:37,600 --> 00:05:40,900
- [Narrator] This 18th century
house but a stone's throw
96
00:05:40,900 --> 00:05:45,400
from University College Cork,
has been sadly neglected
97
00:05:45,400 --> 00:05:49,567
since the days when George
Boole made his home here.
98
00:05:51,067 --> 00:05:54,167
- Everybody who's passing by
here doesn't actually know
99
00:05:54,167 --> 00:05:57,733
that a lot of the technology
they're using today, has it's
100
00:05:57,733 --> 00:06:00,700
roots in George Boole's work.
101
00:06:00,700 --> 00:06:04,800
It's a pity, we should have
this house telling that,
102
00:06:04,800 --> 00:06:07,167
of George Boole gave an
important contribution
103
00:06:07,167 --> 00:06:08,233
to our world.
104
00:06:09,667 --> 00:06:11,200
- [Narrator] This year,
in recognition of Boole's
105
00:06:11,200 --> 00:06:14,433
importance, University
College Cork,
106
00:06:14,433 --> 00:06:17,367
and Cork City Council,
are finally restoring the
107
00:06:17,367 --> 00:06:19,633
house to it's former glory.
108
00:06:25,567 --> 00:06:29,233
2015 marks the Bicentenary
of Boole's birth.
109
00:06:30,633 --> 00:06:32,967
And the University is
pulling out all the stops,
110
00:06:32,967 --> 00:06:34,567
to celebrate the event.
111
00:06:34,567 --> 00:06:38,700
- And here he is, I
haven't seen this before.
112
00:06:38,700 --> 00:06:43,467
I hadn't heard of him, even
as a student here in the 1970s
113
00:06:43,467 --> 00:06:46,667
I spent six years on the
campus, and I don't believe
114
00:06:46,667 --> 00:06:51,200
that I heard of George Boole
once during those six years.
115
00:06:51,200 --> 00:06:55,367
We're using every vehicle
possible to spread the message.
116
00:06:59,667 --> 00:07:03,600
We've a year long series
of commemorative events,
117
00:07:03,600 --> 00:07:05,633
there's a whole series of
lectures, we have a series
118
00:07:05,633 --> 00:07:08,633
of conferences, we have
a collaboration with
119
00:07:08,633 --> 00:07:11,533
Massachusetts Institute of
Technology, exhibitions around
120
00:07:11,533 --> 00:07:14,800
the world, the publication
of his biography,
121
00:07:14,800 --> 00:07:16,867
and the genealogy
project on who he was
122
00:07:16,867 --> 00:07:19,567
and who descended from him,
and what they contributed
123
00:07:19,567 --> 00:07:20,600
to the world.
124
00:07:20,600 --> 00:07:22,233
It's a very big program.
125
00:07:22,233 --> 00:07:23,067
- Who are you?
126
00:07:23,067 --> 00:07:24,633
- In the flesh, history.
127
00:07:24,633 --> 00:07:26,567
- Josh, thank you.
128
00:07:26,567 --> 00:07:27,967
- It is a pleasure Sir,
an absolute pleasure.
129
00:07:27,967 --> 00:07:30,733
- Every day at about 3
o'clock there's a Boole tour.
130
00:07:30,733 --> 00:07:33,133
And, he must be the tour guide.
131
00:07:33,133 --> 00:07:34,233
In character.
132
00:07:36,833 --> 00:07:38,800
- I first knew about Boole
when I first started coming
133
00:07:38,800 --> 00:07:40,733
to this campus.
134
00:07:40,733 --> 00:07:43,333
Because among the things
I was told, was that this
135
00:07:43,333 --> 00:07:46,433
was the campus at which
George Boole had worked.
136
00:07:46,433 --> 00:07:48,633
Next question was,
who's George Boole?
137
00:07:48,633 --> 00:07:51,400
(laughs)
138
00:07:51,400 --> 00:07:52,700
- We're not selling Boole.
139
00:07:52,700 --> 00:07:54,367
We're sharing a story.
140
00:07:54,367 --> 00:07:58,200
And we're sharing it
because genius deserves
141
00:07:58,200 --> 00:08:02,367
to be recognized, particularly
where genius has had
142
00:08:02,367 --> 00:08:05,133
such enormous impact on
the lives of every single
143
00:08:05,133 --> 00:08:06,867
person on the planet.
144
00:08:08,933 --> 00:08:11,733
- [Narrator] This is a story
about how one man sparked
145
00:08:11,733 --> 00:08:13,967
a new era in human history.
146
00:08:16,933 --> 00:08:19,167
- Well he's certainly
relatively unknown.
147
00:08:19,167 --> 00:08:21,300
I did an exercise
about 18 months ago,
148
00:08:21,300 --> 00:08:25,967
where I Googled Darwin,
found some 16 million pages,
149
00:08:25,967 --> 00:08:28,867
and I Googled Albert
Einstein, and found something
150
00:08:28,867 --> 00:08:31,200
in the region of 48 million.
151
00:08:33,167 --> 00:08:35,067
And then I Googled George
Boole, and if I recall,
152
00:08:35,067 --> 00:08:37,400
I found about 430,000 pages.
153
00:08:42,567 --> 00:08:45,800
- George Boole's legacy is
pretty important to anyone who
154
00:08:45,800 --> 00:08:48,567
regards the digital world
as being fundamental
155
00:08:48,567 --> 00:08:51,367
to the way in
which they operate.
156
00:08:51,367 --> 00:08:53,233
Without George Boole, life
would be very different
157
00:08:53,233 --> 00:08:55,400
for pretty well all of us.
158
00:09:07,500 --> 00:09:10,567
- [Narrator] Throughout
history man has been obsessed
159
00:09:10,567 --> 00:09:13,133
with his place in the Universe.
160
00:09:17,033 --> 00:09:20,633
- The landing gear has been
moved inside, so we are
161
00:09:20,633 --> 00:09:22,667
sitting on the surface.
162
00:09:22,667 --> 00:09:24,367
Phil is talking to us--
163
00:09:24,367 --> 00:09:27,800
- [Narrator] In 2014
the European Space
Agency successfully
164
00:09:28,933 --> 00:09:32,433
landed a probe on a
comet in the X quadrant.
165
00:09:38,733 --> 00:09:42,233
To work out the trajectories,
on both the comet
166
00:09:42,233 --> 00:09:46,633
and the probe ESA used a branch
of maths called calculus.
167
00:09:46,633 --> 00:09:49,967
Some of these calculations
were based on those originally
168
00:09:49,967 --> 00:09:51,533
developed by Boole.
169
00:09:54,633 --> 00:09:56,200
- Well the Rosetta Space
Mission is, you know,
170
00:09:56,200 --> 00:09:59,400
when you think about the
accuracy of what they did,
171
00:09:59,400 --> 00:10:02,900
and the amount of time
it took, is staggering.
172
00:10:02,900 --> 00:10:06,567
We become so blase watching
television, accepting
173
00:10:06,567 --> 00:10:09,300
this, that, I mean, do you
have any idea, how difficult
174
00:10:09,300 --> 00:10:12,100
it is, to find a small object
in space, and then land
175
00:10:12,100 --> 00:10:13,500
on it?
176
00:10:13,500 --> 00:10:15,033
Approaching with the
velocity which it is moving,
177
00:10:15,033 --> 00:10:16,967
I think it's fantastic.
178
00:10:18,967 --> 00:10:21,367
- [Narrator] The comet will
reveal new and vital research
179
00:10:21,367 --> 00:10:24,367
about the birth of
our solar system.
180
00:10:26,867 --> 00:10:28,900
Not only has Boole's work
in mathematics played a
181
00:10:28,900 --> 00:10:31,933
critical part in getting
the probe to the comet,
182
00:10:31,933 --> 00:10:36,800
but also in how we receive
the data, across 500 million
183
00:10:36,800 --> 00:10:38,467
kilometers of space.
184
00:10:39,900 --> 00:10:41,533
Funnily enough, the pictures
they sent back to earth,
185
00:10:41,533 --> 00:10:43,933
they're not pictures at all,
they're just endless streams
186
00:10:43,933 --> 00:10:46,200
of Boolean ones and zeroes.
187
00:10:47,633 --> 00:10:49,733
When they get back to earth,
they are then translated
188
00:10:49,733 --> 00:10:52,067
into pictures, but they're
essentially strings of
189
00:10:52,067 --> 00:10:54,300
Boolean ones and zeroes
that we're getting
190
00:10:54,300 --> 00:10:55,700
from outer space.
191
00:10:59,500 --> 00:11:01,967
- [Narrator] Boole argued
that almost every value
192
00:11:01,967 --> 00:11:06,133
or question could be reduced
to either true or false.
193
00:11:07,533 --> 00:11:10,900
A simplification of our
world as a basic statement.
194
00:11:10,900 --> 00:11:12,067
A yes or a no.
195
00:11:14,733 --> 00:11:17,967
- Boole looked at what he called
bipolarity in binary terms.
196
00:11:17,967 --> 00:11:20,433
You have North and South,
you have East and West,
197
00:11:20,433 --> 00:11:22,900
you have male and female,
you have up and down.
198
00:11:22,900 --> 00:11:24,433
You have in and out.
199
00:11:24,433 --> 00:11:26,733
Just, we have two states of
things, and that seems to be
200
00:11:26,733 --> 00:11:28,600
the basis of everything he did.
201
00:11:28,600 --> 00:11:31,433
If you have just one state,
you'll never get off the ground.
202
00:11:31,433 --> 00:11:34,833
And if you've ten states,
like we have ten fingers,
203
00:11:34,833 --> 00:11:37,233
then that's too complicated,
you get too many
204
00:11:37,233 --> 00:11:38,700
symbols to work with.
205
00:11:38,700 --> 00:11:41,000
And a computer or any other
electronic device has tow states
206
00:11:41,000 --> 00:11:43,100
basically on or off.
207
00:11:43,100 --> 00:11:45,467
A circuit is switched
on or switched off.
208
00:11:45,467 --> 00:11:47,100
And the one for on,
and a zero for off.
209
00:11:47,100 --> 00:11:51,433
And everything is just simply
a combination of those.
210
00:11:51,433 --> 00:11:54,167
- [Narrator] Unlike most of
the greatest scientific minds
211
00:11:54,167 --> 00:11:55,633
of his time,
212
00:11:55,633 --> 00:11:58,933
George Boole didn't come
from a privileged background.
213
00:11:58,933 --> 00:12:02,200
Perhaps that's why he chose
the fledgling university
214
00:12:02,200 --> 00:12:04,733
on the Southern
Coast of Ireland.
215
00:12:04,733 --> 00:12:07,067
A country, at the
time, torn apart
216
00:12:07,067 --> 00:12:09,833
by political and
social upheaval.
217
00:12:11,233 --> 00:12:13,833
So how did this modest young
man lay the foundations
218
00:12:13,833 --> 00:12:15,667
for the digital world?
219
00:12:22,367 --> 00:12:26,067
It's the early 1800s, in
a small village called
220
00:12:26,067 --> 00:12:29,167
Broxholme in Lincolnshire
resides George's father,
221
00:12:29,167 --> 00:12:30,067
John Boole.
222
00:12:35,133 --> 00:12:39,500
A shoe-maker by trade, but
unfulfilled by his profession.
223
00:12:39,500 --> 00:12:41,900
He supplements his
thirst for knowledge
224
00:12:41,900 --> 00:12:46,067
by studying the sciences,
Mathematics and literature.
225
00:12:49,333 --> 00:12:52,733
He also develops a
passion for astronomy.
226
00:12:54,467 --> 00:12:56,233
- I think the first thing is
that it would be extraordinary
227
00:12:56,233 --> 00:12:58,367
that a cobbler would be
able to read and write,
228
00:12:58,367 --> 00:13:01,133
because remember universe
literacy is a 20th century
229
00:13:01,133 --> 00:13:02,367
phenomena.
230
00:13:02,367 --> 00:13:03,633
Most kids didn't go to
school, or if they did,
231
00:13:03,633 --> 00:13:05,100
they certainly wouldn't
have picked up an awful
232
00:13:05,100 --> 00:13:07,833
lot of knowledge
and information.
233
00:13:09,567 --> 00:13:14,100
George inherits his father's
appetite for knowledge,
234
00:13:14,100 --> 00:13:17,433
to understand our
place in the universe.
235
00:13:20,633 --> 00:13:22,633
- George Boole and his father
built their own telescope
236
00:13:22,633 --> 00:13:25,233
and they would invite the
neighbours in to look at the
237
00:13:25,233 --> 00:13:28,033
wonders of the heavens,
but only if they looked to
238
00:13:28,033 --> 00:13:30,067
the heavens in a righteous
manner, and they worshiped God.
239
00:13:30,067 --> 00:13:33,333
He was putting his
beliefs into action.
240
00:13:37,200 --> 00:13:39,333
I think his father was
a frustrated scientist.
241
00:13:39,333 --> 00:13:40,867
He would have liked to
have been a scientist,
242
00:13:40,867 --> 00:13:42,600
but like George he didn't
have any formal education,
243
00:13:42,600 --> 00:13:43,833
but he wasn't in a position.
244
00:13:43,833 --> 00:13:45,233
He had a family, he
had four children,
245
00:13:45,233 --> 00:13:46,633
he had a wife to look after.
246
00:13:46,633 --> 00:13:48,867
So he wasn't in a position
to actually pursue
247
00:13:48,867 --> 00:13:50,533
his love of science.
248
00:13:54,300 --> 00:13:55,867
- [Narrator] Whilst struggling
just to keep his business
249
00:13:55,867 --> 00:14:00,033
afloat, George's father
dedicates every spare
250
00:14:00,033 --> 00:14:02,367
moment he has to
supplementing and encouraging
251
00:14:02,367 --> 00:14:04,700
his son's prodigious talent.
252
00:14:11,333 --> 00:14:15,000
George also is an
irrepressible student,
253
00:14:15,000 --> 00:14:18,000
having mastered more
than five languages.
254
00:14:18,000 --> 00:14:21,467
A 14 year old George
translates the Greek poem
255
00:14:21,467 --> 00:14:23,700
Ode to Spring into English.
256
00:14:25,933 --> 00:14:29,833
His proud father submits
it to the local paper.
257
00:14:31,200 --> 00:14:32,933
- And this caused a great
deal of controversy,
258
00:14:32,933 --> 00:14:34,633
because people wrote
in saying, you know,
259
00:14:34,633 --> 00:14:36,833
I don't think a boy of 12
could have actually done this,
260
00:14:36,833 --> 00:14:38,867
and he had to write letters
back and his father wrote,
261
00:14:38,867 --> 00:14:41,467
yes, this is the unaided
work of a 12 year old.
262
00:14:41,467 --> 00:14:44,300
So I think at that stage,
people realized that they
263
00:14:44,300 --> 00:14:47,367
had a young genius
living among them.
264
00:14:51,367 --> 00:14:53,900
- [Narrator] Two centuries
later, Boole's legacy can be
265
00:14:53,900 --> 00:14:56,967
seen in other
prodigious young minds.
266
00:14:59,367 --> 00:15:04,167
Coding clubs, like Coder
Dojo, founded in Cork in 2011,
267
00:15:04,167 --> 00:15:06,500
are being set up
all over the world,
268
00:15:06,500 --> 00:15:09,200
to help children develop
their computing skills.
269
00:15:09,200 --> 00:15:10,900
- [Girl] Yeah, well done.
270
00:15:10,900 --> 00:15:13,833
- [Teacher] Alright guys
we're setting up a quick
271
00:15:13,833 --> 00:15:15,267
instruction talk.
272
00:15:15,267 --> 00:15:15,933
Who hasn't been here
before, who hasn't been to
273
00:15:15,933 --> 00:15:17,433
Coder Dojo yet?
274
00:15:17,433 --> 00:15:19,033
- [Narrator] Members devise
their own computer games,
275
00:15:19,033 --> 00:15:21,767
create their own animations,
and learn how to use
276
00:15:21,767 --> 00:15:24,267
digital technology creatively.
277
00:15:27,100 --> 00:15:31,433
- One of the things that
made Boole so powerful,
278
00:15:31,433 --> 00:15:32,933
was that he studied
so many languages,
279
00:15:32,933 --> 00:15:35,767
that he was able to read
the primary source texts,
280
00:15:35,767 --> 00:15:37,967
of all the mathematical
theories of the time,
281
00:15:37,967 --> 00:15:40,633
in all the different languages
they were written in.
282
00:15:40,633 --> 00:15:43,600
And facility with languages,
that neuroplasticity
283
00:15:43,600 --> 00:15:45,600
is incredibly important.
284
00:15:46,733 --> 00:15:48,167
As these kids learn
more and more languages,
285
00:15:48,167 --> 00:15:50,233
they get more and more
fluent, and they think
286
00:15:50,233 --> 00:15:51,833
more powerfully.
287
00:15:51,833 --> 00:15:54,633
And I have to say, the
best coders are poets.
288
00:15:54,633 --> 00:15:56,867
They combine creativity
and economy expression
289
00:15:56,867 --> 00:15:58,367
in language.
290
00:15:58,367 --> 00:16:00,133
That talent and that skill
needs to be built young
291
00:16:00,133 --> 00:16:01,767
for it to flourish.
292
00:16:01,767 --> 00:16:04,200
And I think the more you
build it, the more powerful
293
00:16:04,200 --> 00:16:06,933
and more creative
you can become.
294
00:16:08,467 --> 00:16:12,467
What we know is that
when you get creative,
295
00:16:12,467 --> 00:16:16,467
you build that muscle of
computational thinking.
296
00:16:17,933 --> 00:16:22,267
It can take you to
unimaginably amazing places.
297
00:16:22,267 --> 00:16:25,333
And I'm sure that Boole
would have been a programmer.
298
00:16:25,333 --> 00:16:26,900
Were he here today.
299
00:16:38,233 --> 00:16:40,367
- [Narrator] John Boole,
distracted perhaps
300
00:16:40,367 --> 00:16:44,667
by his intellectual
pursuits, loses his business.
301
00:16:44,667 --> 00:16:47,300
And young George, is
forced to become the sole
302
00:16:47,300 --> 00:16:51,367
bread-winner for the
family, as a school teacher.
303
00:16:53,700 --> 00:16:56,567
Despite this, he dedicated
every breathing moment
304
00:16:56,567 --> 00:16:59,167
to mathematics, and in
particular, to a branch of maths
305
00:16:59,167 --> 00:17:00,600
known as calculus.
306
00:17:06,900 --> 00:17:08,400
- Yeah you know every high
school student in the States
307
00:17:08,400 --> 00:17:11,800
just looks forward to doing
calculus, and here's a guy
308
00:17:11,800 --> 00:17:14,000
who never even actually
formally went to school,
309
00:17:14,000 --> 00:17:15,667
inventing things in it.
310
00:17:15,667 --> 00:17:18,300
I'm thinking when my
kids get to high school,
311
00:17:18,300 --> 00:17:21,000
will I have to re-learn it.
312
00:17:21,000 --> 00:17:22,267
It's hard, it's not intuitive.
313
00:17:22,267 --> 00:17:23,633
It's not something that
you go out every day
314
00:17:23,633 --> 00:17:27,400
and see and touch, it's
really very academic.
315
00:17:31,767 --> 00:17:34,233
- [Narrator] Retired maths
professor Des MacHale
316
00:17:34,233 --> 00:17:36,533
is Boole's biographer.
317
00:17:36,533 --> 00:17:39,700
And has spent the last 50
years studying the logicians
318
00:17:39,700 --> 00:17:40,867
life and work.
319
00:17:44,067 --> 00:17:46,433
- Boole's equation was
X squared equals x,
320
00:17:46,433 --> 00:17:47,900
I'm looking at the equation
x to the 7th equals x.
321
00:17:47,900 --> 00:17:51,533
And I'm looking for easy
proofs of results that would
322
00:17:51,533 --> 00:17:53,733
follow from that.
323
00:17:53,733 --> 00:17:54,833
Just for fun.
324
00:17:57,867 --> 00:17:58,900
- [Unidentified Interviewer]
You actually love doing
325
00:17:58,900 --> 00:18:00,133
this stuff?
326
00:18:00,133 --> 00:18:01,633
- Oh I do, absolutely
yeah, this is my hobby.
327
00:18:01,633 --> 00:18:03,833
And you know if you make your
whole career in mathematics
328
00:18:03,833 --> 00:18:06,467
you've got to like doing
this stuff, I mean, you know,
329
00:18:06,467 --> 00:18:08,200
you say to me would you
prefer to go to a good movie,
330
00:18:08,200 --> 00:18:10,200
or do mathematics, well,
331
00:18:12,133 --> 00:18:14,133
Mathematics is experimental
science, and you put
332
00:18:14,133 --> 00:18:18,000
95% of what you do into the
waste paper bin for recycling.
333
00:18:18,000 --> 00:18:20,033
But it's the 5% that
remains that's good.
334
00:18:20,033 --> 00:18:23,067
It's like, mining for gold.
335
00:18:23,067 --> 00:18:24,767
It's like a game, I suppose,
like a computer game
336
00:18:24,767 --> 00:18:26,533
you play where yo press
the buttons and you know
337
00:18:26,533 --> 00:18:28,700
what to do, and it's very
much in the spirit of
338
00:18:28,700 --> 00:18:29,933
what Boole did.
339
00:18:38,033 --> 00:18:40,067
- [Narrator] By his
twenties, while still working
340
00:18:40,067 --> 00:18:42,933
as a school teacher, Boole
manages to find time,
341
00:18:42,933 --> 00:18:47,100
to research and publish
over 50 papers on calculus.
342
00:18:48,367 --> 00:18:50,767
One of which, wins a
gold medal from the
343
00:18:50,767 --> 00:18:52,767
Royal Society in London.
344
00:18:58,300 --> 00:19:03,167
And then Boole develops a
new branch of mathematics.
345
00:19:03,167 --> 00:19:04,567
Invariant theory.
346
00:19:08,967 --> 00:19:11,400
- Invariant theory asked the
question, if you have an object
347
00:19:11,400 --> 00:19:13,767
in mathematics, and you
perform a mathematical
348
00:19:13,767 --> 00:19:16,633
transformation on that
object, what stays the same,
349
00:19:16,633 --> 00:19:18,100
and what changes?
350
00:19:18,100 --> 00:19:21,000
So a good elementary example
would be, if you take a circle,
351
00:19:21,000 --> 00:19:23,267
and you take its center,
you rotate the circle,
352
00:19:23,267 --> 00:19:24,900
well then all the points
of the circumference
353
00:19:24,900 --> 00:19:28,033
of the circle move, but
the center stayed the same.
354
00:19:28,033 --> 00:19:32,200
That is an invariant of that
particular transformation.
355
00:19:34,500 --> 00:19:36,700
To actually come along
and invent a whole new
356
00:19:36,700 --> 00:19:40,500
area of mathematics, is quite
an extraordinary thing to do,
357
00:19:40,500 --> 00:19:43,700
and especially for a, let's
say 25 year old student
358
00:19:43,700 --> 00:19:45,967
who was self-educated in
mathematics, to do this
359
00:19:45,967 --> 00:19:48,000
is unbelievably,
it's preposterous,
360
00:19:48,000 --> 00:19:50,500
that one could actually do it.
361
00:19:54,167 --> 00:19:56,567
- He was a mathematical savant,
just one of these people
362
00:19:56,567 --> 00:19:57,800
who have a deep curiosity
and just a phenomenal
363
00:19:57,800 --> 00:20:01,667
capacity to learn, and
also a curiosity and
364
00:20:01,667 --> 00:20:03,900
an ability to invent.
365
00:20:03,900 --> 00:20:06,500
Because see a lot of what he's
doing, he's inventing things.
366
00:20:06,500 --> 00:20:09,567
He's discovering and
inventing new languages
367
00:20:09,567 --> 00:20:13,467
that can describe things
in a mathematical way.
368
00:20:14,867 --> 00:20:17,000
- [Narrator] Invariant Theory
was not fully appreciated
369
00:20:17,000 --> 00:20:18,700
in Boole's lifetime.
370
00:20:19,833 --> 00:20:23,267
But 70 years later,
Albert Einstein uses it
371
00:20:23,267 --> 00:20:25,433
to develop his own theory.
372
00:20:27,600 --> 00:20:29,467
- It also became
important in physics.
373
00:20:29,467 --> 00:20:32,233
Because in physics you ask
the question what stays
374
00:20:32,233 --> 00:20:33,933
the same, what's the big
invariant in physics?
375
00:20:33,933 --> 00:20:37,967
And it's C, which is
the velocity of light.
376
00:20:37,967 --> 00:20:40,200
- [Narrator] Without
Boole's work on invariance,
377
00:20:40,200 --> 00:20:42,300
Einstein's theory of relativity
378
00:20:42,300 --> 00:20:45,033
might never have
been discovered.
379
00:20:46,967 --> 00:20:50,200
- I think that he
investigated and did discovery
380
00:20:50,200 --> 00:20:52,167
in the area of Invariant theory,
381
00:20:52,167 --> 00:20:54,033
and it's a very important
line of mathematics,
382
00:20:54,033 --> 00:20:56,100
which then has a link
into some of the work
383
00:20:56,100 --> 00:21:00,267
that was done with, in
relativity, and atomic physics.
384
00:21:00,267 --> 00:21:03,333
So again you have this
person, just playing in an
385
00:21:03,333 --> 00:21:05,767
area, coming up with a
language that helps describe
386
00:21:05,767 --> 00:21:10,500
something, and that language
gets used elsewhere.
387
00:21:10,500 --> 00:21:12,400
- [Narrator] Condemned to
being the sole provider
388
00:21:12,400 --> 00:21:15,567
for his parents, sister,
and two young brothers,
389
00:21:15,567 --> 00:21:18,000
on a modest teacher's salary.
390
00:21:20,900 --> 00:21:23,000
The prospect of improving
his situation with a
391
00:21:23,000 --> 00:21:26,833
University education,
seemed beyond his reach.
392
00:21:28,533 --> 00:21:32,267
- It cost a lot of money, to
get a third level education
393
00:21:32,267 --> 00:21:33,900
or degree in the 19th Century.
394
00:21:33,900 --> 00:21:35,800
He didn't have money like
that, and even if he did,
395
00:21:35,800 --> 00:21:37,600
he probably couldn't have
done it, because he had
396
00:21:37,600 --> 00:21:40,833
to support his family
at the same time.
397
00:21:42,700 --> 00:21:46,200
But thanks to his prestigious
award by the Royal Society
398
00:21:46,200 --> 00:21:49,800
Boole's work is beginning
to be recognized.
399
00:21:54,467 --> 00:21:59,367
In 1839, he's offered a place
at Cambridge University.
400
00:21:59,367 --> 00:22:01,167
But there's a problem.
401
00:22:03,400 --> 00:22:04,600
- George Boole was an outsider.
402
00:22:04,600 --> 00:22:06,133
He was an academic
outsider, he was also
403
00:22:06,133 --> 00:22:08,300
a social outsider, in that,
you know, you don't mix
404
00:22:08,300 --> 00:22:09,967
in the high social circles,
405
00:22:09,967 --> 00:22:12,800
if you don't have
very much money.
406
00:22:14,267 --> 00:22:16,267
The outsiders are the poor
or the working classes,
407
00:22:16,267 --> 00:22:18,667
just were not part
of what was going on
408
00:22:18,667 --> 00:22:20,667
in the academic world that
belonged to universities
409
00:22:20,667 --> 00:22:23,633
where there was privilege
and where the people who
410
00:22:23,633 --> 00:22:26,233
went there, actually from
privileged and rich backgrounds.
411
00:22:26,233 --> 00:22:30,233
So Boole had to fight
against this all his life.
412
00:22:31,600 --> 00:22:33,333
- [Narrator] Financial
considerations forced Boole
413
00:22:33,333 --> 00:22:35,267
to turn the offer down.
414
00:22:39,367 --> 00:22:41,900
- Boole, I think, did actually
want to go to Cambridge.
415
00:22:41,900 --> 00:22:43,867
But there was no mechanism
whereby a person without
416
00:22:43,867 --> 00:22:45,800
any money or a fellowship
or a scholarship,
417
00:22:45,800 --> 00:22:47,067
could have actually gone.
418
00:22:47,067 --> 00:22:49,000
But on the other
hand, in later life,
419
00:22:49,000 --> 00:22:51,200
he said look, maybe I'm just
as well not to have gone
420
00:22:51,200 --> 00:22:52,767
to Cambridge.
421
00:22:52,767 --> 00:22:54,033
If I went to Cambridge, I
would just go to lectures,
422
00:22:54,033 --> 00:22:56,033
I would just pick
up the information,
423
00:22:56,033 --> 00:22:58,933
and the material, that
other people had taught,
424
00:22:58,933 --> 00:23:01,200
and I would then reproduce
that and maybe extend that.
425
00:23:01,200 --> 00:23:04,133
He certainly would not
have gone off in a radical
426
00:23:04,133 --> 00:23:06,600
direction in
mathematics, or logic.
427
00:23:06,600 --> 00:23:09,767
I mean his strong
suit was creativity.
428
00:23:11,233 --> 00:23:14,567
- [Narrator] Now aged 25,
it looks like Boole will be
429
00:23:14,567 --> 00:23:18,167
destined to live out
his life in obscurity.
430
00:23:21,433 --> 00:23:25,167
But ten years later, he
gets a second chance.
431
00:23:33,167 --> 00:23:37,333
In 1849 a new University
College is opened in Cork.
432
00:23:40,800 --> 00:23:43,700
This college is
seeking professors.
433
00:23:46,833 --> 00:23:48,767
Boole decides to apply.
434
00:23:50,433 --> 00:23:53,167
Since he has no academic
qualifications, he asks for
435
00:23:53,167 --> 00:23:56,267
letters of recommendation
from some of the most
436
00:23:56,267 --> 00:24:00,033
prominent members of the
scientific community.
437
00:24:02,667 --> 00:24:05,100
- Boole had some very acceptable
letters of recommendation
438
00:24:05,100 --> 00:24:07,300
from eminent mathematicians,
of the day in the
439
00:24:07,300 --> 00:24:08,767
United Kingdom.
440
00:24:08,767 --> 00:24:11,800
The foremost probably was
Lord Kelvin, William Thompson,
441
00:24:11,800 --> 00:24:13,867
and he was one of the foremost
mathematicians of the day.
442
00:24:13,867 --> 00:24:16,333
Also Augustus De Morgan,
who was a professor
443
00:24:16,333 --> 00:24:20,200
at London University, Phillip
Kelland, Robert Ellis,
444
00:24:20,200 --> 00:24:24,367
names that everybody in
mathematics would have known.
445
00:24:26,233 --> 00:24:29,633
- I have carefully examined
all that Mr Boole has written,
446
00:24:29,633 --> 00:24:32,333
and have no hesitation
in assigning him a place
447
00:24:32,333 --> 00:24:35,733
amongst the very foremost
rank of the mathematicians.
448
00:24:35,733 --> 00:24:38,733
- I have much pleasure in
stating that Mr Boole's earlier
449
00:24:38,733 --> 00:24:41,300
contribution to the Cambridge
mathematical journey
450
00:24:41,300 --> 00:24:43,800
of which I was for
some time the editor,
451
00:24:43,800 --> 00:24:46,233
convinced me that
his mathematical
abilities, are quite
452
00:24:46,233 --> 00:24:48,167
of the first order.
453
00:24:48,167 --> 00:24:50,667
- Mr Boole of Lincoln has
established a high reputation
454
00:24:50,667 --> 00:24:52,667
amongst mathematicians.
455
00:24:52,667 --> 00:24:55,767
His appointment to such
a situation, would be
456
00:24:55,767 --> 00:24:59,133
highly desirable for
the sake of science.
457
00:25:15,400 --> 00:25:18,300
- [Narrator] In the Autumn
of 1849, a still relatively
458
00:25:18,300 --> 00:25:21,733
fresh faced young man,
sets foot in the quadrangle
459
00:25:21,733 --> 00:25:25,667
of Queens College Cork
for the very first time.
460
00:25:30,600 --> 00:25:34,733
At 35 years of age, George
Boole has become the college's
461
00:25:34,733 --> 00:25:37,733
first ever Professor
of mathematics.
462
00:25:44,900 --> 00:25:48,433
- He would have come up the
avenue, and entered through
463
00:25:48,433 --> 00:25:49,433
the archway.
464
00:25:51,633 --> 00:25:54,667
The teaching rooms are on
the far side, and his office
465
00:25:54,667 --> 00:25:56,933
would have been over there.
466
00:25:58,367 --> 00:26:00,167
But let's face it, in 1849
Ireland wasn't an attractive
467
00:26:00,167 --> 00:26:02,433
place to move to for a job.
468
00:26:04,733 --> 00:26:07,767
And Boole came here admittedly
without a college degree,
469
00:26:07,767 --> 00:26:11,033
but he has his Gold Medal
from the Royal Society,
470
00:26:11,033 --> 00:26:12,500
and he had the most
wonderful set of references
471
00:26:12,500 --> 00:26:15,033
from some of the best
mathematicians in Europe.
472
00:26:15,033 --> 00:26:17,233
So I think that most
people saw that this guy
473
00:26:17,233 --> 00:26:20,400
was arriving with the
capacity to contribute,
474
00:26:20,400 --> 00:26:22,933
uniquely to the intellect
of the university,
475
00:26:22,933 --> 00:26:27,233
and in a discipline critical
to economic and social
476
00:26:27,233 --> 00:26:28,633
development here.
477
00:26:38,767 --> 00:26:43,433
There were only 100, or 120
students, and at this time,
478
00:26:43,433 --> 00:26:46,900
only 20 teaching staff
had been recruited.
479
00:26:46,900 --> 00:26:51,100
So, he was coming to a small
town, in very poor economic
480
00:26:51,100 --> 00:26:54,300
and social shape, to a totally
new institution, without
481
00:26:54,300 --> 00:26:59,067
any reputation, and into a
small, very small community,
482
00:26:59,067 --> 00:27:00,033
of scholars.
483
00:27:03,300 --> 00:27:04,800
I suppose it was the
perfect fit for Boole
484
00:27:04,800 --> 00:27:06,267
for a number of reasons.
485
00:27:06,267 --> 00:27:08,800
The key one for him was
that it gave him a job,
486
00:27:08,800 --> 00:27:11,967
with a salary at a
level that he needed.
487
00:27:11,967 --> 00:27:14,433
Particularly to support
his very poor family,
488
00:27:14,433 --> 00:27:16,267
back in Lincoln.
489
00:27:16,267 --> 00:27:19,767
Perhaps it also gave him the
opportunity to be a big fish
490
00:27:19,767 --> 00:27:21,300
in a small pond.
491
00:27:21,300 --> 00:27:24,267
And it also, because
of the small scale,
492
00:27:24,267 --> 00:27:28,233
probably gave him more time to
think than he would have had
493
00:27:28,233 --> 00:27:32,033
in a large, busy,
well-established University.
494
00:27:35,667 --> 00:27:37,033
- I was lucky enough
to inherit his title as
495
00:27:37,033 --> 00:27:38,633
Associate Professor
of Mathematics.
496
00:27:38,633 --> 00:27:41,400
And I'm not worthy of that,
but it is a very great honor
497
00:27:41,400 --> 00:27:43,767
to say well, I have the
same title as George Boole
498
00:27:43,767 --> 00:27:44,600
had here.
499
00:27:47,667 --> 00:27:51,333
- [Narrator] Boole
now had access to a
well-stocked library.
500
00:27:51,333 --> 00:27:54,533
Stimulating research
from the continent,
501
00:27:54,533 --> 00:27:56,033
at his fingertips.
502
00:28:02,233 --> 00:28:04,633
- Natural science, in French.
503
00:28:06,333 --> 00:28:09,600
Oh, oh, oh, there they
are, there they are.
504
00:28:09,600 --> 00:28:12,100
This is the Quarterly
Journal of Mathematics,
505
00:28:12,100 --> 00:28:15,933
produced in Oxford, sold as
the fist volume, Volume one.
506
00:28:15,933 --> 00:28:18,333
So he'd have ordered that
when it came out first.
507
00:28:18,333 --> 00:28:19,833
1861, still valid.
508
00:28:21,000 --> 00:28:23,367
This is valid mathematics.
509
00:28:23,367 --> 00:28:25,600
And I mean they have, the
most beautiful pictures
510
00:28:25,600 --> 00:28:27,900
here, the most beautiful
illustrations of curves.
511
00:28:27,900 --> 00:28:30,100
These are all done as wood cuts.
512
00:28:30,100 --> 00:28:32,000
He would have felt they
were worth ordering for the
513
00:28:32,000 --> 00:28:35,300
library, and would have
actually had them bound,
514
00:28:35,300 --> 00:28:36,900
and they come here and they
be available for students
515
00:28:36,900 --> 00:28:37,733
to read.
516
00:28:38,767 --> 00:28:40,033
It's very nice.
517
00:28:40,033 --> 00:28:41,233
He certainly would
have handled this,
518
00:28:41,233 --> 00:28:42,733
so these would have
been his books.
519
00:28:42,733 --> 00:28:44,200
It shows here the College
was fairly well stocked
520
00:28:44,200 --> 00:28:46,133
with research journals.
521
00:28:51,800 --> 00:28:55,067
- [Narrator] Boole leaves
his family behind in Lincoln,
522
00:28:55,067 --> 00:28:59,167
and for the first
time, concentrates
fully on his research.
523
00:29:01,967 --> 00:29:06,133
This move to Cork, will
prove to be a turning point.
524
00:29:08,967 --> 00:29:11,000
- I sometimes wonder why
George Boole would go
525
00:29:11,000 --> 00:29:13,200
to a University in
Cork, which at the time,
526
00:29:13,200 --> 00:29:17,033
was relatively new, so it
wasn't on the Academic map.
527
00:29:17,033 --> 00:29:20,700
So, but I think that
a University like
that can give you
528
00:29:20,700 --> 00:29:22,333
a lot of intellectual freedom.
529
00:29:22,333 --> 00:29:25,100
If you go to some of the more
established Universities,
530
00:29:25,100 --> 00:29:27,400
sometimes you have to follow
a certain line of thinking.
531
00:29:27,400 --> 00:29:29,800
Maybe 20 years later you
get to go and do your own
532
00:29:29,800 --> 00:29:32,467
thing, whereas I think
University County Cork,
533
00:29:32,467 --> 00:29:35,933
Queens University Cork,
gave him that opportunity
534
00:29:35,933 --> 00:29:38,567
to be able to explore
multiple things,
535
00:29:38,567 --> 00:29:40,500
and I think if you look
at what he was doing,
536
00:29:40,500 --> 00:29:41,900
it was so unique.
537
00:29:45,533 --> 00:29:47,967
- [Narrator] Here in Cork,
Boole comes up with an idea
538
00:29:47,967 --> 00:29:50,200
that will change the world.
539
00:29:53,633 --> 00:29:55,333
- Sometimes I get asked by
people, could you describe
540
00:29:55,333 --> 00:29:56,900
the essence of what Boole did.
541
00:29:56,900 --> 00:29:59,667
What was his major achievement,
and also what's it about,
542
00:29:59,667 --> 00:30:01,300
what's it got to do with me?
543
00:30:01,300 --> 00:30:03,800
And I would say, he
reduced basic ideas into
544
00:30:03,800 --> 00:30:05,667
algebraic symbols, and
they were very simple
545
00:30:05,667 --> 00:30:06,867
algebraic symbols.
546
00:30:06,867 --> 00:30:08,633
But to write them
down in symbolic form,
547
00:30:08,633 --> 00:30:10,133
was a masterpiece.
548
00:30:18,900 --> 00:30:20,700
Boolean Logic now looks
like an obvious idea,
549
00:30:20,700 --> 00:30:23,867
but it takes a genius
to spot an obvious idea.
550
00:30:23,867 --> 00:30:25,667
I mean Newton is
regarded as a genius,
551
00:30:25,667 --> 00:30:28,033
because of the story of the
apple, he saw an apple fall
552
00:30:28,033 --> 00:30:30,767
from a tree and asked
what made it fall down.
553
00:30:30,767 --> 00:30:32,200
Now apples have been
galling from trees
554
00:30:32,200 --> 00:30:34,433
from tens of thousands
of years before that,
555
00:30:34,433 --> 00:30:36,433
but no-body ever said, hang
on, what's making that apple
556
00:30:36,433 --> 00:30:38,667
fall down, or why does
the force of gravity work?
557
00:30:38,667 --> 00:30:41,667
So I think it takes great
genius to spot a very obvious
558
00:30:41,667 --> 00:30:44,667
thing, and ask the
obvious question.
559
00:30:48,067 --> 00:30:52,200
- [Narrator] So how does
the mind of a genius work?
560
00:30:52,200 --> 00:30:55,167
For Boole, the process
of discovery is triggered
561
00:30:55,167 --> 00:30:59,000
by his new life, and the
circumstance in which he
562
00:30:59,000 --> 00:31:00,500
now finds himself.
563
00:31:12,833 --> 00:31:14,633
- Paradoxically when he
came to Cork, he did mix
564
00:31:14,633 --> 00:31:17,333
with the higher clergy
with the Bishop of Cork,
565
00:31:17,333 --> 00:31:19,633
and his judges and
various other people.
566
00:31:19,633 --> 00:31:21,333
I think, so he felt at
this stage, maybe I should
567
00:31:21,333 --> 00:31:25,133
move up a little in the social
scale, not for nasty reasons,
568
00:31:25,133 --> 00:31:27,467
but I will be more effective,
I'll be able to do more,
569
00:31:27,467 --> 00:31:29,300
if I'm actually mixing
with these people.
570
00:31:29,300 --> 00:31:31,033
Because these are the
people with power,
571
00:31:31,033 --> 00:31:33,867
these are the
people of authority.
572
00:31:40,967 --> 00:31:41,800
- [Narrator] But although
Boole now mixes with a higher
573
00:31:41,800 --> 00:31:43,167
class of society,
574
00:31:43,167 --> 00:31:45,900
he never feels
quite comfortable.
575
00:31:47,100 --> 00:31:49,167
Especially given what
is happening outside the
576
00:31:49,167 --> 00:31:50,567
University walls.
577
00:31:55,400 --> 00:31:59,500
Ireland in 1849 is a country
in a state of despair.
578
00:32:04,200 --> 00:32:08,733
The Potato Blight reduces
the population by two fifths.
579
00:32:08,733 --> 00:32:11,667
Over one million people
are thought to have died,
580
00:32:11,667 --> 00:32:13,767
many more are emigrating.
581
00:32:15,400 --> 00:32:19,567
County Cork in particular,
is exceptionally deprived.
582
00:32:21,633 --> 00:32:25,567
- Social conditions in
this city, were very bad
583
00:32:26,400 --> 00:32:27,500
at that time.
584
00:32:28,633 --> 00:32:32,467
There were significant
social, economic,
585
00:32:32,467 --> 00:32:34,033
and health challenges.
586
00:32:34,033 --> 00:32:38,600
In fact in that year, Queen
Victoria came to visit Cork
587
00:32:38,600 --> 00:32:41,567
and originally intended
to open the University,
588
00:32:41,567 --> 00:32:45,733
but couldn't come on campus,
because we had cholera here.
589
00:32:47,800 --> 00:32:50,133
- [Narrator] As a man
who had known poverty,
590
00:32:50,133 --> 00:32:54,367
Boole empathized with the
victims of the famine.
591
00:32:54,367 --> 00:32:56,800
In a letter to his sister
Mary Anne, he makes his
592
00:32:56,800 --> 00:32:58,067
feelings clear.
593
00:32:59,633 --> 00:33:03,067
- Over the country you
see utter destitution,
594
00:33:03,067 --> 00:33:07,067
nothing but fields
overgrown with weeds.
595
00:33:07,067 --> 00:33:10,567
Vast desolate bogs,
cabins few in numbers,
596
00:33:12,167 --> 00:33:14,333
I've seen nothing like it.
597
00:33:16,400 --> 00:33:18,633
It is impossible to
relieve this wretchedness
598
00:33:18,633 --> 00:33:20,533
by any private efforts.
599
00:33:21,700 --> 00:33:24,633
The sight of it is
heart-sickening.
600
00:33:36,333 --> 00:33:37,633
- [Narrator] But
Boole isn't content
601
00:33:37,633 --> 00:33:39,633
just to wring his hands.
602
00:33:41,567 --> 00:33:45,733
He wants to understand the
reasons for this crisis.
603
00:33:49,867 --> 00:33:52,133
- George Boole lived in Ireland
at a time of great stress
604
00:33:52,133 --> 00:33:55,333
and distress, and the Irish
famine happened when he
605
00:33:55,333 --> 00:33:58,267
was there, west Cork was an
area that was particularly
606
00:33:58,267 --> 00:34:00,600
badly hit, and I think
there was a lot of,
607
00:34:00,600 --> 00:34:02,533
just broken logic.
608
00:34:02,533 --> 00:34:04,867
You know, we had lots of food,
609
00:34:04,867 --> 00:34:07,833
the food was leaving the
country, as people were dying.
610
00:34:07,833 --> 00:34:10,300
People were leaving the
country, and emigrating to
611
00:34:10,300 --> 00:34:13,433
places like the US, and yet
there was fish in the ocean,
612
00:34:13,433 --> 00:34:14,500
fish in the rivers,
613
00:34:14,500 --> 00:34:15,800
corn in the fields.
614
00:34:15,800 --> 00:34:17,567
And that's illogical.
615
00:34:19,567 --> 00:34:21,233
- [Narrator] Trying to
establish the causes
616
00:34:21,233 --> 00:34:24,067
of the Irish famine is the
first trigger to stimulate
617
00:34:24,067 --> 00:34:26,067
Boole's thought process.
618
00:34:29,133 --> 00:34:31,700
The second, arises
out of his mastery
619
00:34:31,700 --> 00:34:34,300
of several different languages.
620
00:34:35,667 --> 00:34:38,100
- As you try to learn
different languages, you try
621
00:34:38,100 --> 00:34:39,933
to look for a pattern,
and things that are common
622
00:34:39,933 --> 00:34:41,867
between the languages,
because it helps you learn,
623
00:34:41,867 --> 00:34:43,467
helps you learn more quickly.
624
00:34:43,467 --> 00:34:46,867
So my sense is, it really
enabled him to go to the
625
00:34:46,867 --> 00:34:50,300
root of what's common
between a language.
626
00:34:50,300 --> 00:34:51,800
Which then is also, well
what's common between
627
00:34:51,800 --> 00:34:53,200
logical thinking.
628
00:35:00,233 --> 00:35:01,867
- [Narrator] In his attempt
to understand the causes
629
00:35:01,867 --> 00:35:03,933
of Ireland's social ills,
630
00:35:05,100 --> 00:35:06,633
and in his quest to
discover a common
631
00:35:06,633 --> 00:35:10,167
denominator for language,
Boole is setting
632
00:35:10,167 --> 00:35:12,233
himself immense problems.
633
00:35:25,400 --> 00:35:28,167
But these are nothing
compared to the third
634
00:35:28,167 --> 00:35:31,933
and greatest task upon
which he now embarked.
635
00:35:34,900 --> 00:35:37,400
To prove the existence of God.
636
00:35:46,567 --> 00:35:49,633
- Boole was a deeply
religious man.
637
00:35:49,633 --> 00:35:52,700
I think Boole was very
keen on the idea of the
638
00:35:52,700 --> 00:35:56,300
oneness of God, which clashes
somewhat with a Christian
639
00:35:56,300 --> 00:35:57,933
idea of the Trinity.
640
00:36:05,867 --> 00:36:08,067
- [Narrator] Boole's
originality of thought,
641
00:36:08,067 --> 00:36:11,633
is at it's most evident in
his approach to religion.
642
00:36:11,633 --> 00:36:15,033
Which is deliberately
non-denominational.
643
00:36:17,167 --> 00:36:20,067
- In Ireland he attended
his local Church of
644
00:36:20,067 --> 00:36:22,400
Ireland parish church,
where he was a regular
645
00:36:22,400 --> 00:36:24,000
at evensong.
646
00:36:24,000 --> 00:36:27,233
But he also attended the
Unitarian Church, but he never
647
00:36:27,233 --> 00:36:29,833
became a full member of either.
648
00:36:31,133 --> 00:36:34,967
- [Narrator] Boole is convinced
that God is one being.
649
00:36:34,967 --> 00:36:38,033
And he seeks to prove this
by applying to the Bible,
650
00:36:38,033 --> 00:36:40,700
the process of logical analysis.
651
00:36:44,333 --> 00:36:48,200
- Boole was very suspicious
of any doctrinal statements,
652
00:36:48,200 --> 00:36:50,800
any form of organized religion.
653
00:36:56,367 --> 00:36:59,633
Boole's religious motivations
were to strip away
654
00:36:59,633 --> 00:37:01,500
the layers of interpretation,
655
00:37:01,500 --> 00:37:06,033
and get back to the pure
religion, to the oneness
656
00:37:06,033 --> 00:37:10,200
to the unity of God to a
religion free of interpretation.
657
00:37:12,767 --> 00:37:15,000
- [Narrator] Doctor
Mark Hocknell is at the
658
00:37:15,000 --> 00:37:19,167
Royal Society in London to look
through the Boole archives.
659
00:37:21,400 --> 00:37:24,300
Here, we have a note
in Boole's handwriting,
660
00:37:24,300 --> 00:37:27,233
and it's headed
the origin of evil.
661
00:37:27,233 --> 00:37:31,400
For a philosopher of religion
it's really interesting.
662
00:37:31,400 --> 00:37:35,200
He starts with four logical
ideas, four premises.
663
00:37:35,200 --> 00:37:39,000
He says if God is omnipotent,
all things must take
664
00:37:39,000 --> 00:37:42,533
place according to his
will and vice versa.
665
00:37:42,533 --> 00:37:46,700
Second, he says If God is
perfectly good, and if all
666
00:37:48,133 --> 00:37:51,067
things take place according
to his will, absolute evil
667
00:37:51,067 --> 00:37:52,333
does not exist.
668
00:37:53,767 --> 00:37:56,233
And then the third premise,
if God were omnipotent and
669
00:37:56,233 --> 00:37:59,433
benevolence were the sole
principle of his conduct,
670
00:37:59,433 --> 00:38:01,600
then pain could not exist,
671
00:38:02,767 --> 00:38:06,267
and it must exist only
as an instrument of God.
672
00:38:06,267 --> 00:38:08,933
Fourth premise, pain does exist.
673
00:38:10,667 --> 00:38:13,333
And then in the rest of this
paper, he subjects those
674
00:38:13,333 --> 00:38:17,467
four statements to a
rigorous logical analysis.
675
00:38:17,467 --> 00:38:19,167
And you get the sense
that he's thinking
676
00:38:19,167 --> 00:38:20,100
as he's writing.
677
00:38:20,100 --> 00:38:22,333
This is raw thought coming out,
678
00:38:22,333 --> 00:38:23,967
you can see the way
he's crossed things out
679
00:38:23,967 --> 00:38:25,333
where he thinks
he's made a mistake.
680
00:38:25,333 --> 00:38:27,033
And he's written
things in again.
681
00:38:27,033 --> 00:38:29,433
So this is a glimpse
into the mind of Boole.
682
00:38:29,433 --> 00:38:32,000
We're actually seeing the
thoughts going through
683
00:38:32,000 --> 00:38:34,267
his mind and being committed
to paper, as it's actually
684
00:38:34,267 --> 00:38:37,267
happening, and
that's very exciting.
685
00:38:40,033 --> 00:38:42,267
He gets to his conclusion,
just by manipulating
686
00:38:42,267 --> 00:38:44,433
the symbols that he's coded up.
687
00:38:44,433 --> 00:38:46,833
So he treats the problem as
if it were a logical problem
688
00:38:46,833 --> 00:38:48,667
or as if it were a
mathematical problem.
689
00:38:48,667 --> 00:38:50,367
He combines them in
lots of different ways.
690
00:38:50,367 --> 00:38:53,867
So he adds them, subtracts
them, he multiplies them,
691
00:38:53,867 --> 00:38:56,000
and so when combinations
of symbols are shown to be
692
00:38:56,000 --> 00:38:58,900
equivalent, he just eliminates
them from the equation.
693
00:38:58,900 --> 00:39:00,833
And he's left with the
symbols that tell him,
694
00:39:00,833 --> 00:39:04,133
absolute evil does not exist
and pain is an instrument
695
00:39:04,133 --> 00:39:04,967
of good.
696
00:39:07,800 --> 00:39:09,633
If you can understand the
world, if the world is
697
00:39:09,633 --> 00:39:13,467
rational and the world
works according to fixed or
698
00:39:13,467 --> 00:39:17,067
given laws, and if the human
mind is part of the world,
699
00:39:17,067 --> 00:39:20,467
it, therefore, works according
to fixed given rational
700
00:39:20,467 --> 00:39:24,133
laws, you can not only
understand the world,
701
00:39:25,233 --> 00:39:28,433
but you can understand
the mind of God.
702
00:39:31,033 --> 00:39:34,167
- [Narrator] Boole never did
prove the existence of God.
703
00:39:34,167 --> 00:39:35,800
But the attempt to do so,
704
00:39:35,800 --> 00:39:39,967
will eventually lead him to
make his greatest discovery.
705
00:39:41,533 --> 00:39:43,933
- People have this misconception
that science is about
706
00:39:43,933 --> 00:39:45,200
proving things.
707
00:39:46,367 --> 00:39:48,933
And actually, it's
the exact opposite.
708
00:39:48,933 --> 00:39:51,467
You have a hypotheses,
and you try to falsify it.
709
00:39:51,467 --> 00:39:52,767
You try to disprove stuff,
710
00:39:52,767 --> 00:39:55,000
that's what science can do.
711
00:39:56,167 --> 00:39:57,600
- I think what it
shows is curiosity.
712
00:39:57,600 --> 00:40:00,200
He was looking at
taking big problems,
713
00:40:00,200 --> 00:40:03,500
complex things that people
debate and argue about,
714
00:40:03,500 --> 00:40:08,267
and then try to create a
simple order around it.
715
00:40:08,267 --> 00:40:10,300
- [Narrator] George Boole
marries educationalist
716
00:40:10,300 --> 00:40:13,900
Mary Everest, whose uncle
is the surveyor general
717
00:40:13,900 --> 00:40:16,267
of India, and gives his
name to the world's highest
718
00:40:16,267 --> 00:40:17,100
mountain.
719
00:40:18,867 --> 00:40:20,800
They have five daughters.
720
00:40:20,800 --> 00:40:23,800
All proved to be gifted
in mathematics, chemistry,
721
00:40:23,800 --> 00:40:25,033
and literature.
722
00:40:29,667 --> 00:40:33,000
In 1854 Boole publishes
his masterpiece.
723
00:40:34,000 --> 00:40:35,667
The Laws of Thought.
724
00:40:39,333 --> 00:40:42,900
This work will be his
crowning achievement.
725
00:40:45,133 --> 00:40:47,533
But it will be another 80
years before its implications
726
00:40:47,533 --> 00:40:48,600
are realized.
727
00:40:55,400 --> 00:40:56,967
- Did he know how his research
was going to be applied?
728
00:40:56,967 --> 00:40:59,800
Not for one moment
do I think so.
729
00:40:59,800 --> 00:41:01,433
I think what might
have disappointed him,
730
00:41:01,433 --> 00:41:05,000
is how long it took,
before it was applied.
731
00:41:06,400 --> 00:41:10,133
- [Narrator] In 1937, a 21 year
old American Master's degree
732
00:41:10,133 --> 00:41:13,867
student at MIT, makes
a staggering discovery.
733
00:41:15,900 --> 00:41:19,233
Claude Shannon, is studying
electrical engineering,
734
00:41:19,233 --> 00:41:22,867
and stumbles across an 83
year old book written by
735
00:41:22,867 --> 00:41:27,100
a unknown Professor of
Mathematics from Cork.
736
00:41:27,100 --> 00:41:30,000
He realizes that Boole's
19th century research
737
00:41:30,000 --> 00:41:34,333
can be applied to 20th
Century technology.
738
00:41:34,333 --> 00:41:38,467
- So what Shannon did, was
to find a way of implementing
739
00:41:38,467 --> 00:41:42,367
the logic, that Boole
and others had developed,
740
00:41:42,367 --> 00:41:44,200
into a simple circuit.
741
00:41:45,633 --> 00:41:48,467
Showing that you can automatize
operations that were before
742
00:41:48,467 --> 00:41:49,533
by in person.
743
00:41:51,067 --> 00:41:53,567
Before it was a person
switching telephone calls.
744
00:41:53,567 --> 00:41:57,233
It was a lady, which would
say, oh you want to connect
745
00:41:57,233 --> 00:41:58,933
to this person, pop.
746
00:41:58,933 --> 00:42:00,867
And it was a lady doing this.
747
00:42:00,867 --> 00:42:03,933
But you can do, this is a
logic operation, you receive a
748
00:42:03,933 --> 00:42:07,200
request, I want this,
and you apply it.
749
00:42:08,367 --> 00:42:10,433
So what Shannon showed
that you can do this
750
00:42:10,433 --> 00:42:13,900
with relays at the time, and
the modern version of relays,
751
00:42:13,900 --> 00:42:16,533
is the transistor, so it's
actually the same thing.
752
00:42:16,533 --> 00:42:18,700
It made it automatic,
and making it automatic,
753
00:42:18,700 --> 00:42:22,867
makes it fast, cheap, more
reliable, stunningly better,
754
00:42:24,367 --> 00:42:26,367
- [Narrator] Switching circuits
are at the heart of the
755
00:42:26,367 --> 00:42:27,933
telephone industry.
756
00:42:29,367 --> 00:42:33,133
Shannon proves that Boolean
algebra and binary arithmetic
757
00:42:33,133 --> 00:42:35,300
can be used to simplify
the arrangement for
758
00:42:35,300 --> 00:42:37,467
electro-mechanical relays.
759
00:42:38,800 --> 00:42:40,733
- I think what he
stumbled on and uncovered,
760
00:42:40,733 --> 00:42:44,067
was, by using Boolean
algebra, you can now actually
761
00:42:44,067 --> 00:42:46,567
start to build,
back in those days,
762
00:42:46,567 --> 00:42:48,533
the telecom industry.
763
00:42:48,533 --> 00:42:51,067
Start to build
networking, and switching,
764
00:42:51,067 --> 00:42:53,267
and create bigger
and bigger systems,
765
00:42:53,267 --> 00:42:55,767
and I think that link, that's
a very important bridge,
766
00:42:55,767 --> 00:42:57,567
from a mathematical world,
767
00:42:57,567 --> 00:43:01,033
into essentially a
computer design world.
768
00:43:01,033 --> 00:43:02,833
I think he was the guy
that made that bridge,
769
00:43:02,833 --> 00:43:05,100
and made the connection that
I can actually design big
770
00:43:05,100 --> 00:43:08,367
things using these
logical expressions.
771
00:43:16,933 --> 00:43:19,133
- [Narrator] Over the last
century, companies like Intel
772
00:43:19,133 --> 00:43:21,933
have made staggering
improvements to the design
773
00:43:21,933 --> 00:43:23,433
of circuit boards.
774
00:43:29,500 --> 00:43:32,600
- This is one of
our validation labs.
775
00:43:33,933 --> 00:43:36,167
We spend years developing
a micro processor.
776
00:43:36,167 --> 00:43:40,333
It's one of the most complex
machines man's ever made.
777
00:43:42,400 --> 00:43:45,967
Today, the most advanced
silicon chips on earth,
778
00:43:45,967 --> 00:43:49,467
still rely on Boole's
basic laws on logic.
779
00:43:51,767 --> 00:43:55,433
- This is called an AND
gate, right and then
780
00:43:56,567 --> 00:43:58,133
we have like an
input, or two inputs,
781
00:43:58,133 --> 00:44:01,400
and an output, and you can
draw a very simple table
782
00:44:01,400 --> 00:44:03,867
that describes how
an AND gate works.
783
00:44:03,867 --> 00:44:08,067
And then you would know that
if you put a logical zero,
784
00:44:08,067 --> 00:44:12,000
on each one of these inputs,
the output of this device
785
00:44:12,000 --> 00:44:13,767
would just be a zero.
786
00:44:15,100 --> 00:44:16,300
If you have the
input of a zero one,
787
00:44:16,300 --> 00:44:19,267
the AND gate will
always put out a zero,
788
00:44:25,067 --> 00:44:27,233
and the opposite is true
if you put an input of one
789
00:44:27,233 --> 00:44:30,633
on A and zero on B,
you still get a Zero.
790
00:44:31,967 --> 00:44:35,500
And then with this
particular one if you put
791
00:44:35,500 --> 00:44:37,633
two ones on the input, you
get a one on the output.
792
00:44:37,633 --> 00:44:39,667
And that's Boolean logic.
793
00:44:39,667 --> 00:44:42,600
And all a micro processor
is, is combining together
794
00:44:42,600 --> 00:44:46,867
gates like this, in such
a way, that it can solve
795
00:44:46,867 --> 00:44:48,033
math problems.
796
00:44:51,033 --> 00:44:54,367
We're working on chips that
have billions and billions
797
00:44:54,367 --> 00:44:56,567
of transistors on it.
798
00:44:56,567 --> 00:44:59,367
And getting all of these
elements to work together
799
00:44:59,367 --> 00:45:02,033
in harmony, is very challenging.
800
00:45:04,100 --> 00:45:06,867
- [Narrator] And the
miniaturization of
silicon technology,
801
00:45:06,867 --> 00:45:09,200
has led to giant leaps forward,
802
00:45:09,200 --> 00:45:11,400
throughout the
computer industry.
803
00:45:11,400 --> 00:45:14,333
- What I've got in my
hand, is a micro processor.
804
00:45:14,333 --> 00:45:16,167
It'll be going out to
market in the second half of
805
00:45:16,167 --> 00:45:17,800
2015.
806
00:45:17,800 --> 00:45:19,933
It's got more transistors
in it, than the number
807
00:45:19,933 --> 00:45:21,967
of people in our planet.
808
00:45:21,967 --> 00:45:24,367
And the computing power
in this chip is equal
809
00:45:24,367 --> 00:45:26,267
to 3 teraflops.
810
00:45:26,267 --> 00:45:28,367
To give you an idea
of what that is,
811
00:45:28,367 --> 00:45:30,933
ten years ago it would
take a room as big
812
00:45:30,933 --> 00:45:35,200
as the room you're
in, to generate 1
teraflop of computing.
813
00:45:35,200 --> 00:45:37,767
Today I can hold it in my hand.
814
00:45:39,333 --> 00:45:41,967
The design methodology needed
to do something like this,
815
00:45:41,967 --> 00:45:45,533
it comes completely
reliant on the mathematics
816
00:45:45,533 --> 00:45:49,433
that George Boole invented
in the 19th Century.
817
00:45:51,000 --> 00:45:53,800
- [Narrator] But the
application of Boolean logic
818
00:45:53,800 --> 00:45:57,867
is about much more than
just computer technology.
819
00:46:05,133 --> 00:46:07,600
From their earliest
days, the internet giants
820
00:46:07,600 --> 00:46:11,000
have been explicit, that
they are not just search
821
00:46:11,000 --> 00:46:12,667
engine corporations.
822
00:46:13,800 --> 00:46:17,467
They are pioneers in
artificial intelligence.
823
00:46:22,767 --> 00:46:26,033
- If you do a Google search,
most people are just interested
824
00:46:26,033 --> 00:46:30,067
in finding documents that
have all of the words
825
00:46:30,067 --> 00:46:31,767
that they type in.
826
00:46:31,767 --> 00:46:35,600
So implicitly they're saying,
I want documents that contain
827
00:46:35,600 --> 00:46:37,167
the and of these words.
828
00:46:37,167 --> 00:46:41,067
But you can also put in
things that contain the or,
829
00:46:41,067 --> 00:46:42,700
so I could for example
type in something,
830
00:46:42,700 --> 00:46:45,933
say someone documents the
name Hinton, and they contain,
831
00:46:45,933 --> 00:46:50,133
either Geoff or Geoffrey, and
that would be a better search
832
00:46:50,133 --> 00:46:52,367
for me if I wanted to
find everything about me.
833
00:46:52,367 --> 00:46:56,767
The or would be a Boolean
or there, and Google makes
834
00:46:56,767 --> 00:46:57,933
that available.
835
00:46:59,300 --> 00:47:01,100
- [Narrator] Professor
Hinton is perhaps the world's
836
00:47:01,100 --> 00:47:04,033
leading expert on
neural network systems.
837
00:47:04,033 --> 00:47:06,967
An artificial intelligence
technique that he developed
838
00:47:06,967 --> 00:47:08,367
in the mid 1980s.
839
00:47:11,533 --> 00:47:13,300
Not only is he working
on the science of
840
00:47:13,300 --> 00:47:17,467
decision making, but he's also
a descendant of George Boole.
841
00:47:20,367 --> 00:47:21,767
- I am actually related
to George Boole.
842
00:47:21,767 --> 00:47:24,367
I'm his great, great grand son.
843
00:47:25,667 --> 00:47:27,667
I think Boole, particularly
in his later life,
844
00:47:27,667 --> 00:47:30,600
wanted to understand
how thought worked,
845
00:47:30,600 --> 00:47:32,933
and that's still one
of the most fascinating
846
00:47:32,933 --> 00:47:34,567
scientific problems.
847
00:47:34,567 --> 00:47:37,067
And it's obviously
got huge pay offs.
848
00:47:37,067 --> 00:47:38,967
In particular it's got
big payoffs for Google,
849
00:47:38,967 --> 00:47:41,400
because if they could
understand how thoughts
850
00:47:41,400 --> 00:47:43,467
are working in documents,
they would be able to
851
00:47:43,467 --> 00:47:46,633
give you the document
you really want.
852
00:47:48,133 --> 00:47:51,367
If we could get things
that understood,
853
00:47:52,667 --> 00:47:54,133
and that can do perception,
and can understand
854
00:47:54,133 --> 00:47:56,900
reason, there would
be basically no limit
855
00:47:56,900 --> 00:47:58,500
to what we could do.
856
00:48:10,067 --> 00:48:12,767
- [Narrator] Understanding
how the human mind works,
857
00:48:12,767 --> 00:48:15,033
and how we make
decisions, is now a
858
00:48:15,033 --> 00:48:17,133
trillion dollar industry.
859
00:48:19,900 --> 00:48:22,633
And artificial intelligence,
is the pinnacle of
860
00:48:22,633 --> 00:48:25,467
Boole's legacy to
the digital age.
861
00:48:28,900 --> 00:48:32,267
- Boole was really interested
in decision making.
862
00:48:32,267 --> 00:48:34,867
And trying to understand
how decisions can be made.
863
00:48:34,867 --> 00:48:39,033
And, we're still chasing
that exact same question.
864
00:48:45,233 --> 00:48:47,533
- [Narrator] At the core
of artificial intelligence,
865
00:48:47,533 --> 00:48:50,000
is Boole's most
important principle.
866
00:48:50,000 --> 00:48:53,100
That even complex decision
making can be broken down
867
00:48:53,100 --> 00:48:55,967
into a simple set of rules.
868
00:48:55,967 --> 00:48:57,500
- This is a ball.
869
00:48:57,500 --> 00:48:58,533
What is this?
870
00:48:59,367 --> 00:49:00,700
- [Eyecub] Ball.
871
00:49:05,333 --> 00:49:07,467
- [Narrator] This robot is
designed to learn in the same
872
00:49:07,467 --> 00:49:09,533
way a child does.
873
00:49:09,533 --> 00:49:11,667
- This is a tractor.
874
00:49:11,667 --> 00:49:13,667
Where is the tractor?
875
00:49:13,667 --> 00:49:17,300
We use eyecub to replicate
a wide variety of child
876
00:49:17,300 --> 00:49:19,600
psychology experiments.
877
00:49:19,600 --> 00:49:21,333
- No, that's the cup.
878
00:49:22,733 --> 00:49:25,300
And hopefully when we're
doing it right, we get data
879
00:49:25,300 --> 00:49:29,467
that matches what children
do and how children learn.
880
00:49:30,933 --> 00:49:33,733
In a neuron network you
have lots of neurons,
881
00:49:33,733 --> 00:49:35,500
just in our brain.
882
00:49:35,500 --> 00:49:37,467
And in the computer
we simulate this,
883
00:49:37,467 --> 00:49:39,667
so we have lots of
artificial neurons
884
00:49:39,667 --> 00:49:41,767
in our neuron network.
885
00:49:41,767 --> 00:49:45,433
Those connections form
pathways through the system,
886
00:49:45,433 --> 00:49:47,800
so the more often a
particular path is walked,
887
00:49:47,800 --> 00:49:50,133
the wider that path becomes.
888
00:49:51,400 --> 00:49:55,067
You know what fires
together wires together.
889
00:49:56,733 --> 00:49:58,467
Where is the tractor?
890
00:50:01,867 --> 00:50:03,633
Where is the tractor?
891
00:50:09,600 --> 00:50:10,433
Very good.
892
00:50:13,767 --> 00:50:16,000
- [Narrator] Eyecub has
never seen these objects,
893
00:50:16,000 --> 00:50:18,333
or heard these words before.
894
00:50:19,467 --> 00:50:21,800
This is a huge milestone
in the world of AI.
895
00:50:21,800 --> 00:50:23,667
- This is a box.
896
00:50:23,667 --> 00:50:25,100
What is this?
897
00:50:25,100 --> 00:50:26,600
- [Eyecub] Box
898
00:50:26,600 --> 00:50:29,900
- [Narrator] But can a robot
actually think by itself?
899
00:50:29,900 --> 00:50:31,533
- This is a block.
900
00:50:31,533 --> 00:50:33,167
What is this?
901
00:50:33,167 --> 00:50:35,067
- [Eyecub] Box.
902
00:50:35,067 --> 00:50:36,400
- This is a block.
903
00:50:36,400 --> 00:50:37,467
What is this?
904
00:50:38,367 --> 00:50:39,767
- [Eyecub] Block.
905
00:50:41,267 --> 00:50:42,500
- What is this?
906
00:50:43,500 --> 00:50:44,933
- [Eyecub] Block.
907
00:50:44,933 --> 00:50:46,100
- This is a box.
908
00:50:46,100 --> 00:50:48,000
What is this?
909
00:50:48,000 --> 00:50:49,867
- [Eyecub] Box.
910
00:50:49,867 --> 00:50:51,100
- What is this?
911
00:50:52,233 --> 00:50:53,800
- [Eyecub] Block.
912
00:50:53,800 --> 00:50:55,033
- What is this?
913
00:50:56,900 --> 00:50:58,067
- [Eyecub] Box.
914
00:51:01,300 --> 00:51:02,733
- Hide the block.
915
00:51:05,033 --> 00:51:08,100
What we want is for you
to be able to tell Eyecub
916
00:51:08,100 --> 00:51:11,400
to do something new,
teach it exactly how you
917
00:51:11,400 --> 00:51:13,633
would teach another person.
918
00:51:16,633 --> 00:51:19,500
We can teach Eyecub new
skills and new tasks, not by
919
00:51:19,500 --> 00:51:21,533
reprogramming Eyecub.
920
00:51:21,533 --> 00:51:24,400
Not by coming up with
a new set of rules,
921
00:51:24,400 --> 00:51:26,800
by which it's decisions
are going to be made.
922
00:51:26,800 --> 00:51:29,300
But by giving it the
right kinds of experience.
923
00:51:29,300 --> 00:51:32,467
By interacting with
it, talking to it.
924
00:51:37,367 --> 00:51:38,667
Well done Eyecub.
925
00:51:38,667 --> 00:51:40,833
So that's decision making.
926
00:51:42,733 --> 00:51:45,767
It might seem like a
really trivial experiment,
927
00:51:45,767 --> 00:51:49,600
placing a cup over a
block, but the implications
928
00:51:49,600 --> 00:51:51,100
of it are amazing.
929
00:51:54,067 --> 00:51:56,367
- [Narrator] It might not be
long before the unimaginable
930
00:51:56,367 --> 00:51:57,900
becomes imaginable.
931
00:52:00,200 --> 00:52:04,367
And this, is all based on
the work of George Boole.
932
00:52:05,733 --> 00:52:08,067
- You know, the son of
cobblers can do great thing
933
00:52:08,067 --> 00:52:10,300
if you put them in
the right environment,
934
00:52:10,300 --> 00:52:13,000
and he's one of those
folks, that, rare birds,
935
00:52:13,000 --> 00:52:16,167
but they can do
wonderful things.
936
00:52:16,167 --> 00:52:19,000
- [Narrator] Without his
work on calculus projects of
937
00:52:19,000 --> 00:52:22,500
this magnitude, would never
have even been considered.
938
00:52:22,500 --> 00:52:25,167
(loud applause)
939
00:52:28,633 --> 00:52:30,067
- If you want to send a
rocket off into space,
940
00:52:30,067 --> 00:52:32,133
you want to send a
rocket off to the moon,
941
00:52:32,133 --> 00:52:33,733
everybody talks
about the physics,
942
00:52:33,733 --> 00:52:35,033
everyone talks about
the engineering,
943
00:52:35,033 --> 00:52:36,533
and they're wonderful things.
944
00:52:36,533 --> 00:52:38,467
But almost nobody talks about
the original mathematics
945
00:52:38,467 --> 00:52:41,867
that plots out the
paths of trajectories.
946
00:52:43,267 --> 00:52:45,533
- [Narrator] His work on
Invariance was so advanced,
947
00:52:45,533 --> 00:52:48,000
that it would inspire the
greatest minds for centuries
948
00:52:48,000 --> 00:52:48,833
to come.
949
00:52:50,467 --> 00:52:54,633
- Even Higs Bolton comes
from those type of ideas.
950
00:52:56,133 --> 00:52:58,567
- [Narrator] But his need to
interrogate the status quo,
951
00:52:58,567 --> 00:53:01,867
his search for rules in the
most unlikely of places,
952
00:53:01,867 --> 00:53:04,867
will remain his
ever-lasting legacy.
953
00:53:06,167 --> 00:53:08,567
- I believe that Boole
worshiped truth above everything
954
00:53:08,567 --> 00:53:09,967
else.
955
00:53:09,967 --> 00:53:11,700
So no matter who says
something, and no matter who's
956
00:53:11,700 --> 00:53:14,133
famous, it's the
truth of the material
957
00:53:14,133 --> 00:53:18,300
that they actually put
forward, that really counts.
958
00:53:20,667 --> 00:53:22,267
- In many ways the simplest
ideas are the best,
959
00:53:22,267 --> 00:53:25,533
and that's an idea that
runs through not just
960
00:53:25,533 --> 00:53:28,867
mathematics, but the
history of science.
961
00:53:31,000 --> 00:53:32,833
- Did Boole move us
from the Industrial Age
962
00:53:32,833 --> 00:53:34,033
into the Digital Age?
963
00:53:34,033 --> 00:53:35,567
Very probably.
964
00:53:35,567 --> 00:53:36,767
I don't think he intended
to do this, but of course
965
00:53:36,767 --> 00:53:38,333
through the work of
people who followed him,
966
00:53:38,333 --> 00:53:40,033
and people who
picked up his ideas,
967
00:53:40,033 --> 00:53:42,367
we did move from an industrial
age, a mechanical age,
968
00:53:42,367 --> 00:53:43,267
as it were,
969
00:53:44,100 --> 00:53:45,700
into a digital age.
970
00:54:03,667 --> 00:54:06,600
- I think George Boole's
story's got a lot going for it.
971
00:54:06,600 --> 00:54:10,467
His career, the shifts and
changes that he went through.
972
00:54:10,467 --> 00:54:14,533
Most of all, I think he
may have the worst ending,
973
00:54:14,533 --> 00:54:17,467
of anybody I have
ever come across.
974
00:54:23,767 --> 00:54:27,933
- He walked to teach in one
of these rooms one morning,
975
00:54:28,933 --> 00:54:30,667
in 1864, in November.
976
00:54:33,267 --> 00:54:35,833
Got drenched, because he lived
about two and a half miles
977
00:54:35,833 --> 00:54:37,167
from the campus.
978
00:54:44,367 --> 00:54:47,533
He taught all day,
in his wet clothes,
979
00:54:48,733 --> 00:54:51,867
and walked home, and
developed pneumonia.
980
00:54:55,600 --> 00:54:58,100
- [Narrator] Boole's
condition deteriorated.
981
00:54:58,100 --> 00:55:01,267
And on the 8th
December 1864, he died.
982
00:55:03,100 --> 00:55:03,933
He was 49.
983
00:55:08,867 --> 00:55:10,900
- There are stories to
the effect that his death
984
00:55:10,900 --> 00:55:13,533
was hastened by his wife,
because she was interested
985
00:55:13,533 --> 00:55:15,367
in homeopathy.
986
00:55:15,367 --> 00:55:18,800
- She was a health nut, and
she believed that he had,
987
00:55:18,800 --> 00:55:20,700
obviously had
pneumonia of some sort.
988
00:55:20,700 --> 00:55:24,167
She believed that by wrapping
him in freezing cold sheets,
989
00:55:24,167 --> 00:55:27,667
she could get rid of his,
and plunging him into
990
00:55:27,667 --> 00:55:29,833
cold baths, she could
get rid of his pneumonia.
991
00:55:29,833 --> 00:55:34,733
- It is said that she
insisted on either throwing
992
00:55:34,733 --> 00:55:37,933
water on his bed, or at
least ensuring that he was
993
00:55:37,933 --> 00:55:40,167
lying between wet blankets.
994
00:55:43,033 --> 00:55:45,567
I suspect that such
treatment probably would have
995
00:55:45,567 --> 00:55:47,667
hastened his demise.
996
00:55:47,667 --> 00:55:49,167
But pneumonia.
997
00:55:49,167 --> 00:55:51,033
After a wetting.
998
00:55:51,033 --> 00:55:51,867
Very sad.
999
00:56:02,900 --> 00:56:05,967
- [Narrator] Mary Everest
Boole and her five daughters
1000
00:56:05,967 --> 00:56:10,133
continued to honour his memory
for the rest of their lives.
1001
00:56:12,733 --> 00:56:15,433
His memorial can be
found where it should be,
1002
00:56:15,433 --> 00:56:18,367
at University College Cork.
1003
00:56:18,367 --> 00:56:20,600
- This is the Boole
window in the east wing
1004
00:56:20,600 --> 00:56:23,233
of the University College Cork.
1005
00:56:23,233 --> 00:56:25,733
It is Boole in the center
there at the bottom,
1006
00:56:25,733 --> 00:56:28,000
and he's writing in a book.
1007
00:56:29,300 --> 00:56:32,900
And he's surrounded
by famous people.
1008
00:56:32,900 --> 00:56:36,933
You get Pascale,
you get Leibniz, the
inventor of Calculus,
1009
00:56:36,933 --> 00:56:39,833
and you've got Copernicus
to represent astronomy,
1010
00:56:39,833 --> 00:56:41,900
on this side there, and Galileo.
1011
00:56:41,900 --> 00:56:44,167
You can see Archimedes
with the geometric compass
1012
00:56:44,167 --> 00:56:47,400
in his hand, and of
course Newton here.
1013
00:56:47,400 --> 00:56:51,467
You have the english
Mathematicians there,
1014
00:56:51,467 --> 00:56:54,333
are Newton, Napier, and Bacon.
1015
00:56:54,333 --> 00:56:55,867
They were the two inventors
of calculus of course, Newton
1016
00:56:55,867 --> 00:56:57,600
and Leibniz, and Boole was a
great follower of calculus.
1017
00:56:57,600 --> 00:56:59,933
They are some of the most
famous people of all time,
1018
00:56:59,933 --> 00:57:01,933
that you've got there.
1019
00:57:01,933 --> 00:57:04,400
So it's a rather
splendid window.
1020
00:57:04,400 --> 00:57:06,400
It was certainly chosen
by someone who knew Boole
1021
00:57:06,400 --> 00:57:08,400
and knew his background,
and knew the people that
1022
00:57:08,400 --> 00:57:11,067
he would have been impressed by.
1023
00:57:13,333 --> 00:57:16,700
- Boole's work was
irrelevant in his time.
1024
00:57:16,700 --> 00:57:20,100
It was irrelevant for
a century thereafter.
1025
00:57:20,100 --> 00:57:24,867
You can't predict, the outcome,
or the impact of research.
1026
00:57:24,867 --> 00:57:29,067
And we must always support
blue skies thinking,
1027
00:57:29,067 --> 00:57:31,333
curiosity driven research.
1028
00:57:31,333 --> 00:57:35,500
Or we will eliminate Boole's
from our universities today.
1029
00:57:40,767 --> 00:57:43,900
- The digital world is quite
clearly in its infancy.
1030
00:57:43,900 --> 00:57:47,267
And I think that industries at
that point in the development
1031
00:57:47,267 --> 00:57:51,800
in their infancy, struggle to
look back, to look and begin
1032
00:57:51,800 --> 00:57:53,733
to investigate where
they came from.
1033
00:57:53,733 --> 00:57:56,033
It kind of isn't the issue.
1034
00:57:56,033 --> 00:57:58,533
Only when they
mature and grow up,
1035
00:57:58,533 --> 00:58:00,800
and reflect, do they
begin to look back,
1036
00:58:00,800 --> 00:58:04,033
and look at their own heroes
and find their own heroes.
1037
00:58:04,033 --> 00:58:07,800
And I think this is true
of almost every industry.
1038
00:58:07,800 --> 00:58:10,300
Eventually the digital
world will unquestionably
1039
00:58:10,300 --> 00:58:12,233
start to look at it's
heroes, and will discover
1040
00:58:12,233 --> 00:58:16,400
that George Boole was not
just a hero, maybe the hero.
1041
00:58:21,533 --> 00:58:24,367
(Closing Credits)
80660
Can't find what you're looking for?
Get subtitles in any language from opensubtitles.com, and translate them here.