2 Actual infinity Aristotle distinguished actual vs potential infinities actual infinity: elements exist together simultaneouslypotential : elements exist only consecutively over time.In mathematics, actual infinity is the notion that all numbers (natural, real etc.) can be enumerated in some sense sufficiently definite for them to form a set.the abstraction of actual infinity involves the acceptance of infinite entities, such as the set of all natural numbers as given objectsThe term "actual" in is synonymous with definite, completed, extended or existential, but not to be mistaken for physically existing.
3 Gauss’ (1831) summary of common view: Gauss’ (1831) summary of common view: * I protest against the use of infinite magnitude as something completed, which is never permissible in mathematics. Infinity is merely a way of speaking, the true meaning being a limit which certain ratios approach indefinitely close, while others are permitted to increase without restriction..The drastic change was initialized by Bolzano and Cantor in the 19th centuryBolzano (c. 1830s) introduced the notion of “set” * A multitude … with the property that every finite set … is only a part of it, I will call an infinite multitudeGeorg Cantor (c. 1870s) developed “set theory”; distinguished 3 realms of infinity: infinity of God, of nature, and of mathematics.* The numbers are a free creation of human mind. (R. Dedekind)
4 InfinityIn mathematical analysis, it is absolutely essential to deal with infinite quantities in a rigorous way.E.g., there are infinitely many numbers between 0 and 1, but we can say that the length of the interval [0,1] equals 1?Can we say that 0.999…=1?Can we say that ½+1/4+1/8+…=1?The natural numbers 1,2,3… are infiniteThe rational numbers are equal in number to the whole numbers.The real numbers exceed the number of integers
6 Real numbers and decimal and binary representations
7 Equivalence of setsTwo sets A and B are equivalent if there is a rule that assigns to each element of A a unique element of BIn a sense, equivalent sets have the same number of elementsContinuum hypothesis: There are no sets that have more elements than the whole numbers and fewer than the real numbers.
8 Logic and Set TheoryHow do we deduce mathematical theorems that depend on properties of sets?Boole: Boolean logicDeMorgan: Laws of inclusion and exclusion
9 Propositional calculus Assign truth values to “atomic” propositionsCalculate truth of a compound statement based on truth values of atoms
16 Continuum hypothesisThere is no set whose size is strictly between that of the integers and that of the real numbers.CH and AC are consistent with ZF
17 Logic and infinite sets Problems arise when we try to apply predicate logic to statements about “all of the members of a set”“Second order logic”
18 Russell’s paradoxSuppose that, for any formal criterion, a set S exists whose members are exactly those objects satisfying the criterionCan’t do this IF a there is set S containing exactly the sets that are not members of themselves.If S qualifies as a member of itself, it would contradict its own definition as a set containing sets that are not members of themselves.If S is not a member of itself, it would qualify as a member of itself by the same definition.This contradiction is Russell's paradox.
19 The axiom of choice (AC) AC says that given any collection of bins, each containing at least one object, it is possible to select exactly one object from each bin, even if there are infinitely many bins and there is no "rule" for which object to pick from each.
20 The Banach–Tarski paradox states that a solid ball in 3-dimensional space can be split into several non-overlapping pieces, which can then be put back together in a different way to yield two identical copies of the original ball.Unlike most theorems in geometry, it depends in a critical way on the axiom of choice in set theory.
21 Prisoners hat problemPrisoners are to be lined up facing forward. Each wears a black hat, or a white (random)Warden starts from the back of the line, asking each prisoner his hat color, then moving forward one by one. Prisoners are only allowed to say "black" or "white."They are executed if wrong and spared if right.Each prisoner can hear the guesses of other prisoners (*and their outcome).The prisoners learn of the warden's plan and the rules described above the night before this is to take place and can therefore strategize beforehand. What is their best plan?instead of a finite number of prisoners, take a countably infinite number of them (say, one for each natural number). Any attempt to extend the solution for the previous problem to this one results in an infinite number of executions.
22 Completeness Kurt Gödel in 1931, First incompleteness theorem: Any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory.Analogy: liar paradox: "This sentence is false."