Clay Public Lecture
Beyond Computation
Michael
Sipser, MIT
Tuesday, October 3, 2006 at 7:00 PM
Harvard University Science Center — Hall B
One
Oxford Street, Cambridge, MA, 02138
In a remarkable 1956 letter, the great logician Kurt Gödel asked the famous mathematician and computer pioneer John von Neumann whether certain computational problems could be solved without resorting to brute force search. In so doing, he foreshadowed the P versus NP problem, one of the great unanswered questions of contemporary mathematics and theoretical computer science. A solution to this problem would reveal the theoretical limitations of computer power for solving puzzles, cracking codes, proving theorems, and optimizing many practical tasks.
Michael Sipser is the head of the mathematics department at MIT. He is well known for his research in complexity theory and algorithms, and for his textbook on the theory of computation.

Return to top