[RC5] Beal's Problem A DN challenge?
david at wirestation.co.uk
Tue Jul 6 21:21:53 EDT 1999
> David Cantrell said:
> >It's main drawback is that it is an open-ended problem, like SETI but
> >unlike OGR...
> It's not so much the open ended-ness of it, but the fact that it can't
> really be done by a computer at all. To formulate a proof the person doing
> the proof must use their own mind and ingenuity to try and find a way from
> point A to point B that hasn't been discovered before. There is no set
> instructions that you could instruct a computer to follow that would
> result in an answer. The computer can't think, and proving a theorem
> requires just that.
I was talking about _disproving_ it. It is obvious that d.net can't
prove Beal's conjecture, but that it could - perhaps - prove it wrong.
All we would need to do is find _one_ counter-example. THAT is the
David Cantrell, Senior Developer, Wirestation
To unsubscribe, send 'unsubscribe rc5' to majordomo at lists.distributed.net
rc5-digest subscribers replace rc5 with rc5-digest
More information about the rc5