Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!decvax!harpo!floyd!whuxle!pyuxll!eisx!pd
From: pd@eisx.UUCP (P. Devanbu)
Newsgroups: net.ai,net.jokes
Subject: Correction: On the Undecidablity of the Lightbulb changing problem.
Message-ID: <618@eisx.UUCP>
Date: Mon, 10-Oct-83 15:44:04 EDT
Article-I.D.: eisx.618
Posted: Mon Oct 10 15:44:04 1983
Date-Received: Tue, 11-Oct-83 01:00:26 EDT
Lines: 18

An error in the proof. After  "Consider the Statement:" on the first
line of the proof,

Replace the statement:
"A computer cannot show that a light bulb is not-changeable-by-a-computer".

By:

"A computer cannot, itself, determine whether or not, 
lightbulb-changeability-by-itself-is-not-determinable,
within  a consistent, deductive, system of lightbulb changeability, that
includes this statement"

My sincere apologies. Even us extremely rigorous logicians that can prove
everything occasionally contain inconsistencies.

Prem Devanbu
ATT IS Labs.