Subject: Re: Intuitionism's (read "Philosophy's") Limits / flame on

From: categories <[email-masked]>
Date: Wed, 5 Mar 1997 17:20:35 -0400 (AST)

Date: Wed, 05 Mar 1997 09:55:51 -0800
From: John C. Mitchell <[email-masked]>

>Philosophy is the love of wisdom; type-checking is not.

Well that's a bizarre statement. Not that I want to get into this
discussion or anything, but can't a love of wisdom be consistent
with type checking? 

John Mitchell