Cardinal numbers in Axiom
"Alasdair McAndrew" <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
Exploring the far reaches of Axiom, I was playing with cardinal numbers: A:=Aleph(0) generalizedContinuumHypothesisAssumed true A^2 returns Aleph(0), as it should. Now, since A^n=A if n is finite, the command A^(10^(10^10)) should return Aleph(0). But it doesn't - it just hangs Axiom. It seems as though Axiom is first trying to evaluate 10^(10^10), and then raise A to that power. But surely Axiom should recognize that 10^(10^10) is finite immediately, and proceed from there. -Alasdair -- Blog: http://amca01.wordpress.com _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail