On Sun, May 18, 2014 at 07:01:01PM -0700, Craig Weinberg wrote: > > > On Sunday, May 18, 2014 9:34:40 PM UTC-4, Russell Standish wrote: > > This doesn't follow. An evolutionary algorithm with a real random > > source, can potentially stumble upon any solution, not just ones for > > which no algorithm can find. There even remains some doubt that "real > > randomness" is required, so long as the entropy of the random source > > is sufficiently high. > > > > The Wiles proof didn't have a random source though, it was developed > intentionally.
The proof doesn't but Wiles probably did (in his brain, presumably, although he could have used a coin or something else). > > > > > > In COMP, the universal dovetailer provides plenty of real randomness > > from the subjective point of view, that can be harnessed. Perhaps > > that's exactly what Andrew Wiles did. (In fact, I really rather think > > he did - my proofs, which are not so grand as Andrew's, usually > > involve some "divine spark of inspiration", which is just another term > > for rolling a random number generator). > > > > You're still the one intentionally doing the rolling. > That makes no sense. Rolling an RNG is a mechanical process, if ever there was one. Intention to solve Fermat's last theorem is outside the scope of the claim. -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics [email protected] University of New South Wales http://www.hpcoders.com.au Latest project: The Amoeba's Secret (http://www.hpcoders.com.au/AmoebasSecret.html) ---------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
