On Sunday, May 18, 2014 10:53:57 PM UTC-4, Russell Standish wrote: > > 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. >
If you are intending to solve a problem, anything that you do in the service of solving that problem is intentional, even if you employ rolling a RNG as a step. Adding a RNG into a computer program does not make it able to solve the Halting Problem. It probably doesn't even make the solvability of the Halting Problem more or less computable. Besides, randomness is conceptual. As far as I know, there is no proof of actual randomness, nor proof that such proof could exist. Craig > -- > > ---------------------------------------------------------------------------- > > Prof Russell Standish Phone 0425 253119 (mobile) > Principal, High Performance Coders > Visiting Professor of Mathematics [email protected]<javascript:> > 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.
