Re: Intuitionism's (read "Philosophy's") Limits / flame on
5 Mar
1997
5 Mar
'97
5:55 p.m.
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
10680
Age (days ago)
10680
Last active (days ago)
0 comments
1 participants
participants (1)
-
John C. Mitchell