0:00:00.789,0:00:04.600
"The laws of nature are but the mathematical thoughts of God."

0:00:04.862,0:00:07.523
And this is a quote by Euclid of Alexandria.

0:00:07.523,0:00:12.655
He was a Greek mathematician and philosopher who lived about 300 years before Christ

0:00:12.655,0:00:19.691
And the reason why I include this quote is because Euclid is considered to be the father of geometry.

0:00:19.691,0:00:22.663
And it is a neat quote, regardless of your views of God.

0:00:22.663,0:00:25.054
Whether or not God exists or the nature of God.

0:00:25.054,0:00:27.516
It says something very fundamental about nature.

0:00:27.516,0:00:31.649
The laws of nature are but the mathematical thoughts of God.

0:00:31.649,0:00:35.016
That math underpins all of the laws of nature.

0:00:35.016,0:00:37.802
And the word "geometry" itself has Greek roots.

0:00:37.802,0:00:40.983
"Geo" comes from Greek for "Earth".

0:00:40.983,0:00:44.211
"Metry" comes from Greek for "measurement".

0:00:44.211,0:00:47.183
You're probably used to something like the "metric" system.

0:00:47.183,0:00:50.132
And Euclid is considered to be the father of geometry.

0:00:50.132,0:00:52.802
(not because he was the first person who studied geometry),

0:00:52.802,0:00:56.285
you could imagine the very first humans might have studied geometry.

0:00:56.562,0:01:00.024
They might have looked at two twigs on the ground that looked something like that.

0:01:00.024,0:01:02.462
And they might have looked at another pair of twigs that looked like that.

0:01:02.462,0:01:05.178
And said "This is a bigger opening. What is the relationship here?"

0:01:05.178,0:01:13.654
Or they might have looked at a tree that had a branch that came off like that.

0:01:13.654,0:01:18.274
And they said, "Well, there's something similar about this opening here and this opening here."

0:01:18.274,0:01:19.737
Or they might have asked themselves,

0:01:19.737,0:01:26.123
"What is the ratio or what is the relationship between the distance around a circle and the distance across it?

0:01:26.123,0:01:28.352
And is that the same for all circles?

0:01:28.352,0:01:31.812
And is there a way for us to feel really good that that is definitely true?"

0:01:31.812,0:01:34.412
And then once you got to the early Greeks,

0:01:34.412,0:01:39.010
they started to get even more thoughtful about geometric things.

0:01:39.010,0:01:43.259
When you talk about Greek mathematicians like Pythagoras

0:01:43.259,0:01:45.535
(who came before Euclid).

0:01:45.535,0:01:54.511
The reason why people often talk about "Euclidean geometry" is around 300 B.C.

0:01:54.511,0:01:59.832
(and this over here is a picture of Euclid painted by Raphael, and no one really knows what Euclid looked like

0:01:59.832,0:02:05.793
or even when he was born or when he died, so this is just Raphael's impression of what Euclid might have looked like

0:02:05.793,0:02:08.383
while he was teaching in Alexandria).

0:02:08.383,0:02:14.397
But what made Euclid the "Father of Geometry" is really his writing of "Euclid's Elements".

0:02:14.397,0:02:21.263
And, "Euclid's Elements" was essentially a 13-volume textbook

0:02:21.263,0:02:24.773
(and arguably the most famous textbook of all time).

0:02:24.773,0:02:31.441
And what he did in those thirteen volumes was a rigorous, thoughtful, logical march

0:02:31.441,0:02:37.524
through geometry, number theory and solid geometry (geometry in three-dimensions).

0:02:37.524,0:02:40.682
And this right over here is the frontispiece of the English version---

0:02:40.682,0:02:44.955
or the first translation of the English version---of "Euclid's Elements".

0:02:44.955,0:02:47.532
This was done in 1570.

0:02:47.532,0:02:51.851
But it was obviously first written in Greek, and, during the Middle Ages,

0:02:51.851,0:02:55.334
that knowledge was shepherded by the Arabs and it was translated into Arabic.

0:02:55.334,0:03:02.393
And then eventually the late Middle Ages translated it into Latin and then eventually English.

0:03:02.393,0:03:05.806
And when I say that he did a "rigiorous march", Euclid didn't just say,

0:03:05.806,0:03:14.374
"the square of the length of two sides of a right triangle is going to be the same as the square of

0:03:14.374,0:03:18.182
the hypotenuse..." and all these other things (and we'll go into depth about what all these mean).

0:03:18.182,0:03:24.475
He says, "I don't want to feel good that it's probably true. I want to prove to myself that it's true."

0:03:24.475,0:03:29.723
And what he did in "Elements" (especially the six volumes concerned with planar geometry),

0:03:33.215,0:03:37.721
was he started with basic assumptions.

0:03:37.721,0:03:43.747
And those basic assumptions in "geometric speak" are called "axioms" or "postulates".

0:03:43.747,0:03:51.549
And from them he proved, he deduced other statements or "propositions" (these are sometimes called "theorems").

0:03:51.549,0:03:55.729
And then he says, "Now, I know. If this is true and this is true, this must be true."

0:03:55.729,0:03:58.492
And he could also prove that other things cannot be true.

0:03:58.492,0:04:01.255
So then he could prove that this is not going to be the truth.

0:04:01.255,0:04:04.042
He didn't just say, "Well, every circle I've sat in has this property."

0:04:04.042,0:04:06.155
He said, "I've now proven that this is true".

0:04:06.155,0:04:11.402
And then, from there, he could go and deduce other propositions or "theorems"

