Download presentation

1
**Mathematical Ideas that Shaped the World**

An infinity of infinities

2
**Plan for this class Does infinity really exist?**

If so, what are its rules? How do we compare the sizes of different infinite sets? Is the number of even numbers less than the number of all whole numbers? Who were Cantor and Gödel, and what ideas made them go mad? Can mathematics ever contradict itself?

3
A history of infinity lemniscate For most of history, infinity has been a philosophical concept. Attempts to use infinity in maths led to paradoxes and nonsense. (e.g. Zeno!) Infinities in physical theories are still a sure sign that something is wrong. If anything, infinity was equated with the idea of God: something unknowable and all-powerful.

4
An infinite universe? Giordano Bruno (1548 – 1600), an Italian mathematician and astronomer, believed that the universe was infinite in size. He was burned at the stake by the Catholic church, since they believed that the only thing which was infinite was God.

5
Does infinity exist? Even up until the middle of the 19th century, people continued to avoid infinity. Questions about infinity were turned into questions about limits, which only spoke of finite quantities. By mathematicians, infinity was thought of as a process – like the act of counting without stopping.

6
**What is infinity? One day people started asking**

What if we thought of infinity as an actual number? How would it interact with other numbers? Can we write down a set of laws for infinity to follow? Much like the status of zero.

7
The pioneers Two men set out to understand infinity and include it in the very foundations of mathematics: Hilbert and Cantor One man ended up in an insane asylum and the other died with his dream shattered.

8
Hilbert’s Hotel Hilbert’s hotel has infinitely many rooms: one for each natural number 1, 2, 3, 4, etc. All of the rooms are full. 1 2 3 4 5 6

9
Puzzle 1 One new guest arrives looking for a room. Can you work out how to fit him in? After 1 person, what about n people?

10
Making one more room 1 2 3 4 5 6

11
Conclusion + 1 =

12
Puzzle 2 Our previous guest is now happy, but then a bus containing infinitely many people arrives at the hotel. Can we fit them all in?

13
**Making infinitely many rooms**

1 2 3 4 5 6 Send guest in room n to 2n. Then all odd-numbered rooms are empty.

14
Conclusion + =

15
Puzzle 3 Just when the hotel manager thought they were safe, news comes that infinitely many buses, each carrying infinitely many people, is heading their way. Is there anything that can be done to keep everyone happy? Make all odd-numbered rooms empty as before. Bus 1 goes to all the powers of 3; bus 2 goes to all the powers of 5, etc (with prime numbers).

16
**Finding a solution (there are many!)**

Make all the odd-numbered rooms free like before. Each passenger comes with a pair of numbers: bus number and seat number. E.g. the man on bus 7, seat 3 is (7,3). Draw a grid and make a path that goes through each passenger once and doesn’t miss any out…

17
**A grid of passengers (1,1) (1,2) (1,3) (1,4) (1,5) ….**

(1,1) (1,2) (1,3) (1,4) (1,5) …. (2,1) (2,2) (2,3) (2,4) (2,5) …. (3,1) (3,2) (3,3) (3,4) (3,5) …. (4,1) (4,2) (4,3) (4,4) (4,5) …. (5,1) (5,2) (5,3) (5,4) (5,5) …. … … … … …. ….

18
Conclusion =

19
**Rules for infinity Hilbert’s hotel shows us that + 1 = **

2 = + = = - = ?

20
Cantor (1845 – 1918) Born in St Petersburg and obtained his PhD from the University of Berlin. Became a full professor at the University of Halle at the age of 34. Had 6 children and enjoyed going walking in the Alps.

21
Set theory Cantor is best known for his creation of set theory, a cornerstone of modern mathematics. A set is simply a collection of objects. “Dangerous Knowledge” part 1, 2:50 – 4:30 Cantor was the first person to study the properties of infinite sets.

22
Sizes of things Question: How do we decide whether two sets of objects have the same size? Answer: we pair off objects, one from each set, and see if there are any left over. In fact, this is how some tribes calculate sizes of sets. If you ask how many sheep they have, they won’t give a number, but will instead pair up each sheep with a stick, and say “I have *this* many sheep”, indicating the sticks.

23
Sizes of things !!

24
Sizes of things When we “count”, we are pairing objects with numbers. 1 2 3

25
**How many even numbers are there?**

Contrary to your intuition, we can show that there are the same number of even numbers as of natural numbers. This is because we can pair them up exactly: Euclid: the whole is greater than the part.

