All language subtitles for The.Genius.of.George.Boole.2015.WEBRip.x264-RARBG

af Afrikaans
ak Akan
sq Albanian
am Amharic
ar Arabic Download
hy Armenian
az Azerbaijani
eu Basque
be Belarusian
bem Bemba
bn Bengali
bh Bihari
bs Bosnian
br Breton
bg Bulgarian
km Cambodian
ca Catalan
ceb Cebuano
chr Cherokee
ny Chichewa
zh-CN Chinese (Simplified)
zh-TW Chinese (Traditional) Download
co Corsican
hr Croatian
cs Czech
da Danish
en English Download
eo Esperanto
et Estonian
ee Ewe
fo Faroese
tl Filipino
fi Finnish
fr French Download
fy Frisian
gaa Ga
gl Galician
ka Georgian
de German
gn Guarani
gu Gujarati
ht Haitian Creole
ha Hausa
haw Hawaiian
iw Hebrew
hi Hindi
hmn Hmong
hu Hungarian
is Icelandic
ig Igbo
id Indonesian Download
ia Interlingua
ga Irish
it Italian
ja Japanese
jw Javanese
kn Kannada
kk Kazakh
rw Kinyarwanda
rn Kirundi
kg Kongo
ko Korean
kri Krio (Sierra Leone)
ku Kurdish
ckb Kurdish (Soranî)
ky Kyrgyz
lo Laothian
la Latin
lv Latvian
ln Lingala
lt Lithuanian
loz Lozi
lg Luganda
ach Luo
lb Luxembourgish
mk Macedonian
mg Malagasy
ms Malay
ml Malayalam
mt Maltese
mi Maori
mr Marathi
mfe Mauritian Creole
mo Moldavian
mn Mongolian
my Myanmar (Burmese)
sr-ME Montenegrin
ne Nepali
pcm Nigerian Pidgin
nso Northern Sotho
no Norwegian
nn Norwegian (Nynorsk)
oc Occitan
or Oriya
om Oromo
ps Pashto
fa Persian
pl Polish
pt-BR Portuguese (Brazil)
pt Portuguese (Portugal) Download
pa Punjabi
qu Quechua
ro Romanian
rm Romansh
nyn Runyakitara
ru Russian
sm Samoan
gd Scots Gaelic
sr Serbian
sh Serbo-Croatian
st Sesotho
tn Setswana
crs Seychellois Creole
sn Shona
sd Sindhi
si Sinhalese
sk Slovak
sl Slovenian
so Somali
es Spanish Download
es-419 Spanish (Latin American)
su Sundanese
sw Swahili
sv Swedish
tg Tajik
ta Tamil
tt Tatar
te Telugu
th Thai
ti Tigrinya
to Tonga
lua Tshiluba
tum Tumbuka
tr Turkish
tk Turkmen
tw Twi
ug Uighur
uk Ukrainian
ur Urdu
uz Uzbek
vi Vietnamese
cy Welsh
wo Wolof
xh Xhosa
yi Yiddish
yo Yoruba
zu Zulu
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.