5th HLF – Lecture: Leslie Lamport


Heidelberg Laureate Forum

Hey guest, welcome to MyTodayTV.Com Like to see
Leslie Lamport: "How to Write a 21st Century Proof”

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.

This video is also available on another stream:

More information to the Heidelberg Laureate Forum:

Website: https://www.heidelberg-laureate-forum....
Facebook: https://www.facebook.com/HeidelbergLa...
Twitter: https://twitter.com/hlforum
Flickr: https://www.flickr.com/hlforum
More videos from the HLF: https://mytodaytv.com/menber/Laureate...
Blog: https://scilogs.spektrum.de/hlf/

/*/* */