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