Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gasarch
Monday, October 13, 2003
Today is Columbus Day, a minor holiday in the states. There is a great
saying about Columbus: He is not famous for being the first person to
discover America, rather he is famous for being the last person
to discover America.
The same principle holds for proving theorems. Think about it.