On Thu, Jul 04, 2002 at 04:07:42PM +0200, Bruno Marchal wrote:
[Hal Finney wrote:]
In general, universes are created by more than one computer
program. The measure of a universe is proportional to the number of
computer programs which create it.
Glad you say so. This is *not* true for
Hi Wei Dai,
About books. Concerning the provability logics I always mentionned
the Boolos 1993 (or even his lovely lighter Boolos 1979), but I would
like to mention also the book Self-reference and modal logic by
Smorynski. The only problem is its very little caracters; I should go
to the
Thanks. I read it quickly. I didn't understand the details.
I have no really opinion. I have been more impressed by Freedman
analogical quantum machine, but Calude suggestion is of the same
type. This could lead to a refutation of comp, not of Church
thesis imo. Those machine does really not
On 05-Jul-02, Bruno Marchal wrote:
Biggie (in the FOR list):
In some cultures, the pschologists, being in sync with
conservative religous and political forces, would
probably turn her in to the authorities if she
violated their psychologically sound moral agenda,
right? No, to the extent
Hal Finney wrote:
Yes, I meant a constant additive term. Any UTM can emulate any other
TM using a fixed size prefix in front of the other TM's input tape.
(This assumes that the two TMs use the same basic alphabet of characters
for their input tape.)
OK. That follows from Church Thesis.
At 11:24 -0700 5/07/2002, Brent Meeker wrote:
On 05-Jul-02, Bruno Marchal wrote:
Biggie (in the FOR list):
In some cultures, the pschologists, being in sync with
conservative religous and political forces, would
probably turn her in to the authorities if she
violated their
On Fri, Jul 05, 2002 at 09:52:39AM -0700, Wei Dai wrote:
Soundness as far as I understand it applies to an
axiomatic theory, that is, the theory is sound if you can't deduce false
from its axioms.
Sorry, I mixed up soundness and consistency here. It doesn't affect my
point, but actually
On Thursday, July 4, 2002, at 07:21 AM, Bruno Marchal wrote:
This list is based on the idea that -more is simpler-. We are open to
all many-things idea (many worlds, many computations, etc.).
Category theory is interesting in that respect, but beware
mathematical mermaids! :)
Or sirens
On Friday, July 5, 2002, at 10:54 AM, Bruno Marchal wrote:
But, perhaps more importantly at this stage I must recall the book
Mathematics of Modality by Robert Goldblatt. It contains fundamental
papers on which my quantum derivation relies. I mentionned it a lot
some time ago.
And now that
9 matches
Mail list logo