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

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