Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site sbcs.UUCP
Path: utzoo!watmath!clyde!floyd!cmcl2!philabs!sbcs!debray
From: debray@sbcs.UUCP (Saumya Debray)
Newsgroups: net.ai
Subject: undecidability of undecidability
Message-ID: <592@sbcs.UUCP>
Date: Wed, 15-Feb-84 17:19:20 EST
Article-I.D.: sbcs.592
Posted: Wed Feb 15 17:19:20 1984
Date-Received: Fri, 17-Feb-84 02:49:34 EST
Organization: SUNY at Stony Brook
Lines: 14

Yesterday I posted an article replying to sri-unix!crummer@AEROSPACE, who
had said that undecidability was undecidable. I'm afraid I misread his
article; undecidability is, in general, obviously undecidable, and I agree
with Charlie. Sorry about that.
-- 
Saumya Debray
Dept. of Computer Science
SUNY at Stony Brook

	uucp:
	     {floyd, cbosgd, ihnp4, mcvax, cmcl2}!philabs \
						 !allegra  > !sbcs!debray
	       		{teklabs, hp-pcd, metheus}!ogcvax /
	CSNet: debray@suny-sbcs@CSNet-Relay