Presentation on theme: "Mathematical Ideas that Shaped the World An infinity of infinities."— Presentation transcript:
Mathematical Ideas that Shaped the World An infinity of infinities
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?
A history of infinity 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. lemniscate
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.
Does infinity exist? Even up until the middle of the 19 th 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.
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?
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.
Hilberts Hotel Hilberts hotel has infinitely many rooms: one for each natural number 1, 2, 3, 4, etc. All of the rooms are full
Puzzle 1 One new guest arrives looking for a room. Can you work out how to fit him in?
Making one more room
Conclusion + 1 =
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?
Making infinitely many rooms
Conclusion + =
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?
Finding a solution (there are many!) 1. Make all the odd-numbered rooms free like before. 2. 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). 3. Draw a grid and make a path that goes through each passenger once and doesnt miss any out…
Rules for infinity Hilberts hotel shows us that + 1 = 2 = + = = - = ?
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.
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. Cantor was the first person to study the properties of infinite sets.
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.
Sizes of things !!
Sizes of things When we count, we are pairing objects with numbers. 1 23
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:
Can you find a way of pairing all the positive and negative whole numbers with the natural numbers? How many integers are there?
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 dont miss any out…
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.
Why we cant 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 …
Bigger infinities! This argument is called Cantors diagonal argument. It proves that there are more decimal numbers than whole numbers! The infinity of the whole numbers is calledcountable, while the infinity of the real numbers is called uncountable. In fact, there are infinitely many sizes of infinity!
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
Objections to the proof Not everybody accepted Cantors diagonal argument at first. Some mathematicians didnt 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.
Criticism One loud critic was Kronecker, a maths professor at the University of Berlin. He opposed the publication of Cantors work and called him a corrupter of youth and a scientific charlatan
Kronecker claimed I dont know what pre-dominates in Cantors 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.
Criticism The great geometer Poincaré wrote later generations will regard [Cantors work] as a disease from which they have recovered while the philosopher Wittgenstein thought that set theory was utter nonsense and laughable
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
Cantors 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 Shakespeares plays. Later went back to maths, but spent an increasing amount of time in a sanatorium. We now think he had bi-polar disorder.
The Continuum Hypothesis After Cantors 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…
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.
Hilberts 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
Hilberts second problem Axioms are self-evident truths which we assume to be true and from which we derive all other statements. The second of Hilberts 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.
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)
Example: a theory of sheep If we had a 4 th axiom which said 4) Sheep have a secret penchant for cake Then we would be able to show Sheep dont eat cake (axiom 3) Sheep do eat cake (axiom 4) which contradict each other.
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.
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!
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 Cantors 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?
Hilberts tombstone On Hilberts tombstone were carved the words Wir müssen wissen. Wir werden wissen. meaning We must know. We will know.
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.
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.
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.
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.
Gödels 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…
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.
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.
Gödels 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.
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!