From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/327
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Intuitionism's (read "Philosophy's") Limits
Date: Tue, 4 Mar 1997 22:41:13 -0400 (AST)
Message-ID: <Pine.OSF.3.90.970304224033.12639A-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241016893 25203 80.91.229.2 (29 Apr 2009 14:54:53 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:53 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Tue Mar  4 22:42:20 1997
Original-Received: by mailserv.mta.ca; id AA02802; Tue, 4 Mar 1997 22:41:13 -0400
Original-Lines: 21
Xref: news.gmane.org gmane.science.mathematics.categories:327
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/327>

Date: Tue, 4 Mar 1997 18:19:51 +1030 (CST)
From: William James <wjames@arts.adelaide.edu.au>

> William James continues to write:
>
>   Might I, then, go on to say that the philosophies of constructive
>   mathematics and category theory really are different?
>
> Constructive mathematics is a philosophy. Category theory is not.
> The question doesn't even type-check.
>
> Of course they're different.

Does category theory, being mathematics, have no associated philosophy?

(I grant you the original question would have been more recognisable
 given better use of language: "...philosophies of constructive
 mathematics and *of* category theory...")

William James