Shane Legg wrote:
On 9/17/06, *Brian Atkins* <[EMAIL PROTECTED]
<mailto:[EMAIL PROTECTED]>> wrote:
...
It would be much easier to aim at the right target if the target was
properly defined. ...
Shane
I have a suspicion that if an FAI could be properly and completely
defined, the constructing one would then be a trivial effort. Generally
math can be turned into programs rather easily. (They may not be very
efficient programs, but they work, and an FAI by most definitions could
improve itself.)
OTOH, given how much work a formal proof of just the four-color theorum
involved ... well, I don't think it would be wise to hold our breaths.
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/[EMAIL PROTECTED]
