Re: Classifying the Axiom of Choice

Article View: sci.philosophy.tech

Article #1373

Back to sci.philosophy.tech Previous Next

#1373

From: Bob Riemenschneider
Date: Thu, 25 Feb 1988 16:55

9 lines
652 bytes

=>   The a priori statements form merely a recursively enumerable set, ...
=>
=>   --Herb Enderton, hbe@math.ucla.edu

I don't see why this must be the case.  Mightn't (some) people come
equipped with knowledge of a more complicated set of truths, or with
knowledge of a non-effective rule of inference?

							-- rar

Technical Details

Message-ID: <8802251655.AA06216@duchamps.ads.arpa>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-lcc!mordor!sri-spam!zodiac!DUCHAMPS!rar

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-lcc!mordor!sri-spam!zodiac!DUCHAMPS!rar
From: rar@DUCHAMPS (Bob Riemenschneider)
Newsgroups: sci.philosophy.tech
Subject: Re: Classifying the Axiom of Choice
Message-ID: <8802251655.AA06216@duchamps.ads.arpa>
Date: 25 Feb 88 16:55:11 GMT
Sender: daemon@zodiac.UUCP
Lines: 8