Received: from linus.mitre.org (linus.mitre.org [129.83.10.1]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id JAA04454 for <owner-qed@mcs.anl.gov>; Mon, 22 May 1995 09:37:05 -0500
Received: from triad.mitre.org (triad.mitre.org [129.83.10.97]) by linus.mitre.org (8.6.12/8.6.12) with ESMTP id KAA14593 for <owner-qed@mcs.anl.gov>; Mon, 22 May 1995 10:37:03 -0400
Received: from localhost (jt@localhost) by triad.mitre.org (8.6.12/8.6.12) with SMTP id KAA02763 for <owner-qed@mcs.anl.gov>; Mon, 22 May 1995 10:36:07 -0400
Message-Id: <199505221436.KAA02763@triad.mitre.org>
X-Authentication-Warning: triad.mitre.org: jt owned process doing -bs
X-Authentication-Warning: triad.mitre.org: Host localhost didn't use HELO protocol
To: owner-qed@mcs.anl.gov
In-reply-to: Your message of "Mon, 22 May 1995 13:41:00 -0400."
             <9505221347.AA09578@cksr.ac.bialystok.pl> 
Date: Mon, 22 May 1995 10:36:06 -0400
From: "F. Javier Thayer" <jt@linus.mitre.org>
X-UIDL: 801410893.022



It is particularly important in much of mathematics to refer of the
domain of a function. For instance, much of the theory of unbounded
operators on infinite dimensional spaces, as currently formulated,
uses in a critical way the domains of these operators. Are we to
reformulate the theory to accomodate some particular vision of how
mathematics should be done?

This is not an isolated example. Functions with essential
discontinuities (that is without limits at these points) are really
best though of as being undefined at those points.


Javier