Browse thread
JoCaml Released.
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 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