On Fri, Oct 21, 2011 at 02:01:40AM -0400, Stephen P. King wrote: > Hi Russell, > > The Stone duality was first found as an isomorphism between > Boolean algebras and totaly disconnected compact Hausdorff spaces. > Generalizations are being studied. Consider what these topological > spaces "look" like... What does a Cantor set look like, for example? > The idea is to shift from thinking of algebras and spaces as purely > static and consider them as evolving systems, ala Hintikka's game > theoretic semantics for proof theory. The idea that I am studying > was first proposed by Vaughan Pratt using Chu spaces. See: > http://boole.stanford.edu/pub/ratmech.pdf >
Maybe I should take a look. The trouble is it'll require some study, and I'm rather time poor, at present :). Its a pity Bruno hasn't had more time to look into it, as it seems a closer match for his ontology... Cheers -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics hpco...@hpcoders.com.au University of New South Wales http://www.hpcoders.com.au ---------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
