From lusk Fri Jun 17 23:32:20 1994 Received: from scapa.cs.ualberta.ca (scapa.cs.ualberta.ca [129.128.4.44]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id XAA03761 for ; Fri, 17 Jun 1994 23:31:29 -0500 Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18656-1>; Fri, 17 Jun 1994 22:31:23 -0600 Subject: Re: Examples From: Piotr Rudnicki To: jt@linus.mitre.org (F. Javier Thayer) Date: Fri, 17 Jun 1994 22:31:07 -0600 Cc: qed@mcs.anl.gov In-Reply-To: <199406172201.SAA14969@nausicaa.mitre.org> from "F. Javier Thayer" at Jun 17, 94 04:01:07 pm X-Mailer: ELM [version 2.4 PL23] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 276 Message-Id: <94Jun17.223123-0600.18656-1@scapa.cs.ualberta.ca> > I believe I implied that the theorem in Trybulec's example is highly > non-trivial. I do claim however that one can do rigorous mathematics > that would appeal to a wider community of individuals with less work. Could you suggest something? -- Piotr (Peter) Rudnicki