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.