Article View: sci.crypt
Article #4143Truths and theorems
From: Jurjen N.E. Bos
Date: Thu, 17 Mar 1988 00:08
Date: Thu, 17 Mar 1988 00:08
11 lines
944 bytes
944 bytes
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)
Technical Details
Message-ID:
<7522@boring.cwi.nl>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!jurjenReferences:
<977@thumper.bellcore.com> <7440@brl-smoke.ARPA> <26797@linus.UUCP> <7449@brl-smoke.ARPA> <26822@linus.UUCP> <1009@sdcc13.ucsd.EDU> <7521@boring.cwi.nl> <1010@sdcc13.ucsd.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!jurjen From: jurjen@cwi.nl (Jurjen N.E. Bos) Newsgroups: sci.crypt Subject: Truths and theorems Message-ID: <7522@boring.cwi.nl> Date: 17 Mar 88 00:08:33 GMT References: <977@thumper.bellcore.com> <7440@brl-smoke.ARPA> <26797@linus.UUCP> <7449@brl-smoke.ARPA> <26822@linus.UUCP> <1009@sdcc13.ucsd.EDU> <7521@boring.cwi.nl> <1010@sdcc13.ucsd.EDU> Organization: CWI, Amsterdam Lines: 11 Keywords: paradox, Godel