🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #158

Re: Set Theory and Theology

#158
From: Gary Merrill
Date: Wed, 09 Sep 1992 13:34
25 lines
1667 bytes
In article <1992Sep8.204819.316@guinness.idbsu.edu>, holmes@opal.idbsu.edu (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 / (919) 677-8000
sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
Technical Details
Message-ID: <BuBCCp.6wJ@unx.sas.com>
Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!hal.com!decwrl!concert!sas!mozart.unx.sas.com!sasghm
References: <1992Sep8.204819.316@guinness.idbsu.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!hal.com!decwrl!concert!sas!mozart.unx.sas.com!sasghm
From: sasghm@theseus.unx.sas.com (Gary Merrill)
Newsgroups: sci.logic
Subject: Re: Set Theory and Theology
Message-ID: <BuBCCp.6wJ@unx.sas.com>
Date: 9 Sep 92 13:34:01 GMT
References: <1992Sep8.204819.316@guinness.idbsu.edu>
Sender: news@unx.sas.com (Noter of Newsworthy Events)
Distribution: sci.logic sci.philosophy.meta
Organization: SAS Institute Inc.
Lines: 25
Originator: sasghm@theseus.unx.sas.com
Nntp-Posting-Host: theseus.unx.sas.com