Presentation on theme: "Mathematical Ideas that Shaped the World"— Presentation transcript:
1Mathematical Ideas that Shaped the World An infinity of infinities
2Plan 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?
3A history of infinitylemniscateFor 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.
4An 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.
5Does 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.
6What 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.
7The pioneersTwo men set out to understand infinity and include it in the very foundations of mathematics:Hilbert and CantorOne man ended up in an insane asylum and the other died with his dream shattered.
8Hilbert’s HotelHilbert’s hotel has infinitely many rooms: one for each natural number 1, 2, 3, 4, etc.All of the rooms are full.123456
9Puzzle 1One new guest arrives looking for a room. Can you work out how to fit him in?After 1 person, what about n people?
15Puzzle 3Just 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).
16Finding 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…
19Rules for infinity Hilbert’s hotel shows us that + 1 = 2 = + = = - = ?
20Cantor (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.
21Set theoryCantor 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:30Cantor was the first person to study the properties of infinite sets.
22Sizes of thingsQuestion: 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.
24Sizes of thingsWhen we “count”, we are pairing objects with numbers.123
25How 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.
26How many integers are there? Can you find a way of pairing all the positive and negative whole numbers with the natural numbers?1197531246810
27How 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!
28Counting 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!
29Finally, 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.
30Why 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 …
31Bigger 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.
32Uncountable infinities ExamplesCountable infinitiesWhole numbersFractionsPrime numbersAll possible words you could make out of the English alphabetUncountable infinitiesIrrational numbersDecimal numbers between any two numbers, e.g. between 0 and 1Points on a linePoints inside a square or a cubeAlmost all real numbers are irrational. Pick a decimal number at random and it will be irrational with probability 1.
33Objections 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” CriticismOne 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”
35Kronecker 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” CriticismThe 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”
37CriticismEven 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”
38Cantor’s madnessBy 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.
39The 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…
40David 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.
41Hilbert’s 23 problemsIn 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 are1) The Continuum Hypothesis2) That the axioms of arithmetic are consistent8) The Riemann Hypothesis18) The sphere packing problem
42Hilbert’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.
43Example: a theory of sheep Our axioms are1) That sheep are mammals2) That sheep have a woolly coat3) That sheep eat only grassFrom these axioms we can deduce things likeSheep are warm-blooded (from axiom 1)Sheep have 4 limbs (from axiom 1)Sheep are vegetarian (from axiom 3)
44Example: a theory of sheep If we had a 4th axiom which said4) Sheep have a secret penchant for cakeThen we would be able to showSheep don’t eat cake (axiom 3)Sheep do eat cake (axiom 4)which contradict each other.
45Axioms 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 saidThe whole is greater than the part.We saw earlier that this is not true for infinite sets!
47Set theory paradoxesEven 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.
48Hilbert’s tombstone On Hilbert’s tombstone were carved the words Wir müssen wissen.Wir werden wissen.meaningWe must know.We will know.
49Kurt 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.
50The 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.
51Example: sheep againEarlier we had some axioms about what makes a sheep:1) That sheep are mammals2) That sheep have a woolly coat3) That sheep consume only grass and waterA statement such asSheep are amazing at mental arithmeticcannot be derived from these axioms. Whether it be true or false, it will never contradict anything else we know about sheep.
52The 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.
53Gödel’s madnessIn 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
54Undecidable theoremsIn 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.
55The Axiom of ChoiceMost 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 paradoxA solid ball can be broken up and re-assembled to create two balls identical to the first.
56Gödel’s madnessHad 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.
57Lessons to take homeThat 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!