[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] Re: FW: data structure vs. mathematical structure
From: 
Gabriel Dos Reis 
Subject: 
[Axiomdeveloper] 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 nonwellfounded sets that intrigues me most.
coinduction.
 gaby
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, (continued)
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/14
 [Axiomdeveloper] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 Re: [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] RE: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
 Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/14
 Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Vanuxem GrĂ©gory, 2006/11/14