Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site brl-vgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!harpo!seismo!brl-tgr!brl-vgr!gwyn
From: gwyn@brl-vgr.ARPA (Doug Gwyn )
Newsgroups: net.math
Subject: Re: Interesting Numbers (New Proof)
Message-ID: <1805@brl-vgr.ARPA>
Date: Fri, 11-May-84 07:14:50 EDT
Article-I.D.: brl-vgr.1805
Posted: Fri May 11 07:14:50 1984
Date-Received: Sat, 12-May-84 11:43:25 EDT
References: <1281@uvacs.UUCP>, <909@dciem.UUCP>
Organization: Ballistics Research Lab
Lines: 3

And if you carry out the pushing of the interesting property to infinity,
you get what amounts to the theory of types (like trying to sweep dirt
under a rug).