From owner-qed Thu Dec 8 02:41:11 1994 Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id CAA04019 for qed-out; Thu, 8 Dec 1994 02:38:39 -0600 Received: from bos1a.delphi.com (SYSTEM@bos1a.delphi.com [192.80.63.1]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id CAA04014 for ; Thu, 8 Dec 1994 02:38:33 -0600 Received: from delphi.com by delphi.com (PMDF V4.3-9 #7804) id <01HKDXCV5EUO93BPGP@delphi.com>; Thu, 08 Dec 1994 03:38:19 -0500 (EST) Date: Thu, 08 Dec 1994 03:38:19 -0500 (EST) From: Lyle Burkhead Subject: disparaging remarks To: qed@mcs.anl.gov Message-id: <01HKDXCV5EUQ93BPGP@delphi.com> X-VMS-To: INTERNET"qed@mcs.anl.gov" MIME-version: 1.0 Content-type: TEXT/PLAIN; CHARSET=US-ASCII Content-transfer-encoding: 7BIT Sender: owner-qed@mcs.anl.gov Precedence: bulk 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. Lyle