26
**How many integers are there?**

Can you find a way of pairing all the positive and negative whole numbers with the natural numbers? 11 9 7 5 3 1 2 4 6 8 10

27
**How many fractions are there?**

We are going to look at the set of fractions where numerator and denominator are whole numbers, e.g. 65/341. Are there as many of these as of whole numbers, or are there more? We want to make a list of them in such a way that we don’t miss any out… Homework: find a list which includes each fraction once and only once!

28
**Counting the fractions**

1/1 1/2 1/3 1/4 1/5 …. 2/1 2/2 2/3 2/4 2/5 …. 3/1 3/2 3/3 3/4 3/5 …. 4/1 4/2 4/3 4/4 4/5 …. 5/1 5/2 5/3 5/4 5/5 …. … … … … …. …. Counterintuitive because between any 2 numbers there are infinitely many rational numbers!

29
Finally, the decimals! How many decimal numbers are there? That is, numbers like … ? Can you make a list of them so that none are missed out? Amazingly, the answer is NO! Cantor proved that if we ever try to make a list of decimals then we will always miss one out.

30
**Why we can’t list the decimal numbers**

Suppose we can list all the decimals. 1) … 2) … 3) … 4) … …. But then we can write down a number which is different from every number in this list: E.g …

31
**Bigger infinities! This argument is called Cantor’s diagonal argument.**

It proves that there are more decimal numbers than whole numbers! The infinity of the whole numbers is called “countable”, while the infinity of the real numbers is called “uncountable”. In fact, there are infinitely many sizes of infinity! 0 is the symbol for the countable infinity.

32
**Uncountable infinities**

Examples Countable infinities Whole numbers Fractions Prime numbers All possible words you could make out of the English alphabet Uncountable infinities Irrational numbers Decimal numbers between any two numbers, e.g. between 0 and 1 Points on a line Points inside a square or a cube Almost all real numbers are irrational. Pick a decimal number at random and it will be irrational with probability 1.

33
**Objections to the proof**

Not everybody accepted Cantor’s diagonal argument at first. Some mathematicians didn’t believe in the existence of infinite sets. Others argued on religious grounds: God is infinite and there is only one God, so therefore there can be only one infinity. “To infinity and beyond” clip with a modern-day constructivist.

34
**“a scientific charlatan”**

Criticism One loud critic was Kronecker, a maths professor at the University of Berlin. He opposed the publication of Cantor’s work and called him “a corrupter of youth” and “a scientific charlatan”

35
Kronecker claimed “I don’t know what pre-dominates in Cantor’s theory, philosophy or theology, but I am sure there is no mathematics there.” He never gave Cantor the job he sought at the prestigious University of Berlin.

36
**“utter nonsense” and “laughable”**

Criticism The great geometer Poincaré wrote “later generations will regard [Cantor’s work] as a disease from which they have recovered” while the philosopher Wittgenstein thought that set theory was “utter nonsense” and “laughable”

37
Criticism Even his friends discouraged him from publishing, with one of them saying “…it is 100 years too soon” However, one staunch supporter was Hilbert: “No one will drive us from the paradise which Cantor has created for us”

38
Cantor’s madness By 1884, at the age of 39, Cantor was severely depressed and had no confidence to continue with his work. He instead studied English Literature and tried to prove that Bacon had written Shakespeare’s plays. Later went back to maths, but spent an increasing amount of time in a sanatorium. We now think he had bi-polar disorder.

39
**The Continuum Hypothesis**

After Cantor’s proof of the uncountability of the decimals, people started wondering if there was an infinity in between that of the naturals and the decimals. This problem is known as the continuum hypothesis. The answer was to be more mind-boggling than anyone had anticipated…

40
David Hilbert (1862 – 1943) Born in Königsberg (now Kaliningrad) and went to same school as Immanuel Kant. Moved to Göttingen, where most of his colleagues were forced out in the Nazi purges. Helped formulate relativity (with Einstein) and quantum mechanics.

41
Hilbert’s 23 problems In 1900 Hilbert made a list of the 23 most important problems of the time. These problems have influenced the direction of mathematics ever since. Some of the more famous problems are 1) The Continuum Hypothesis 2) That the axioms of arithmetic are consistent 8) The Riemann Hypothesis 18) The sphere packing problem

42
**Hilbert’s second problem**

Axioms are self-evident truths which we assume to be true and from which we derive all other statements. The second of Hilbert’s 23 problems was to show that the axioms of arithmetic are consistent. This means that we should never be able to get contradictions, like proving that a statement is both true and false.

