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