0:02
hello this is nastinowski the class is
0:04
the outer limits of reasoning
0:06
and this is a very interesting classes
0:10
the first tape of this class
0:11
and so i'd like to spend the whole day
0:13
just going through what we'll see in
0:15
why it's important um the book is the
0:18
outer limits of reason
0:20
what science mathematics and logic
0:23
and we're going to um
0:27
we're going to do chapter one today okay
0:31
so let me tell you what this class is
0:41
the reason why this class is interesting
0:42
is because for your entire
0:44
educational life you've been learning
0:46
what science and math
0:47
and technology can do what this class
0:50
is tells you what science and math and
0:54
okay so for that alone it's an
1:01
when i usually do this class in
1:05
with people i usually do a nice trick
1:13
and i put down some dominoes on a
1:17
i can't do it has to be done with people
1:18
and it has to be you know a challenge
1:20
and we have a lot of fun and we have
1:22
laughter and giggling about it
1:23
but basically you can read about it in
1:26
the beginning of the book
1:27
it's a very nice challenge it's a very
1:28
nice interesting thing and the point is
1:31
that it's something that cannot be done
1:34
okay it's a it's a puzzle it's a
1:38
that there's no solution to it and we
1:40
get a feel for something like that
1:48
this is a short introduction to what the
1:51
and the idea is that science technology
1:54
has progressed to the point where it's
1:58
able to see its own limits
2:00
it's able to see it can do this but it
2:03
it can do this but it can't do that and
2:05
so this is a course that
2:06
goes through many different areas of
2:09
what can be done what cannot be done and
2:13
it's it's rather interesting so we have
2:16
to back up a little and talk a little
2:18
bit about science technology
2:21
and so i want to make this a point
2:24
and it's as follows science
2:27
builds on itself in other words if i
2:31
make a better cell phone what i should
2:34
look at the previous cell phones and i
2:36
should adjust and make it better and
2:38
fix certain things to make it faster
2:41
more exciting do more features etc etc
2:45
same thing if i wanted to make a better
2:47
train what i do is i'd study all the
2:49
trains that were made
2:54
build on that i would go further on that
2:58
in contrast to science and technology
3:01
we have other things other areas that we
3:05
and those are like art literature
3:08
ethics philosophy things like that and
3:13
well it builds on it on itself but
3:16
in a more subtle way okay so let's talk
3:19
about let's say literature
3:21
if i was to ask you who was the greatest
3:24
writer of all times you'd say
3:26
shakespeare dante dostievsky or
3:29
shakespeare lived 500 years ago
3:32
dante lived i don't know 700 years ago
3:35
uh dostoevsky lived 180
3:37
150 years ago all these people
3:40
were many years ago if i were to ask you
3:45
painter was so you'd say picasso
3:54
you know this one or that one or
3:57
van gogh or or or whatever but
4:00
the point is they're not necessarily
4:04
and that's a good thing in other words
4:06
when we read shakespeare or when we look
4:08
at rembrandt's paintings
4:10
they're somehow timeless they they go on
4:13
forever and so we don't have to
4:14
constantly update them
4:19
literature ethics and things like that
4:22
if i ask you when the best cell phone
4:26
i can tell you right now it was made
4:29
okay if i asked you when the best
4:31
automobile made the fastest automobile
4:34
or the fastest train or the
4:36
best rocket ship it was made recently
4:39
okay so we we have this
4:43
difference this major difference between
4:47
art literature philosophy ethics
4:54
in some sense timeless but it doesn't
4:56
really build on itself there are
4:58
things in fact in some sense art and
5:01
in order to be recognized it has to be
5:03
different than what it was before
5:06
okay it has to be built different as
5:10
in math science and technology they
5:13
build on previous things if i want to if
5:17
write a book on on engineering i have to
5:20
know what was done in previous things
5:22
add to it the latest developments the
5:27
okay now by the way it goes in ethics
5:31
if you read the bible you'll see what
5:33
what's what's you know
5:35
what's going on let's just say the book
5:38
the book of genesis it's a lot of
5:41
brothers fighting brothers
5:42
it's a lot of people fighting people
5:46
parents worrying about children things
5:48
didn't change that much
5:49
in human nature okay as opposed to that
5:54
things change a lot in science and
5:58
now if you're an art major or something
6:02
they do change you know they they do
6:04
build on each other for example
6:06
if you want to become an a portrait
6:08
artist you have to study what was done
6:09
before and then you can you make
6:12
but that's more about technique rather
6:15
beauty or something like that i don't
6:17
want to get into that i don't want to
6:19
i um and i usually do argue the point
6:23
when i'm in front of students but but i
6:25
don't want to do that now
6:26
so i want to talk about this increasing
6:31
technological advances because of that
6:35
increasing technological advances
6:37
science has advanced and has gotten to
6:39
the point where it can
6:42
where it can see its own boundaries okay
6:46
it can say oh we can do this but we
6:49
oh we can go ahead and do that and we
6:53
et cetera et cetera okay and so that's
6:55
what this class is all about
6:57
because science is advanced in many
7:00
we're going to do that so we're going to
7:01
see this in literature
7:04
in in in language we're going to talk
7:06
about philosophy we're going to talk
7:08
infinity we're going to talk about
7:10
computers a lot we're going to talk
7:12
science we're going to talk about
7:14
mathematics this class covers a lot of
7:16
these different topics and in all of
7:17
them we're showing some type of
7:22
okay so i'd like to show you how these
7:27
are found that we're going to talk about
7:30
again this is chapter one this is like
7:32
an introduction to the whole book
7:33
so i want to do it basically we're
7:41
limits of what can be done and what
7:44
and so we're going to do that now one of
7:49
ways of showing limits is what's called
7:53
and i'd like to go through that
8:04
a paradox now there are a few different
8:07
definitions of a paradox
8:08
and we're going to go through those
8:10
definitions but we're only going to use
8:11
one of those definitions
8:14
but just for completeness sakes i'd like
8:15
to go through all of them
8:17
and show them what they are
8:31
okay so the word paradox
8:36
dox's thought orthodox heterodox
8:40
taxes thought and paradox means parallel
8:43
a long regular thought it's kind of
8:47
not really irregular so let's go through
8:50
definitions of paradox and again we're
8:52
only going to be interested in one of
8:53
these definitions but it's
8:55
a nice way of looking at this first
9:13
a seemingly contradictory statement
9:17
so a paradox is something that seems to
9:20
be wrong but actually it could be
9:22
right okay let me give you an example it
9:26
stand than to walk okay
9:30
now that seems to be wrong because
9:33
obviously when you're walking you're
9:34
more muscles et cetera et cetera but it
9:38
actually true you cannot stand for three
9:40
hours straight you can walk for three
9:42
hours straight you have walked for three
9:44
hours straight but you can't stand in
9:45
one place for three hours straight
9:47
okay so that's an interesting statement
9:50
okay a seemingly contradictory statement
9:54
another definition of the word paradox
10:16
in other words if everybody agrees with
10:18
one particular thing
10:19
then if you're saying something that's
10:22
it's a paradox in some sense okay the
10:25
word is not really used like that
10:26
let me give you an example but again we
10:28
don't talk about politics in this class
10:30
george w bush was a great president okay
10:34
most people many people
10:37
would disagree with that but that's fine
10:41
okay many people would disagree with
10:43
that but that's fine
10:44
but that's an example of a paradox okay
10:48
let's do the third definition
10:51
of the paradox and this is going to be
10:52
closer to what we say
10:54
let's put the third definition into two
11:36
an assertion that implies a
11:38
contradiction through an invalid
11:40
deduction let's write it out this way
11:55
okay but what you get from the assertion
11:58
to the contradiction
11:59
is not a valid way of doing it okay
12:05
now i'd like to give you an example of
12:10
okay and the example is an old trick
12:12
which is actually quite clever if you've
12:14
never seen it before
12:15
once you've seen it and you know the
12:17
trick you find it boring but that's okay
12:19
okay so this is a nice old trick so i'd
12:22
like to prove to you that one is equal
12:26
okay well we'll do this this is probably
12:29
math in this class but it's worth seeing
12:32
consider the following
12:35
i'm going to do math this is nothing
12:37
more than 9th grade math you've seen
12:40
you have variables a and b
12:43
let's assume a is equal to b
12:46
okay we can set any variables equal to
12:50
if a is equal to b then a squared is
12:54
a times b a squared is equal to a times
12:58
if one of the a's is equal to b we could
13:02
nothing wrong next a
13:05
squared minus b squared
13:10
okay what's that well
13:16
following this line this becomes a
13:27
okay nothing wrong with that now in
13:31
we know what to call this this is called
13:33
the difference of two squares
13:35
so i'm going to write it as a difference
13:36
of two squares you do this in ninth
13:39
this is a plus b times
13:46
pull out the b i'm going to factor the b
13:50
i'm left with a minus b let's just
13:53
make sure a times b is a b
13:56
minus b squared that's minus b squared
14:00
a let's do this foil i think it's called
14:03
squared plus b minus b is minus b
14:06
squared and the other two terms cancel
14:14
i start off with this i show this is
14:17
i rewrite this this way
14:20
i rewrite this this way and now
14:23
i simply divide by a minus b a
14:27
minus b this cancels out with this
14:30
if you do it to one side of the equation
14:32
you got to do it to the other side of
14:34
a minus b this cancels out with this i'm
14:38
a plus b is equal to
14:41
b now remember a is equal to b
14:48
is equal to b another way of saying that
14:51
two b is equal to one b
14:56
and divide both sides by b b
14:59
b cancel out cancel out and i'm left
15:10
that's it finished i proved 2
15:13
is equal to 1. okay so i started off
15:18
and i proved the contradiction by the
15:19
way 2 is not equal to 1. there's no way
15:22
in the world we can do 2 is equal to 1.
15:24
okay that's a contradiction it just
15:26
doesn't make sense if you don't believe
15:28
me let me do your taxes for you
15:30
okay two is equal to one okay now
15:34
what's wrong with this it might be an
15:36
idea to pause the camera for a minute
15:38
and try to figure out what's wrong with
15:40
i you can go this way 2 is equal to 1
15:43
then 2b is equal to 1b
15:45
b is b plus b is equal to b change the a
15:49
you can get the whole thing the other
15:53
look at it for a minute and try to
15:54
figure out what's wrong with it
15:56
okay now i'll tell you what's wrong with
16:01
if a is equal to b then a minus b
16:04
is equal to zero you're dividing by zero
16:08
you're not allowed to divide by zero
16:10
there's no way in the world you're
16:12
allowed to divide by zero it's just
16:14
not it's not legal when you divide by
16:16
zero you get contradictions
16:18
and that's bad things that's why this is
16:20
called an invalid deduction
16:23
invalid deduction not legal it's not
16:26
it's not a legal deduction
16:30
okay so this is an example of an invalid
16:34
we did something that was not good in
16:37
not legal and we got a strange
16:41
and that doesn't make a is equal to b
16:44
we weren't allowed to do that thing okay
16:47
let's go further well before i go
16:50
further i got to tell you a cute joke
16:52
there was a philosopher his name was
16:54
bertrand russell bertrand russell was
16:56
a talk in front of a lot of people a
16:59
popular talk and he said
17:00
in logic if you start off with a bad
17:02
premise if you start off with a false
17:05
thing you can prove anything
17:08
and somebody said to him you mean if 5
17:12
then i can prove i'm the pope
17:15
just out of the thin air he said this
17:18
and bertrand russell said like this
17:20
supposedly he did this instantaneously
17:24
is equal to four subtract three from
17:29
minus three minus three that's equal to
17:32
five minus three is two four minus three
17:35
equal to one two is equal to one
17:39
two different people you and the pope
17:52
anyways it's a nice cute joke great
17:58
a definition of a paradox okay
18:02
but it's not really the one we're going
18:03
to be interested in we're going to be
18:05
interested in another type of paradox
18:10
i'm going to call it 3b i can do this
18:13
you can't you have to rewrite it it's an
18:15
assertion that implies a contradiction
18:17
through a valid deduction
18:21
okay i'm going to cross out the bad
18:24
because that was invalid and i'm going
18:27
a good arrow and the point is as follows
18:33
this is the type of paradox that we're
18:35
going to deal with for the rest of the
18:36
semester every single day of the rest of
18:38
this month every single class of the
18:39
rest of the semester we're going to deal
18:42
the point is as fellows if you make an
18:45
and you follow legal rules and you get a
18:49
then you've got something wrong with
18:50
your assertion there's something wrong
18:54
if you can do that okay so
18:58
by the way we just saw this a second ago
19:01
that five is equal to four you're going
19:03
to get a contradiction
19:04
okay five is not equal to four you're
19:07
going to get a contradiction
19:09
okay so you cannot do that we're going
19:11
to see this over and over again
19:13
um such an example like this over and
19:17
this is what i mean by a paradox and
19:20
are going to be our main staple
19:27
okay let me just say in another way
19:30
what a paradox is is kind of like a test
19:33
to see if an assertion is true or false
19:37
okay so you make an assertion and if you
19:41
you know it's false if you don't get a
19:43
contradiction then you know it's okay
19:45
okay now in math they have such things
19:48
it's called the reduction
19:50
uh proof by contradiction and then
19:51
philosophy also reduction of
19:53
sodium it's called okay these are two
19:56
other ways of saying the same thing
19:58
basically these are tests to see if the
20:01
assertion is correct
20:03
we're going to go through many different
20:04
examples i'm going to show assertions
20:07
okay great let's go on
20:14
okay so i want to go back to my
20:18
chart of how we do things the purpose of
20:22
this class is to talk about
20:23
limits okay and the way we're going to
20:27
are many ways we're going to get
20:30
paradoxes okay there are also special
20:36
of a similar type and these are called
20:49
self-referential paradoxes these are
20:51
paradoxes we'll see four examples in the
20:55
of self-referential paradoxes they are
20:57
paradoxes that come with
20:59
things that can deal with themselves for
21:02
this sentence is false that's a sentence
21:06
talking about itself when you have such
21:08
a self-referential paradox
21:10
you have you can get problems you can
21:15
and so we have to be careful with them
21:17
we'll talk more about those
21:18
in a little bit okay so again we're
21:21
talking about limits in this class
21:23
a lot of the limits come from paradoxes
21:25
there are special types of paradoxes
21:27
called self-referential paradoxes
21:29
there are also other types of limits
21:31
that we're going to get to
21:34
i call these piggyback
21:39
piggyback we can piggyback one limit off
21:43
another let me give you an example
21:45
okay if i'm teaching on the third floor
21:50
three flights of steps sometimes i'm
21:53
if when i walk back sometimes when i
21:56
walk up three fights of steps
21:58
i huff and puff afterwards for a few
22:02
then i calm down and i start teaching
22:05
well if i have a hard time getting to
22:08
when i'm teaching then getting to the
22:12
would be even harder okay would be even
22:15
harder i would most definitely
22:18
huff and puff if i walk up to the fourth
22:22
before teaching okay so what that does
22:25
is it takes the limit that you have
22:27
already and then you try to do something
22:30
then for sure it won't be able to do
22:32
we're going to see many different
22:34
especially in chapter five
22:37
okay so those are other ways of finding
22:42
limits okay now we've been talking a lot
22:45
about contradictions
22:46
i want to bring in something about
22:58
okay contradictions can happen in the
23:03
okay they can happen in a physical world
23:06
an object cannot have a property and not
23:09
have that property that's what a
23:12
so we can't say that this is white and
23:15
it's either white or it's not white but
23:23
no i can't say that today is tuesday and
23:27
it is either tuesday or it is not
23:29
tuesday one or the other
23:31
right now right here it's either tuesday
23:34
the physical world doesn't have
23:37
this cannot be water and not water okay
23:40
we know exactly what water is we know
23:44
and i can't make such a there can't be
23:46
such a contradiction
23:54
the physical world physical universe
24:02
cannot have contradictions in contrast
24:06
in contrast there are contradictions
24:09
where well in your brain
24:13
in your language in your opinions
24:16
you're going to have contradictory
24:18
opinions there's a lot of contradictions
24:20
in politics because people have
24:22
different opinions of what's going on
24:24
and people have different ideas of
24:25
what's going on that's legitimate
24:28
okay that's legal okay but even within
24:32
yourself you have contradictions
24:34
okay for example you want another piece
24:38
but you also want to remain thin you
24:42
not go to school but you also want a
24:44
degree and you want to get a good grade
24:46
can't have both of those you have both
24:48
you want to lie in bed all day
24:50
but you also want to get a good grade
24:53
that doesn't work okay that's
24:56
because if you don't do the homework or
25:00
you don't read the book you're going to
25:01
fail the course and that's going to be
25:04
okay so in contrast to the universe
25:09
in mind and what's connected to mind
25:14
language language comes from your mind
25:21
mind and language has contradictions
25:25
you can say the statement i want to lie
25:27
in bed all day and i don't want to go to
25:29
but i want a good grade that's a
25:31
contradictory statement
25:33
can't happen so you can have
25:37
here you can't have contradiction there
25:41
are no contradictions here
25:42
but in the human mind is not a perfect a
25:46
thing and so there are contradictory
25:48
contradictions in your mind
25:49
there are contradictions in your
25:51
language you have contradictions in your
25:54
however there is a part
25:58
of this a mind and language
26:02
where we don't allow contradictions okay
26:05
we do not allow contradictions it's a
26:08
part of language and a part of mind
26:17
science and math is a way part of
26:20
is a way to describe the physical
26:24
better make sure that science and math
26:26
doesn't have a contradiction
26:28
because otherwise it's not going to
26:29
describe the physical universe
26:31
you have to be able to make that
26:33
distinction you say look
26:35
this can have contradictions therefore
26:39
this science and math which is part of
26:42
science is made up by human minds if the
26:45
language is expressed by human minds
26:47
but it can have contradictions because
26:50
it's going to be predicting that
26:52
we saw this 10 minutes ago when we
26:54
talked about dividing zero
26:56
you can divide you can divide any two
27:00
except for one you can divide numbers by
27:02
14 you can divide numbers by 14.3
27:05
you can divide numbers by negative
27:10
i don't care what number but there's
27:11
only one number that you can't divide by
27:13
what zero why why can't you divide by
27:17
because if you divide by zero you will
27:21
let me just show you zero times
27:24
four is equal to zero times five
27:28
that's a true statement zero times four
27:31
is equal to zero times five
27:33
they're both equal to 0. so that's a
27:34
true statement now if i was able to
27:40
i'd get 4 is equal to 5. that's a
27:44
you can't have a contradiction okay
27:48
four apples is not equal to five apples
27:50
so you can't do that
27:52
so when you're in third grade they teach
27:56
look you don't want contradictions in
27:58
your math you don't want contradictions
28:01
you can't say water is h2o and h3o
28:05
that's not true okay those are two
28:08
okay water is h2o that's a fact that's
28:13
e equals m c squared that's einstein i
28:16
don't know what it means
28:17
but it's part of science it's either
28:21
but it's definitely not contradictory
28:24
okay so you cannot have contradictions
28:28
here you cannot have contradictions here
28:31
you can have contradictions here
28:34
and we're going to see more of this when
28:53
okay just want to say one more
28:57
thing at the end of the chapter i bring
29:01
that one should try to define reason
29:04
okay this book is called the outer
29:08
okay and the class is called out of
29:11
our limits of reasoning so it would be
29:15
it would be very nice to have a
29:18
reason is okay now i can tell you what
29:22
is in reason and what is out of reason
29:25
math physics biology chemistry all those
29:28
are reason okay things that have
29:33
i'm not sure about politics is
29:35
definitely not reason
29:36
okay um but it would be
29:40
poetry art is not reason
29:43
there are other things there are other
29:44
important things that human beings do
29:46
but it would be nice to come up with a
29:48
definition of reason
29:50
now i come back to that in chapter 10
29:53
but i want you to keep that question in
29:55
your mind throughout the class
29:57
because we're gonna try to come up with
29:59
a good definition of what reason means
30:02
okay now i'd like to discuss one last
30:05
thing before i let you go
30:07
and that is this concept of
30:11
you have an assertion and you get a
30:12
contradiction that's very very simple
30:15
that's very very similar to something
30:17
else that we commonly know
30:19
if you ever read a joke you always see
30:22
the joke starts off very very typical
30:25
sane very normal the punch line of a
30:29
is always that boom that point that's
30:33
a contradiction that's strange that's
30:36
and i do three jokes in the book
30:39
but you could do this with almost any
30:41
joke a joke always starts off
30:44
saying rational but then you take it
30:47
you follow the reasoning and you come to
30:50
so here's a nice joke woody allen he's a
30:54
or an actor cheated on his metaphysics
30:58
okay cheated on his metaphysics so woody
31:01
allen went to school he went to nyu
31:04
he this is a joke whatever but he
31:06
cheated on his exam how do you cheat on
31:09
you look into your friends your
31:12
paper but it was a metaphysics exam an
31:15
exam that dealt with heavy
31:17
you know death life soul etc etc
31:21
so woody allen cheated on his
31:25
by looking into the soul of the boy
31:30
okay so again it starts off with a
31:32
typical thing it's terrible to
31:34
analyze a joke i agree but we have to do
31:37
it because we want to show
31:38
that this is very similar to what we
31:41
start off very similar very nice he
31:43
cheated on his exam had it each year on
31:45
well he looked into something what did
31:49
the soul of the boy sitting next to him
31:52
obviously he didn't okay stephen bright
31:56
stephen wright is a comedian he says
31:59
he would kill to get a certain price
32:02
he would kill for the nobel peace prize
32:07
saying oh i'd kill to win the new york
32:09
city marathon that's a funny joke
32:12
or oh i'd kill to win that medal et
32:14
cetera et cetera that's typical
32:16
but here he's he would kill to win the
32:20
that's a prize made specifically for
32:23
do noble things don't you know save
32:27
but again that's the joke but again it
32:31
and then it goes follows the reasoning
32:34
and then it gets to a crazy conclusion
32:36
groucho marx didn't care to belong to
32:40
that what type of club wouldn't groucho
32:44
any club that would have him as a member
32:48
cute okay i wouldn't belong to that club
32:50
that's a typical thing
32:51
said but groucho marx said i wouldn't
32:53
belong to any club that would have
32:55
me as a member by the way that's not
32:57
only a joke that's a self-referential
33:00
that's a joke that groucho marx says and
33:03
it affects himself the very fact that
33:05
they will let him into the club
33:07
means that he will not be in the club
33:10
okay it's another thing also puns are
33:14
a pun is a joke that comes from
33:18
using one word in two different ways you
33:20
ready have you heard about the guy whose
33:22
whole left side was cut off
33:29
he's all right now okay
33:33
so a person's left side is cut off
33:36
not very funny but whatever okay and
33:39
then we're using the word
33:40
right in two different ways right as in
33:42
the right side of his body is all right
33:45
or he's okay obviously he's not okay but
33:49
it's a cute little line but again it
33:52
his whole body is fine it starts off
33:54
telling an interesting thing
33:56
and then it goes and it goes crazy okay
34:01
okay i'm reading a book about
34:04
it's impossible to put down okay
34:07
this is a typical thing you say oh i'm
34:09
reading this book about this and this
34:11
okay it's impossible to put down that's
34:14
but anti-gravity that means you can't
34:16
keep it down okay next
34:18
did you hear about the paradox
34:21
dr shapiro and dr miller pair
34:28
again a pun that's used
34:36
the the end of the joke
34:39
is funny because it's it's a
34:42
in some sense it's it's a funny
34:44
contradiction anyways
34:46
so that's the beginning of the book
34:50
okay and in the next tape
34:53
we're gonna we're gonna in the next tape
35:01
talking about language paradoxes and
35:04
what we learn about the limitations of
35:06
okay have a wonderful day