As for explaining mathematical phenomena it opens the question: explaining to whom? humans?, other computers? — Gil Kalai Copy Share Image
Counting pairs is the oldest trick in combinatorics... Every time we count pairs, we learn something from it. — Gil Kalai Copy Share Image
Like musicians who can read and write complicated scores in a world without sounds, for us mathematics is a source of delight, excitement, and… — Gil Kalai Copy Share Image
As for explaining mathematical phenomena it opens the question: explaining to whom? humans?, other computers? — Gil Kalai Copy Share Image