Dear Hans, Bret and Friends,
I submit this paper by S. Wolfram on intractability and undecidability
that you all might find of interest:
Please note the part that discusses "coordinate reparametrizations"
between finitely specified 4-manifolds ... ;-)
----- Original Message -----
From: "Hans Moravec" <[EMAIL PROTECTED]>
To: "Brent Meeker" <[EMAIL PROTECTED]>; "Everything-list"
Cc: "Hans Moravec" <[EMAIL PROTECTED]>
Sent: Monday, December 30, 2002 9:39 PM
Subject: Re: Quantum Probability and Decision Theory
> Brent Meeker:
> > It seems [factoring] has been proven recently to be in P:
> > http://crypto.cs.mcgill.ca/~stiglic/PRIMES_P_FAQ.html#PRIMES
> No, that's primality testing, which has always been
> much easier than factoring.