|
Axiom of choice - Wikipedia, the free encyclopedia (3465 words) |
 | For example, the generalized continuum hypothesis (GCH) is not only independent of ZF, but also independent of ZF plus the axiom of choice (ZFC). |
| However, ZF plus GCH implies AC, making GCH a strictly stronger claim than AC, even though they are both independent of ZF. |
| One reason that some mathematicians dislike the axiom of choice is that it implies the existence of some bizarre counter-intuitive objects. |
| Gch common information (578 words) |
| After creating the executable for gch, you may put it and the gch configuration files gch.ini and rules.ini somewhere on your path. |
| The current version of gch is just a prototype, but already this version is able to process the whole sources of GNAT without blowing-up, and it produces some interesting results for them. |
| The gch is also available as package "gch" in Debian GNU/Linux at http://www.debian.org/distrib/packages (thanks to Thomas Quinot). |
Feeds |
Contact