axiom-developer
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]