disparaging remarks
F. Javier Thayer (jt@linus.mitre.org)
Thu, 8 Dec 1994 11:40:47 -0500
That human beings can prove theorems is hardly remarkable.
Now if DOGS could prove theorems that would be truly remarkable.
The fact that computers can prove theorems lies somewhere in between,
I think.
F. Javier Thayer Fabrega