Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83 (MC840302); site boring.UUCP Path: utzoo!watmath!clyde!cbosgd!ihnp4!houxm!whuxl!whuxlm!harpo!decvax!genrad!panda!talcott!harvard!seismo!mcvax!boring!lambert From: lambert@boring.UUCP Newsgroups: net.math Subject: Re: A.C versus A.D. Message-ID: <6368@boring.UUCP> Date: Wed, 27-Mar-85 02:06:03 EST Article-I.D.: boring.6368 Posted: Wed Mar 27 02:06:03 1985 Date-Received: Fri, 29-Mar-85 00:36:38 EST References: <362@talcott.UUCP> Reply-To: lambert@boring.UUCP (Lambert Meertens) Distribution: net Organization: CWI, Amsterdam Lines: 16 Summary: Sorry Apparently-To: rnews@mcvax.LOCAL > Lambert Meertens has stated that he sees no justification for the Axiom of > Choice. Well, that's odd, because I see no justification for not having > it, and I particularly see no reason to have the Axiom of Determinism. Are > you an A.D. fan, Mr. Meertens? Are there other A.D. fans out there? Are > there A.D.ists and/or anti-A.C.ists out there who are not constructivists? Sorry, if I am an A.D. fan, I am unaware of it, since I must confess I don't know what A.D. claims. (If Greg preaches the gospel to A.D. fans, he might achieve A.D. conversion :-) -- Sorry again, couldn't resist that. -- Lambert Meertens ...!{seismo,philabs,decvax}!lambert@mcvax.UUCP CWI (Centre for Mathematics and Computer Science), Amsterdam