43
**Example: a theory of sheep**

Our axioms are 1) That sheep are mammals 2) That sheep have a woolly coat 3) That sheep eat only grass From these axioms we can deduce things like Sheep are warm-blooded (from axiom 1) Sheep have 4 limbs (from axiom 1) Sheep are vegetarian (from axiom 3)

44
**Example: a theory of sheep**

If we had a 4th axiom which said 4) Sheep have a secret penchant for cake Then we would be able to show Sheep don’t eat cake (axiom 3) Sheep do eat cake (axiom 4) which contradict each other.

45
**Axioms of arithmetic Our axioms of arithmetic are things like**

0 + n = n, for all numbers (a + b) = (b + a) for any two numbers a and b. 1 x n = n, for all numbers (a x b) = (b x a) for any two numbers a and b. For every whole number n, there is a next whole number n+1. It is not obvious whether these axioms will ever produce a contradiction.

46
**‘Self-evident’ truths?**

Statements which sound ‘self-evident’ are often wrong in maths. For example, the Greek mathematician Euclid had an axiom which said The whole is greater than the part. We saw earlier that this is not true for infinite sets!

47
Set theory paradoxes Even our reasoning about collections of objects (sets) can run into problems. How big is the set of all sets? It must surely be the biggest one, but by Cantor’s work we know it is always possible to find a bigger one. There is an analogue of the Barber paradox for sets: If a barber shaves every man who does not shave himself, then who shaves the barber? The set-theoretic Barber’s paradox is called Russell’s paradox.

48
**Hilbert’s tombstone On Hilbert’s tombstone were carved the words**

Wir müssen wissen. Wir werden wissen. meaning We must know. We will know.

49
Kurt Gödel (1906 – 1978) Born in Brno, which is now in the Czech Republic. Studied logic at the University of Vienna. Escaped WWII by emigrating to the US – going the long way via Japan! Became close friends with Einstein.

50
**The incompleteness theorem**

In 1931, Gödel proved that, in any system powerful enough to describe whole-number arithmetic, If the system is consistent, it cannot be complete. The consistency of the axioms cannot be proven within the system. This means that there must be some statements in mathematics which are true but can neither be proved nor disproved.

51
Example: sheep again Earlier we had some axioms about what makes a sheep: 1) That sheep are mammals 2) That sheep have a woolly coat 3) That sheep consume only grass and water A statement such as Sheep are amazing at mental arithmetic cannot be derived from these axioms. Whether it be true or false, it will never contradict anything else we know about sheep.

52
**The incompleteness theorem**

The incompleteness theorem was a great blow to Hilbert and to mathematics in general. However, there was still a hope that such undecidable statements would never crop up in actual mathematics.

53
Gödel’s madness In 1933, two years after his incompleteness theorem, Gödel suffered a nervous breakdown. He spent several months in a sanatorium recovering from depression. Like Cantor, he had been trying to prove the Continuum Hypothesis… “Dangerous Knowledge” part 7, 6:10 – 8:28

54
Undecidable theorems In 1940 Gödel proved that the Continuum Hypothesis was a statement that could neither be proved nor disproved. The Axiom of Choice is another undecidable theorem. It states that, given any collection of sets, that we can choose one element from each set.

55
The Axiom of Choice Most mathematicians use the axiom of choice in their work. It sounds very intuitive, but it also leads to some very strange conclusions! One of these is the Banach-Tarski paradox A solid ball can be broken up and re-assembled to create two balls identical to the first.

56
Gödel’s madness Had a fear of being poisoned and would only eat the food cooked for him by his wife. This eventually led him to starve himself to death when she was no longer well enough to cook for him.

57
Lessons to take home That the concept of infinity is more mind-boggling than you can imagine. That thinking too hard about infinity will probably make you go mad. That secret paradoxes lurk at the heart of mathematics. That we can never know everything!

Similar presentations

OK

CSE 311: Foundations of Computing Fall 2014 Lecture 27: Cardinality.

CSE 311: Foundations of Computing Fall 2014 Lecture 27: Cardinality.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on seven segment display common Ppt on features of object oriented programming Ppt on panel discussion script Ppt on fire extinguisher types video Ppt on forward contract vs future Ppt on web designing presentation Download ppt on life process for class 10 cbse Ppt on machine translation tools Ppt on brand management Ppt on building information modeling construction