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 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