[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Axiom-mail] [Axiom-mail] Does Axiom support infinite
From: |
Ning Wang |
Subject: |
[Axiom-developer] [Axiom-mail] [Axiom-mail] Does Axiom support infinite sets |
Date: |
Thu, 24 Feb 2005 16:56:03 -0600 |
Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--
Thanks Bill, I think the streams is enough for me so far.
Regards,
Ning
Page, Bill wrote:
>Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
>--
>On Thursday, February 17, 2005 3:29 PM Ning Wang wrote:
>
>
>>Can I define an infinite set by the axiom of comprehension
>>or the axiom of replacement?
>>
>>
>>
>
>The short (but incomplete) answer is "no". At least not in an
>entirely abstract manner. But Axiom does provide tools
>specifically for dealing with "infinite", i.e. indefinitely
>large, lists called streams.
>
>Perhaps you will find the following web page useful. It
>summarizes some of the properties of streams.
>
>http://page.axiom-developer.org/zope/mathaction/Streams
>
>If you have other questions please let us know.
>
>Regards,
>Bill Page.
>
>
>
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden