NetNews Usenet Archive 1992 #20/NN_1992_20.iso/spool/sci/logic/1369

Internet Message Format | 1992-09-09 | 1.6 KB

Path: sparky!uunet!olivea!hal.com!decwrl!concert!sas!mozart.unx.sas.com!sasghm
From: [e-mail] (Gary Merrill)
Newsgroups: sci.logic
Subject: Re: Set Theory and Theology
Message-ID: <[e-mail]>
Date: 9 Sep 92 13:34:01 GMT
References: <[e-mail]>
Sender: [e-mail] (Noter of Newsworthy Events)
Distribution: sci.logic sci.philosophy.meta
Organization: SAS Institute Inc.
Lines: 25
Originator: [e-mail]
Nntp-Posting-Host: theseus.unx.sas.com


In article <[e-mail]>, [e-mail] (Randall Holmes) writes:
|>
|>
|> Please note that the existence of the set of all natural numbers is
                                         ^^^
|> sanctioned by one of the Fathers of the Church.  Note the use of

This is not obvious.  I am suspicious of the translation, you clever
promulgator of Platonism.

|> Every number is defined by its own unique character, so that no number
|> is equal to any other.  They are all unequal to one another and
|> different, and the individual numbers are finite, but as a class they
                                                              ^^^^^
Class?  Do you have the Latin here?

|> Never let us doubt, then, that every number is known to him 'whose
|> understanding cannot be numbered'.  Although the infinite series of

Of course, this doesn't require there to be a set of same.
--
Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / [phone]
[e-mail] ... !mcnc!sas!sasghm