| | #1 (permalink) | |
| Curious | An axiom to settle the continuum hypothesis ? An axiom to settle the continuum hypothesis ? (Logic Colloquium 2004 contributed abstract) Paul Cohen used a set of generic reals to prove the consistency of the negation of the continuum hypothesis with other axioms. It is my opinion that such sets do not really exist for a Platonist. My opinion is that the continuum hypothesis is true. Here is a tentative axiom from me to try to prove it. Axiom : An infinite subset of the power set of N has a bijection either with a countable union of (pair wise disjoint) sets of n elements or with a countable Cartesian products of (pair wise disjoint) sets of n elements. Mr Andreas Blass proved that this axiom is equivalent to the continuum hypothesis. So, the axiom is consistent with the other usual axioms and independent from them, from the works of Kurt Godel and Paul Cohen, respectively. Mr Andreas Blass used the assumption that the Cartesian product is not the empty set but he did not use the axiom of choice. The question which remains is : is it a good axiom ? My opinion is that it is realistic for a Platonist. But may be the axiom is not simple enough and may be a simpler one could be found. Adib Ben Jebara. | |
| ||
![]() |
| Bookmarks |
| Tags |
| continuum hypothesis |
« "Has anyone seen or heard anything about nasa discovering that a day is missing?"
|
Big Bang, Erroneous? »
| Currently Active Users Viewing This Thread: 1 (0 members and 1 guests) | |
| Thread Tools | |
| |
Similar Threads | ||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| A hypothesis about gravity and magnetism | ask | Physics and Mathematics | 4 | 02-26-2008 07:52 PM |
| Matter-manifold hypothesis | KALSTER | Physics and Mathematics | 5 | 02-06-2008 03:26 AM |
| My biological hypothesis | supersport | Biology | 34 | 09-18-2006 10:27 PM |
| The Riemann hypothesis | matrixscarface | Physics and Mathematics | 6 | 03-04-2005 03:02 PM |
| Closed Continuum | Robust | Physics and Mathematics | 31 | 12-25-2004 08:35 AM |
All times are GMT -8. The time now is 07:34 AM.