0:04:11.402,0:04:14.096
(and we can use some of our original "axioms" to do that).

0:04:14.096,0:04:17.068
And what's special about that is no one had really done that before.

0:04:17.068,0:04:23.477
Rigorously proven beyond a shadow of a doubt across a whole, broad sweep of knowledge.

0:04:23.477,0:04:30.095
So not just one proof here or there. He did that for an entire "set" of knowledge.

0:04:30.884,0:04:39.692
A rigorous "march" through a subject so that he could build this scaffold of "axioms" and "postulates" and "theorems" and "propositions"

0:04:39.692,0:04:42.022
(and theorems and propositions are essentially the same thing).

0:04:43.069,0:04:47.881
And for about 2,000 years after Euclid (so this is an unbelievable shelf life for a textbook!),

0:04:47.881,0:04:55.427
people didn't view you as educated if you had not read and understood Euclid's "Elements".

0:04:55.427,0:04:59.862
And "Euclid's Elements" (the book itself) was the second-most printed book in the Western World

0:04:59.862,0:05:01.581
after the Bible.

0:05:01.581,0:05:04.344
This is a math textbook second only to the Bible.

0:05:04.344,0:05:07.943
When the first printing presses came out they said "Okay, let's print the bible. What next?"

0:05:07.943,0:05:09.940
"Let's print 'Euclid's Elements'".

0:05:10.525,0:05:16.606
And to show that this is relevant into the fairly recent past (although it may depend whether or not you argue that

0:05:16.606,0:05:19.416
150-160 years ago is a recent past),

0:05:19.816,0:05:23.779
this right here is a direct quote from Abraham Lincoln (obviously one of the great

0:05:23.779,0:05:26.612
American Presidents). I like this picture of Abraham Lincoln.

0:05:26.612,0:05:29.747
This is actually a photograph of Lincoln in his late-30s.

0:05:29.747,0:05:35.900
But he was a huge fan of "Euclid's Elements". He would actually use it to "fine-tune" his mind.

0:05:35.900,0:05:38.872
While he was riding his horse he would read "Euclid's Elements". While he was in the

0:05:38.872,0:05:40.777
White House he would read "Euclid's Elements".

0:05:41.207,0:05:43.795
But this is a direct quote from Lincoln,

0:05:43.795,0:05:48.415
"In the course of my law reading, I constantly came upon the word 'demonstrate'.

0:05:48.415,0:05:53.454
I thought at first that I understood its meaning, but soon became satisfied that I did not.

0:05:53.454,0:05:59.375
I said to myself, what do I do when I demonstrate more than when I reason or prove?

0:05:59.375,0:06:02.580
How does 'demonstration' differ from any other proof..."

0:06:02.580,0:06:08.454
So, Lincoln is saying there is this word "demonstration" that means proving beyond doubt.

0:06:08.454,0:06:13.307
Something more rigorous---more than just simple feeling good about something or reasoning through it.

0:06:13.307,0:06:17.998
"...I consulted Webster's Dictionary..." (so Webster's dictionary was around even in Lincoln's era)

0:06:17.998,0:06:23.060
"...they told of certain proof---proof beyond the possibility of doubt. But I could

0:06:23.060,0:06:28.005
form no idea of what sort of proof that was. I thought a great many things were proven beyond

0:06:28.005,0:06:32.649
the possibility of doubt without recourse to any such extraordinary process of reasoning

0:06:32.649,0:06:35.668
as I understood 'demonstration' to be.

0:06:35.668,0:06:41.241
I consulted all the dictionaries and books of reference I could find but with no better results.

0:06:41.241,0:06:45.676
You might as well have defined 'blue' to a blind-man.

0:06:45.676,0:06:55.150
At last I said, 'Lincoln, you never can make a lawyer if you do not understand what 'demonstrate' means.

0:06:55.150,0:07:00.467
And I left my situation in Springfield, went home to my father's house, and stayed there until

0:07:00.467,0:07:04.345
I could give any proposition in the six books of Euclid at sight."

0:07:04.345,0:07:06.806
(This refers to the six books concerned with planar geometry.)

0:07:06.806,0:07:11.868
"...I then found out what 'demonstrate' means and went back to my law study."

0:07:11.868,0:07:17.348
So one of the greatest American Presidents of all time felt that, in order to be a great lawyer,

0:07:17.348,0:07:24.128
he had to understood---be able to prove any proposition in the six books of "Euclid's Elements"

0:07:24.128,0:07:30.885
at sight. And also, once he was in the White House he continued to do this to "fine-tune" his mind

0:07:30.885,0:07:32.954
to become a great President.

0:07:33.447,0:07:36.922
And so, what we're going to be doing in the geometry playlist is essentially that.

0:07:36.922,0:07:42.806
What we're going to study---we're going to think about how do we "rigorously" prove things?

0:07:42.868,0:07:49.624
We're essentially going to be---in a more modern form---studying what Euclid studied 2,300 years ago.

0:07:49.624,0:07:59.812
To really tighten our reasoning of different statements and be sure that when we say something,

0:07:59.812,0:08:01.972
we can really prove what we're saying.

0:08:01.972,0:08:06.388
This is really some of the most fundamental, "real" mathematics that you will do.

0:08:06.388,0:08:08.525
Arithmetic was really just computation.

0:08:08.525,0:08:12.820
Now, in geometry, (and what we'll be doing is Euclidean geometry)

0:08:12.820,0:08:17.000
this is really what math is about.

0:08:17.000,0:08:21.388
Making some assumptions and then deducing other things from those assumptions.