Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Re: Question about automated theorem proving
Posted:
Mar 4, 2002 12:56 PM
|
|
In article <66cc6eb0.0203040830.15da2f86@posting.google.com>, P M
<solace121@yahoo.com> wrote:
> Hello, I am not a mathematician and I wanted to ask a few questions
> about Automated Theorem Provers, namely: how prevalent is the use of
> them in the work of mathematicians?
almost none
>
> How capable are they?
not very
>
> How common
> is the publishing of theorems proved by a computer?
almost none
> Have computers
> ever created "their own" theorems?
yes, but most such theorems are of no interest to humans
...
Notice the "most" and "almost" in my replies. There are notable
exceptions, but they are quite rare.
>
> Are there inherent limitations to
> automated theorem provers?
Inherent? Probably not.
>
> And, finally, what is the future trend of
> this work -- will computers be used more and more to prove and/or
> create theorems?
By mathematicians, probably not.
|
|
|
|
