G, G*, S4Grz, IL, Z and Z*.

From: Marchal <marchal.domain.name.hidden>
Date: Fri Jun 1 09:24:08 2001

Hi George, Hi Everythingers, ...

The answer to "George exam" are in the preceding post by Wei Dai, or
in the archive at:


       http://www.escribe.com/science/theory/m2855.html


I have put the illustrating programs (including the machine
guardian angel) in my web page, following Wei Dai suggestion.
Click on "G, G*, ...":


       http://iridia.ulb.ac.be/~marchal


Take all your time (before giving me (or not) the prize :-))

I am aware that I must still better explain the importance of G*, and
of the relationship between quantum logic (and mechanics) with
the B logic (which has K, LASE and T, as axioms).

Those who does not understand the UDA should not hesitate to ask
question before trying to understand the "arithmetical UDA".
Does everybody understand the computational indeterminacy?

The lisper should not hesitate to interview the machine (through G)
and its guardian angel (through G*) by themselves.

Bruno
Received on Fri Jun 01 2001 - 09:24:08 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST