Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site peora.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!drutx!mtuxo!mtunh!mtung!mtunf!ariel!vax135!petsd!peora!jer
From: jer@peora.UUCP (J. Eric Roskos)
Newsgroups: net.singles
Subject: Re: What's you number, Mr. Godel?
Message-ID: <1254@peora.UUCP>
Date: Tue, 9-Jul-85 14:37:20 EDT
Article-I.D.: peora.1254
Posted: Tue Jul  9 14:37:20 1985
Date-Received: Fri, 12-Jul-85 00:42:43 EDT
References: <2954@cornell.UUCP>
Organization: Perkin-Elmer SDC, Orlando, Fl.
Lines: 21

Good heavens! I never realized that when I mentioned such a non-net.singles
topic, it would provoke such discussion, and especially not from two
intuitionist logicians!

>I'm reminded of a prof who suggested that at a cocktail party we could
>impress that certain MOTAS by proving the 5-color theorem on a napkin, then
>invite him/her back to your place to do the 4-color theorem.  Is *that* why
>this discussion is in net.singles ????

Well, I certainly would be sufficiently impressed with a MOTOS who could
prove the 5-color theorem on a napkin to go back to her place to do the
4-color theorem... unfortunately, such people are relatively rare (especially
those who can do the proof so that I can understand it... :-))
-- 
Shyy-Anzr:  J. Eric Roskos
UUCP:       ..!{decvax,ucbvax,ihnp4}!vax135!petsd!peora!jer
US Mail:    MS 795; Perkin-Elmer SDC;
	    2486 Sand Lake Road, Orlando, FL 32809-7642

	    "Gurl zhfg hcjneq fgvyy, naq bajneq,
	     Jub jbhyq xrrc noernfg bs gehgu."  -- WEY