[PREV - MODEST_PROPOSAL]    [TOP]

COMPUTER_SCIENCE_PROOF

                                                  April 11, 2007

I tell you three times:

                                                
The utility of       Computer Scientists     I think Computer     
mathematical         won't try to prove      Science is       
elegance in a        which language is       punting on the   
computer             better, because they    really hard       
language cannot      think that a proof      problems, because
be proven            is something that       it's populated by    
mathematically.      you do with             mathematicians       
                     equations.              who all want to   
                                             be the next        
                                             Donald Knuth.    
                                             
    MODEST_PROPOSAL

                (I've said this so many times,
                I haven't a clue about what      CSG
                the right way is to say it.)


It's an old joke: the things
that *call* themselves
"sciences" aren't really
sciences:

   Political Science
   Christian Science
   Computer Science

--------
[NEXT - CSG]