[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: FW: data structure vs. mathematical structure
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: FW: data structure vs. mathematical structure |
Date: |
16 Nov 2006 03:17:55 +0100 |
"Page, Bill" <address@hidden> writes:
[...excellent stuff snipped...]
| Now having thought about Stream as a type constructor solution
| of the equation X = 1 + T * X, I would like to ask you what you
| think might be the equivalent greatest fixed point solution of
|
| X = 1 + T * X * X
|
| Recall first that the least fixed point solution corresponds to
| the BinaryTree type constructor.
Isn't a potentially infinite binary tree?
An effective traversal of that structure would be a breath first
traversal. Does Axiom have a domain for that?
| I think I know the answer although I have not seen this written
| anyware else, so I want to see if you come to the same conclusion.
| :-) Ultimately it is the connection to Azcel and Jon Barwise's
| notions of non-wellfounded sets that intrigues me most.
co-induction.
-- gaby
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, (continued)
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/14
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- Re: [Axiom-developer] Re: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure,
Gabriel Dos Reis <=
- Re: [Axiom-developer] RE: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/14
Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Vanuxem Grégory, 2006/11/14