English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2007-06-06 (08:18)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] JoCaml Released.
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.