Version française
Home     About     Download     Resources     Contact us    
Browse thread
JoCaml Released.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] JoCaml Released.
On Wed, Jun 06, 2007 at 10:18:15AM +0200, Oliver Bandel wrote:
> On Mon, Jun 04, 2007 at 10:13:55AM -0400, Joshua D. Guttman wrote:
> > Oliver Bandel <oliver@first.in-berlin.de> writes:
> > 
> > >   
> > >   
> > >   As far as I know only polycontextural logic can express
> > >   parallel, distributed systems (and selfreference) in a
> > >   complete/total way.  So, when join calculus is
> > >   monocontextural (which it is, if it uses the math we all
> > >   have learned) it will be a subsystem of what can be
> > >   expressed with polycontextural logic.
> > >   
> > 
> > Well, I googled and found the Wikipedia article on Gotthard
> > Guenther, which talked about trans-Aristotelian logic and
> > the law of the excluded middle (shades of Korzybski!  Were
> > they connected?).
> > 
> > But there was no indication what
> > monocontextural/polycontextural meant, or why only the
> > latter expresses distribution *completely*.  
> > 
> > Could you give a brief summary, please?  
> [...]
> 
> I answered to your private maila ddress twice.
> ...well oooh, I didn't saw you also wrote to this list.
> 
> 
> I will collect both mails and send it to the list today.
> 


...is it interests other people...

Ciao,
   Oliver