jurjen@cwi.nl (Jurjen N.E. Bos) (03/17/88)
To clarify the discussion about proving and assuming hypotheses: It is NOT true that there are theorems in any system that can be proven together with their negation. It IS true, however, that there are statements that are true, and cannot be proven, and their negation (which is false) of course cannot be proven also. This is called "Godel's Theorem". (with an umlaut on the o) (See, for example, "Godel, Escher, Bach" by Hofstadter). -- -- Jurjen N.E. Bos (jurjen@cwi.nl)