From @uga.cc.uga.edu:lojban@cuvmb.bitnet Sun Jul 02 19:11:21 1995 Received: from punt3.demon.co.uk by stryx.demon.co.uk with SMTP id AA3714 ; Sun, 02 Jul 95 19:11:19 BST Received: from punt3.demon.co.uk via puntmail for ia@stryx.demon.co.uk; Sat, 01 Jul 95 04:29:30 GMT Received: from uga.cc.uga.edu by punt3.demon.co.uk id aa17662; 1 Jul 95 5:29 +0100 Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 5947; Sat, 01 Jul 95 00:27:19 EDT Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 5206; Sat, 1 Jul 1995 00:27:19 -0400 Date: Fri, 30 Jun 1995 22:25:29 -0600 Reply-To: Chris Bogart Sender: Lojban list From: Chris Bogart Subject: "Russell's paradox" ki'a? X-To: lojban@cuvmb.bitnet To: Iain Alexander Message-ID: <9507010529.aa17662@punt3.demon.co.uk> Status: R >It was believed prior to about 1900 that there were no problems with >the intuitive idea that there is a set defined by every predicate >asserting a property, such as gerku(x). This assumption led to >Russell's paradox and the need for new foundations of set theory on an >axiomatic basis. Sooner or later I would guess that we will have to >deal with problems arising from this same assumption, which is built >into the lojban number grammar. What is Russell's paradox? Is it easily explained or can you give a reference? ____ Chris Bogart \ / ftp://ftp.csn.net/cbogart/html/homepage.html Quetzal Consulting \/ cbogart@quetzal.com