Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!amdcad!ames!umd5!brl-adm!husc6!cca!g-rh
From: g-rh@cca.CCA.COM (Richard Harter)
Newsgroups: sci.philosophy.tech
Subject: Re: Classifying the Axiom of Choice
Message-ID: <24871@cca.CCA.COM>
Date: 23 Feb 88 01:29:33 GMT
References: <1890@mind.UUCP> <25011@linus.UUCP> <7123@agate.BERKELEY.EDU>
Reply-To: g-rh@CCA.CCA.COM.UUCP (Richard Harter)
Organization: Computer Corp. of America, Cambridge, MA
Lines: 24

In article <7123@agate.BERKELEY.EDU> weemba@garnet.berkeley.edu (Obnoxious Math Grad Student) writes:
>In article <25011@linus.UUCP>, bwk@mitre-bedford (Barry W. Kort) writes:
>>My choice is to classify the Axiom of Choice as synthetic and
>>a posteriori.
>
>I favor analytic a posteriori, myself.  "analytic", since all mathematical
>truths are, and "a posteriori", since AC is based on our derived perceptions
>of sets.

Do I understand this correctly then that the Axiom of Choice is acceptable
to Christians, who are not bound by the Law, but not to Jews, since a posteriori
knowledge is proscribed in Leviticus?

Sorry about that :-) 

.
.
.

-- 

In the fields of Hell where the grass grows high
Are the graves of dreams allowed to die.
	Richard Harter, SMDS  Inc.