Speaker:
Leslie Lamport
Institution:
Microsoft Corporation
Time:
Friday, May 13, 2011 - 1:00pm
Location:
NS2 1201
Mathematicians have made a lot of progress in the last 350 years, but not in writing proofs. The proofs they write today are just like the ones written by Newton. In a talk presented at a workshop celebrating Dick Palais' 60th birthday, I explained how to do better. This is a new version of that talk, reflecting 20 more years of experience writing better proofs.