About P=NP and SAT
This is a blog on and other questions in the theory of computing. I decided to name it after the famous letter that Gödel wrote to von Neumann which essentially stated the question decades before Cook and Karp. Here is the letter. More on this letter in a later post.
I plan to make the posts people oriented, I will talk about the “who” as much as the “what.” Since I have over 30 years of experience working on this problem, I know almost everyone that I will write about. I think this will make the discussions more interesting, and I hope that you will agree. However, my real reason for making “who” central is to explain what researchers do when they work on hard open problems. They make mistakes, they go down dead-ends, they make progress. Also students may not know, but even experts sometimes forget, that ideas that we now see as easy were once unknown.