Re: A connection-based Internet? Thu, 19 December 1996 23:00 UTC

Received: from cnri by id aa16260; 19 Dec 96 18:00 EST
Received: from by CNRI.Reston.VA.US id aa23510; 19 Dec 96 17:56 EST
Received: from mailing-list by (8.6.9/1.0) id JAA04537; Fri, 20 Dec 1996 09:51:57 +1100
Received: from munnari.OZ.AU by (8.6.9/1.0) with SMTP id JAA04508; Fri, 20 Dec 1996 09:39:32 +1100
Received: from by munnari.OZ.AU with SMTP (5.83--+1.3.1+0.56) id WA22424; Fri, 20 Dec 1996 09:39:27 +1100 (from
Received: from (valdis@LOCALHOST []) by (8.8.4/8.8.4) with ESMTP id RAA30534; Thu, 19 Dec 1996 17:39:01 -0500
Message-Id: <>
X-Mailer: exmh version 2.0alpha 12/3/96
To: Greg Minshall <>
Cc: Noel Chiappa <>,,,,,,
Subject: Re: A connection-based Internet?
In-Reply-To: Your message of "Thu, 19 Dec 1996 09:58:29 PST." <>
References: <>
Comments: Hyperbole mail buttons accepted, v04.01.
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="==_Exmh_-2039064254P"; micalg=pgp-md5; protocol="application/pgp-signature"
Content-Transfer-Encoding: 7bit
Date: Thu, 19 Dec 1996 17:39:00 -0500
Precedence: bulk

On Thu, 19 Dec 1996 09:58:29 PST, Greg Minshall said:
> The problem with the latter is that there are many things that have been 
> "proven" over the years, but don't, in fact, work (or, in the math space, 
> 'theorems' that have been 'proved' but aren't, in fact, true).

Or even worse, are *truly* provably true within a given domain.  See
Euclid's parallel postulate and non-Euclidean geometry for an example.

Just because something was demonstrably true 10 years ago doesn't mean that
it will still be true once the next generation of <insert favorite
combo of hard/soft/live ware here> comes along, and the nature of things
				Valdis Kletnieks
				Computer Systems Engineer
				Virginia Tech