[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-mail] Does Axiom support infinite sets
From: |
Page, Bill |
Subject: |
RE: [Axiom-mail] Does Axiom support infinite sets |
Date: |
Fri, 18 Feb 2005 20:03:37 -0500 |
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.