Axioms of Symmetry: Throwing Darts at the Real Number Line
Freiling, Chris
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 190-200 / Harvested from Project Euclid
We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We will in fact show why there must be an infinity of cardinalities between the integers and the reals. We will also show why Martin's Axiom must be false, and we will prove the extension of Fubini's Theorem for Lebesgue measure where joint measurability is not assumed. Following the philosophy--if you reject CH you are only two steps away from rejecting the axiom of choice (AC)--we will point out along the way some extensions of our intuition which contradict AC.
Publié le : 1986-03-14
Classification: 
@article{1183742039,
     author = {Freiling, Chris},
     title = {Axioms of Symmetry: Throwing Darts at the Real Number Line},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 190-200},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742039}
}
Freiling, Chris. Axioms of Symmetry: Throwing Darts at the Real Number Line. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  190-200. http://gdmltest.u-ga.fr/item/1183742039/