Re: [Caml-list] JoCaml Released.

[Oliver Bandel <oliver@first.in-berlin.de>]

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.

Ciao,
   Oliver