🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.philosophy.tech
Article #301

Re: God's and Zorn's existence.

#301
From: Timothy Y. Chow
Date: Sun, 13 Sep 1992 00:15
21 lines
1544 bytes
In article <1992Sep12.190822.90079@vaxc.cc.monash.edu.au> kevin@vaxc.cc.monash.edu.au writes:
>My claim: Meyer's result is completely transparent.

I agree, assuming my reconstruction of his argument is correct (nobody seems
to have commented on my reconstruction though).  The mathematical part of
his result would barely deserve the title of "remark" in a mathematical
paper, let alone "Theorem."

>What is the cardinality of the set of a-priori, non-trivial statements
>that have been made about the real world? ...  24 minus the sum of the
>divisors of 24.

You mean proper divisors, I assume?  24 - (1+2+3+4+6+8+12) = -12.  An
interesting set, I must say!  Care to list its members?  :-)

You mean of course 28.
-- 
Tim Chow     tycchow@math.mit.edu
Where a calculator on the ENIAC is equipped with 18,000 vacuum tubes and weighs
30 tons, computers in the future may have only 1,000 vacuum tubes and weigh
only 1 1/2 tons.                               ---Popular Mechanics, March 1949
Technical Details
Message-ID: <1992Sep13.001540.17617@galois.mit.edu>
Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!galois!riesz!tycchow
References: <1992Sep12.190822.90079@vaxc.cc.monash.edu.au>

Show Full Headers
Complete Article Headers
Newsgroups: sci.philosophy.tech
Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!galois!riesz!tycchow
From: tycchow@riesz.mit.edu (Timothy Y. Chow)
Subject: Re: God's and Zorn's existence.
Message-ID: <1992Sep13.001540.17617@galois.mit.edu>
Sender: news@galois.mit.edu
Nntp-Posting-Host: riesz
Organization: None.  This saves me from writing a disclaimer.
References: <1992Sep12.190822.90079@vaxc.cc.monash.edu.au>
Date: Sun, 13 Sep 92 00:15:40 GMT
Lines: 21