Date: Mar 4, 2002 11:30 AM
Author: P M
Subject: Question about automated theorem proving



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? How capable are they? How common
is the publishing of theorems proved by a computer? Have computers
ever created "their own" theorems? Are there inherent limitations to
automated theorem provers? And, finally, what is the future trend of
this work -- will computers be used more and more to prove and/or
create theorems?

Thanks.