"Hidden in the woods, a quiet research community is developing drugs that eradicate all traces of HIV, installing the nation's first brain stem cell implant and discovering proof of alternative universes.
Yet, in principle, computers cannot be asked to discover proofs, except in very restricted areas of mathematics—such as elementary Euclidean geometry where the set of theorems happens to be recursive, as was proved by Tarski.
But other mathematicians see a major boon: just as the computers of today can beat the grand masters of chess, the computers of tomorrow may be able to discover proofs that have eluded the grandest of mathematicians.
Again Maimonides thinks he is justified in saying that Abraham discovered proofs for the existence of a God who is neither a body nor a force in a body even though the Bible is silent on such matters.
SNARK has a procedural-attachment mechanism that allows one to consult external resources while a proof is in progress, and a mechanism for extracting answers to queries from discovered proofs.
But the Witherow investigation, conducted by the global law firm, Linklaters, managed to discover proof of only 94 prosecutions.
Fermat said he had discovered proof of his theorem, but lacked space to include it in the margin.
The fact that a parent or a spouse can be repeatedly subjected to the sharp sting of newly discovered proof of the death of a loved one is incomprehensible.
However, they have yet to discover proof of foul play -- something that others noted in response to Murdoch's tweet..@rupertmurdoch getting a bit ahead of the story?
In the next five years or so, scientists are poised to discover proof that space and time can wrinkle in the form of gravitational waves.
