Videos

Lecture: Tuesday, September 26, 2017 – Leslie Lamport

Leslie Lamport: “How to Write a 21st Century Proof”

Abstract:
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. This makes it all too easy to prove things that aren’t true. I’ll describe a better way that I’ve been using for more than 25 years.