What proofs demonstrate about the possibilities of mathematics

What can computers do better than people? Fields Medal winner Timothy Gowers is one of the leading mathematicians of our time. He doesn't avoid the big questions. On Wednesday, he will deliver the Wolfgang Pauli Lecture entitled “Why isn't mathematical research impossible?”