WEBVTT

00:00:02.439 --> 00:00:06.919
All rise. This week, mathematics is going on

00:00:06.919 --> 00:00:11.380
trial. The charges are a bit unusual. Mathematics

00:00:11.380 --> 00:00:14.859
stands accused of being difficult, abstract,

00:00:15.380 --> 00:00:20.539
beautiful, practical, mind -boggling, and remarkably

00:00:20.539 --> 00:00:24.179
consistent. It has even predicted things about

00:00:24.179 --> 00:00:27.140
the universe before anyone knew they existed.

00:00:28.000 --> 00:00:31.739
So what does the evidence reveal? Is mathematics

00:00:31.739 --> 00:00:34.200
simply a useful invention of our human mind,

00:00:34.299 --> 00:00:37.859
or are we discovering patterns already living

00:00:37.859 --> 00:00:41.460
into reality? And if mathematics can lead us

00:00:41.460 --> 00:00:43.340
toward the hidden structure of the universe,

00:00:43.619 --> 00:00:46.640
can it also tell us anything about how to live?

00:00:47.880 --> 00:00:52.380
Mathematics, please take the stand. Okay, here

00:00:52.380 --> 00:00:55.679
we go. Our first issue in any trial is the burden

00:00:55.679 --> 00:00:58.880
of proof. The person making the claim must provide

00:00:58.880 --> 00:01:01.490
enough evidence to support it. but different

00:01:01.490 --> 00:01:04.370
kinds of cases require different levels of evidence.

00:01:04.709 --> 00:01:08.829
A civil court may decide according to a preponderance

00:01:08.829 --> 00:01:12.010
of the evidence what is more likely than not.

00:01:12.290 --> 00:01:15.510
A criminal conviction requires the stronger standard

00:01:15.510 --> 00:01:20.290
of beyond a reasonable doubt. However, math demands

00:01:20.290 --> 00:01:24.310
something stronger still. Testing thousands or

00:01:24.310 --> 00:01:27.310
even millions of examples cannot establish that

00:01:27.310 --> 00:01:31.180
a mathematical statement is always true. Examples

00:01:31.180 --> 00:01:34.920
do provide evidence, but math requires proof,

00:01:35.200 --> 00:01:38.599
a logical argument showing that the conclusion

00:01:38.599 --> 00:01:42.340
must follow from the starting assumptions. For

00:01:42.340 --> 00:01:44.959
example, the Pythagorean theorem does not become

00:01:44.959 --> 00:01:47.879
more true each time someone measures a right

00:01:47.879 --> 00:01:51.799
triangle. But once it is proved, it applies to

00:01:51.799 --> 00:01:55.219
every right triangle in Euclidean geometry, including

00:01:55.219 --> 00:01:58.400
those that no one has ever drawn and those that

00:01:58.400 --> 00:02:02.859
no one ever will. This is an extraordinary claim

00:02:02.859 --> 00:02:07.180
that math makes. Not merely this seems to work,

00:02:07.280 --> 00:02:12.620
but this must be so. That kind of certainty is

00:02:12.620 --> 00:02:17.479
powerful, at least to me. But in life, we rarely

00:02:17.479 --> 00:02:20.780
meet this standard. My most important decisions

00:02:20.780 --> 00:02:24.800
do not come with mathematical proof. We cannot

00:02:24.800 --> 00:02:27.520
prove that a friendship will last or that a new

00:02:27.520 --> 00:02:30.479
direction will succeed. or that someone will

00:02:30.479 --> 00:02:33.659
always remain faithful. Instead, we look for

00:02:33.659 --> 00:02:36.340
another kind of evidence, perhaps consistency

00:02:36.340 --> 00:02:42.060
or character, maybe experience. How about a trustworthy

00:02:42.060 --> 00:02:45.960
pattern over time? The evidence may not eliminate

00:02:45.960 --> 00:02:49.139
every doubt, but it can give us reasonable grounds

00:02:49.139 --> 00:02:53.759
for taking our next step. So, on the charge of

00:02:53.759 --> 00:02:57.740
demanding proof, mathematics is found guilty.

00:02:59.280 --> 00:03:02.979
Of course, rarely does life offer proof. More

00:03:02.979 --> 00:03:06.039
often, it offers enough evidence to make trust

00:03:06.039 --> 00:03:10.319
reasonable. So our question to kick off our week

00:03:10.319 --> 00:03:13.699
is, is there a decision where we are demanding

00:03:13.699 --> 00:03:16.680
certainty when the evidence has already given

00:03:16.680 --> 00:03:19.919
us enough reason to take one hopeful step?