disparaging remarks

Lyle Burkhead (LYBRHED@delphi.com)
Thu, 08 Dec 1994 03:38:19 -0500 (EST)

Current and past issues of MR contain many references to cases where the
human mind, unaided by computers, has settled open mathematical questions.
Math libraries, such as the one at UT, contain thousands of books full of
true theorems, all established by human mathematicians. Quite remarkable.

I hope that those who make disparaging remarks about the ability of the
human mind to establish mathematical results get pointed in that direction.