[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The Accessibility of Type Theory Research
On Nov 20, 2003, at 6:37 AM, Peter J. Wasilko wrote:
>> Most of OO people don't even heard about the sigma calculus but think
>> they "grok" objects.
> My only quible with this logic is that it confuses mastery of a thing,
> with mastery of the mathematics and notation used by academics to
> discuss the thing.
> This raises the old Art - Craft - Science debate (see Knuth).
By the same logic it seems would could conclude Shakespeare didn't
"grok" english and Beethoven didn't "grok" music as they where ignorant
(respectively) of modern linguistic and musical theory.