John McCarthy on the importance of doing the mathwww-formal.stanford.edu22 pointssabalaba16 years ago