pd@eisx.UUCP (P. Devanbu) (10/10/83)
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.