1 / 52

Paradoxes of the Infinite Kline XXV

Paradoxes of the Infinite Kline XXV. Pre-May Seminar March 14, 2011. Galileo Galilei (1564-1642). Galileo: Dialogue on Two New Sciences , 1638.

imani-roman
Download Presentation

Paradoxes of the Infinite Kline XXV

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Paradoxes of the InfiniteKline XXV Pre-May Seminar March 14, 2011

  2. Galileo Galilei (1564-1642)

  3. Galileo: Dialogue on Two New Sciences, 1638 • Simplicio: Here a difficulty presents itself which appears to me insoluble. Since it is clear that we may have one line segment longer than another, each containing an infinite number of points, we are forced to admit that, within one and the same class, we may have something greater than infinity, because the infinity of points in the long line segment is greater than the infinity of points in the short line segment. This assigning to an infinite quantity a value greater than infinity is quite beyond my comprehension.

  4. Galileo’s Dialogo • Salviati: This is one of the difficulties which arise when we attempt, with our finite minds, to discuss the infinite, assigning to it those properties which we give to the finite and limited; but this I think is wrong, for we cannot speak of infinite quantities as being the one greater or less than or equal to another. To prove this I have in mind an argument, which, for the sake of clearness, I shall put in the form of questions to Simplicio who raised this difficulty.

  5. Galileo’s Dialogo • Salviati: If I should ask further how many squares there are, one might reply truly that there are as many as the corresponding number of roots, since every square has its own root and every root its own square, while no square has more than one root and no root more than one square. • Simplicio: Precisely so.

  6. Galileo’s Dialogo • Salviati: But if I inquire how many roots there are, it cannot be denied that there are as many as there are numbers because every number is a root of some square. This being granted we must say that there are as many squares as there are numbers because they are just as numerous as their roots, and all the numbers are roots. Yet at the outset we said there are many more numbers than squares, since the larger portion of them are not squares.

  7. Galileo’s Dialogo • Sagredo: What then must one conclude under these circumstances? • Salviati: So far as I see we can only infer that the totality of all numbers is infinite, that the number of squares is infinite, and that the number of their roots is infinite; neither is the number of squares less than the totality of all numbers, nor the latter greater than the former; and finally the attributes "equal," "greater," and "less" are not applicable to infinite, but only to finite, quantities.

  8. Bernard Bolzano (1781-1848)

  9. Bernard Bolzano (1781-1848) • Czech Priest

  10. Bernard Bolzano (1781-1848) • Czech Priest • [0,1]~[0,2]

  11. Cardinality

  12. Cardinality • The number of elements in a set is the cardinality of the set.

  13. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S|

  14. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}|

  15. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]|

  16. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]| • Lemma: c=|[a,b]| for any real a<b.

  17. Cardinality • The number of elements in a set is the cardinality of the set. • Card(S)=|S| • |{1,2,3}|=|{a,b,c}| • c=|[0,1]|. • Lemma: c=|[a,b]| for any real a<b. • Lemma: |Reals|=c.

  18. Richard Dedekind (1831-1916)

  19. Richard Dedekind (1831-1916) • Definition of infinite sets:

  20. Georg Cantor (1845-1918)

  21. א0 • |{1, 2, 3, …}| = א0

  22. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0

  23. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0

  24. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0

  25. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0

  26. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0 • Arithmetic: א0 + א0

  27. א0 • |{1, 2, 3, …}| = א0 • |{12, 22, 32, …}| = א0 • |{ rationals in (0,1) }| = א0 • |{ rationals }| = א0 • |{ algebraic numbers }| = א0 • Arithmetic: א0 + א0 • Cardinality and Dimensionality

  28. Cantor’s Diagonal Argument

  29. Cantor’s Diagonal Argument • |(0,1)|=c

  30. Cantor’s Diagonal Argument • |(0,1)|=c • c > א0

  31. Attacks

  32. Attacks • Leopold Kronecker

  33. Attacks • Leopold Kronecker • Henri Poincare

  34. Attacks • Leopold Kronecker • Henri Poincare Support

  35. Attacks • Leopold Kronecker • Henri Poincare Support David Hilbert

  36. Georg Cantor “My theory stands as firm as a rock; every arrow directed against it will return quickly to its archer. How do I know this? Because I have studied it from all sides for many years; because I have examined all objections which have ever been made against the infinite numbers; and above all because I have followed its roots, so to speak, to the first infallible cause of all created things.”

  37. Felix Hausdorff Set theory is “a field in which nothing is self-evident, whose true statements are often paradoxical, and whose plausible ones are false.” Foundations of Set Theory (1914)

  38. Math May Seminar: Interlaken

  39. Math May Seminar: Interlaken

  40. Math May Seminar: Interlaken

  41. Math May Seminar: Interlaken

  42. Fun with א0

  43. Fun with א0 • Hilbert’s Hotel

  44. Fun with א0 • Hilbert’s Hotel • Bottles of Beer

  45. The Power Set of S

  46. The Power Set of S • S={1}

  47. The Power Set of S • S={1} • S={1, 2}

  48. The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3}

  49. The Power Set of S • S={1} • S={1, 2} • S={1, 2, 3} • |S|=2S

  50. The Power Set of S • c=2א0

More Related