Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site gargoyle.UChicago.UUCP
Path: utzoo!watmath!clyde!burl!mgnetp!ihnp4!gargoyle!stuart
From: stuart@gargoyle.UChicago.UUCP (Stuart Kurtz)
Newsgroups: net.religion
Subject: Rich Rosen & Logic.
Message-ID: <156@gargoyle.UChicago.UUCP>
Date: Tue, 26-Jun-84 11:50:29 EDT
Article-I.D.: gargoyle.156
Posted: Tue Jun 26 11:50:29 1984
Date-Received: Thu, 28-Jun-84 03:16:22 EDT
Organization: U. Chicago - Computer Science
Lines: 15

RR:    To show that the internal logic of the faith is coherent is not
       enough.

Godel: If one can show (prove) that any interesting (sufficiently powerful)
       belief system is coherent (consistent), within that system this
       would itself prove that system inconsistant.

SAK:   I take it from the tenor of RR's comment, that he can prove that
       his own belief system is consistent.  This must mean it's either
       inconsistent or uninteresting.  Vote? ;-)

----------------------------------------

Stuart Kurtz		:	Department of Computer Science
ihnp4!gargoyle!stuart	:	The University of Chicago