Re: The Accessibility of Type Theory Research

[Daniel Yokomiso <address@hidden>]

 --- "Peter J. Wasilko" <futurist@cloud9.net>
escreveu:
> > 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.

I wasn't talking about the notation used for the sigma
calculus, but the principles it defines (e.g. field
overriding, implicit self binding). BTW the notation
is very simple.

Also I don't think you can "grok" something in CS
without "groking" mathematics and notation. Notation
is just another language.

> This raises the old Art - Craft - Science debate
> (see Knuth).
> 
> --- Peter 

Best regards,
Daniel Yokomiso.

"Life is really wonderful, these days, thanks to our
hard working comrades in our universities' Progressive
Computer Science departments."
 -Nils Gösche

______________________________________________________________________

Yahoo! Mail: 6MB, anti-spam e antivírus gratuito! Crie sua conta agora:
http://mail.yahoo.com.br